Draw only the diagram and look up classes by name

README.md

@@ -34,6 +34,8 @@ import liquidjava.fsm.StateMachine;
 import liquidjava.fsm.StateMachineParser;
 
 StateMachine stateMachine = StateMachineParser.parse(path.toUri().toString());
+// in a file with several classes, or for a verifier error's StateErrorContext#receiverClass
+StateMachine named = StateMachineParser.parse(path.toUri().toString(), "example.File");
 ```
 
 ### JSON Output

pom.xml

@@ -44,12 +44,12 @@
     <dependency>
       <groupId>io.github.liquid-java</groupId>
       <artifactId>liquidjava-verifier</artifactId>
-      <version>0.0.35</version>
+      <version>0.0.36</version>
     </dependency>
     <dependency>
       <groupId>fr.inria.gforge.spoon</groupId>
       <artifactId>spoon-core</artifactId>
-      <version>10.4.2</version>
+      <version>11.5.0</version>
     </dependency>
     <dependency>
       <groupId>org.junit.jupiter</groupId>

src/main/java/liquidjava/fsm/StateMachine.java

@@ -9,6 +9,5 @@ public record StateMachine(
     String className,
     List<String> states,
     List<StateMachineTransition> transitions,
-    List<StateMachineInitialTransition> initialTransitions,
-    StateMachineErrorContext errorContext
+    List<StateMachineInitialTransition> initialTransitions
 ) {}

src/test/resources/fsm/TwoStateClasses.java

@@ -0,0 +1,18 @@
+package fsm;
+
+import liquidjava.specification.StateRefinement;
+import liquidjava.specification.StateSet;
+
+@StateSet({"open", "closed"})
+public class TwoStateClasses {
+
+    @StateRefinement(from="open(this)", to="closed(this)")
+    public void close() {}
+}
+
+@StateSet({"idle", "busy"})
+class Second {
+
+    @StateRefinement(from="idle(this)", to="busy(this)")
+    public void start() {}
+}

src/test/resources/fsm/errors/udp/DatagramSocketRefinementsExpert.java

@@ -47,16 +47,13 @@ public interface DatagramSocketRefinementsExpert {
 	void disconnect();
 
 	@StateRefinement(from = "connected(this)")
-	@StateRefinement(from = "closed(this) && connected(old(this))")
 	InetAddress getInetAddress();
 
 	@StateRefinement(from = "connected(this)")
-	@StateRefinement(from = "closed(this) && connected(old(this))")
 	@Refinement("Port(_) || _ == -1")
 	int getPort();
 
 	@StateRefinement(from = "connected(this)")
-	@StateRefinement(from = "closed(this) && connected(old(this))")
 	SocketAddress getRemoteSocketAddress();
 
 	@StateRefinement(from = "bound(this)")