[CatarinaGamboa]

Needed for liquid-java/vscode-liquidjava#173: a state error on a method declared in a subclass's spec, with the state set in a superclass's spec, shows no usable diagram.

Why

parseAll(uri, className) read one type. For java.awt.Frame, whose @StateSet is in the java.awt.Window spec, it found no state set, so there was no diagram. The Window diagram had no setUndecorated.

What

parseAll(List<String> uris, String className) builds one model from several files and merges the specs of the class's supertypes. It follows the rule the verifier uses for state hints since liquid-java/liquidjava#464 (StateMachineBuilder):

• Supertypes. The class's superclasses, then the interfaces they implement, nearest first. Same walk as the verifier's supertypesOf. JDK classes resolve by reflection.
• State sets. The class's own first, then its supertypes', nearest first. That is the order of the verifier's StateErrorContext states, so stateSet indexes match.
• Methods. The class's own refinements, then inherited ones. An inherited refinement is left out when:
  • a nearer spec refines the same method (same name and parameter types), or
  • the nearest type that declares the method is not the spec's class (e.g. Frame redeclares addNotify, so a Window spec's addNotify does not apply), or
  • not every caller can call it (not public).
• Constructors and factories. Only the class's own.

parseAll(uri, className) now calls it with one file. A file with only one type skips the hierarchy walk, so the editor's own-file diagrams are unchanged. Files that no longer exist are skipped.

Issue example (Window and Frame specs, both in one file or in two), parseAll(..., "java.awt.Frame"):

from	to	method
notDisplayable	notDisplayable	setUndecorated
displayable, notDisplayable	notDisplayable	dispose
displayable, notDisplayable	displayable	pack

Initial: new Frame(String) → notDisplayable. addNotify and Window(Frame) from the Window spec are left out.

Tests

mvn test: 32 tests, 0 failures, run locally. New:

• testStateSetAndMethodsInheritedFromTheSuperclassSpec: one file, with addNotify left out on Frame and kept on Window.
• testSpecsInheritedFromOtherFiles: specs in two files; the subclass file alone still gives nothing.
• testOverriddenAndPackagePrivateInheritedMethods: source classes; the child's override replaces the parent's, and a package-private parent method is left out.
• testMethodsInheritedFromASpecWithoutStateSet: JFrame over a method-only Frame spec and Window's state set.
• testMissingFileDoesNotDiscardTheOthers: a file that no longer exists is skipped.

Release

vscode-liquidjava needs this released as liquidjava-fsm 0.2.3. Its PR bumps to that version.

🤖 Generated with Claude Code