Update on avatar translation
Showing
- Makefile 2 additions, 2 deletionsMakefile
- src/avatartranslator/AvatarActionOnSignal.java 1 addition, 1 deletionsrc/avatartranslator/AvatarActionOnSignal.java
- src/avatartranslator/AvatarAttribute.java 16 additions, 0 deletionssrc/avatartranslator/AvatarAttribute.java
- src/avatartranslator/AvatarBlock.java 94 additions, 4 deletionssrc/avatartranslator/AvatarBlock.java
- src/avatartranslator/AvatarSpecification.java 13 additions, 1 deletionsrc/avatartranslator/AvatarSpecification.java
- src/avatartranslator/AvatarState.java 0 additions, 17 deletionssrc/avatartranslator/AvatarState.java
- src/avatartranslator/AvatarStateMachine.java 99 additions, 0 deletionssrc/avatartranslator/AvatarStateMachine.java
- src/avatartranslator/AvatarStateMachineElement.java 42 additions, 0 deletionssrc/avatartranslator/AvatarStateMachineElement.java
- src/avatartranslator/AvatarSyntaxChecker.java 179 additions, 0 deletionssrc/avatartranslator/AvatarSyntaxChecker.java
- src/avatartranslator/AvatarTransition.java 21 additions, 2 deletionssrc/avatartranslator/AvatarTransition.java
- src/avatartranslator/AvatarType.java 14 additions, 2 deletionssrc/avatartranslator/AvatarType.java
- src/avatartranslator/toturtle/AVATAR2TURTLE.java 1210 additions, 0 deletionssrc/avatartranslator/toturtle/AVATAR2TURTLE.java
- src/translator/TURTLEModelChecker.java 4 additions, 0 deletionssrc/translator/TURTLEModelChecker.java
- src/ui/AvatarDesignPanelTranslator.java 390 additions, 0 deletionssrc/ui/AvatarDesignPanelTranslator.java
- src/ui/AvatarSignal.java 41 additions, 0 deletionssrc/ui/AvatarSignal.java
- src/ui/CheckingError.java 11 additions, 0 deletionssrc/ui/CheckingError.java
- src/ui/CorrespondanceTGElement.java 29 additions, 0 deletionssrc/ui/CorrespondanceTGElement.java
- src/ui/GTURTLEModeling.java 21 additions, 1 deletionsrc/ui/GTURTLEModeling.java
- src/ui/MainGUI.java 13 additions, 0 deletionssrc/ui/MainGUI.java
- src/ui/avatarbd/AvatarBDBlock.java 24 additions, 2 deletionssrc/ui/avatarbd/AvatarBDBlock.java
Loading
Please register or sign in to comment