Update for Dependency graphs
parent
3c7cddfe
No related branches found
No related tags found
Showing
- modeling/AVATAR/testDependencyGraphs.xml 2703 additions, 1856 deletionsmodeling/AVATAR/testDependencyGraphs.xml
- src/main/java/avatartranslator/AvatarDependencyGraph.java 10 additions, 10 deletionssrc/main/java/avatartranslator/AvatarDependencyGraph.java
- src/main/java/avatartranslator/AvatarSpecification.java 4 additions, 4 deletionssrc/main/java/avatartranslator/AvatarSpecification.java
- src/main/java/ui/GTURTLEModeling.java 4 additions, 4 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/TDiagramPanel.java 2 additions, 1 deletionsrc/main/java/ui/TDiagramPanel.java
- src/main/java/ui/graphd/GraphDEdgeConnector.java 1 addition, 1 deletionsrc/main/java/ui/graphd/GraphDEdgeConnector.java
- src/main/java/ui/window/JDialogAvatarModelChecker.java 7 additions, 5 deletionssrc/main/java/ui/window/JDialogAvatarModelChecker.java
Loading
Please register or sign in to comment