Adding test for diplo to avatar
Showing
- modeling/AVATAR/CoffeeMachine_Avatar.xml 263 additions, 263 deletionsmodeling/AVATAR/CoffeeMachine_Avatar.xml
- src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java 12 additions, 8 deletions...ava/avatartranslator/modelchecker/AvatarModelChecker.java
- src/main/java/cli/Action.java 19 additions, 4 deletionssrc/main/java/cli/Action.java
- src/main/java/graph/AUTGraph.java 11 additions, 0 deletionssrc/main/java/graph/AUTGraph.java
- src/main/java/ui/ActivityDiagram2TMLTranslator.java 50 additions, 14 deletionssrc/main/java/ui/ActivityDiagram2TMLTranslator.java
- src/main/java/ui/GTMLModeling.java 6 additions, 1 deletionsrc/main/java/ui/GTMLModeling.java
- src/main/java/ui/GTURTLEModeling.java 4 additions, 1 deletionsrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/JToolBarMainTurtle.java 9 additions, 7 deletionssrc/main/java/ui/JToolBarMainTurtle.java
- src/main/java/ui/MainGUI.java 21 additions, 3 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/ModeManager.java 3 additions, 2 deletionssrc/main/java/ui/ModeManager.java
- src/main/java/ui/window/JDialogModelChecking.java 2 additions, 2 deletionssrc/main/java/ui/window/JDialogModelChecking.java
- src/main/java/ui/window/JDialogSelectAvatarBlock.java 5 additions, 17 deletionssrc/main/java/ui/window/JDialogSelectAvatarBlock.java
- src/main/java/ui/window/JDialogSelectTMLComponent.java 60 additions, 54 deletionssrc/main/java/ui/window/JDialogSelectTMLComponent.java
- src/main/java/ui/window/JFrameMinimize.java 2 additions, 2 deletionssrc/main/java/ui/window/JFrameMinimize.java
- ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java 8 additions, 7 deletionsttool/src/test/java/cli/CLIAvatarModelCheckerTest.java
- ttool/src/test/java/cli/CLIDiploToAvatarTest.java 399 additions, 0 deletionsttool/src/test/java/cli/CLIDiploToAvatarTest.java
- ttool/src/test/resources/cli/input/scriptdiplotoavatar 19 additions, 0 deletionsttool/src/test/resources/cli/input/scriptdiplotoavatar
- ttool/src/test/resources/cli/models/testDiploToAvatar.xml 1562 additions, 0 deletionsttool/src/test/resources/cli/models/testDiploToAvatar.xml
Loading
Please register or sign in to comment