new presentation for SecurityPattern
parent
e3fc1dd6
No related branches found
No related tags found
Showing
- src/main/java/tmltranslator/SecurityPattern.java 104 additions, 38 deletionssrc/main/java/tmltranslator/SecurityPattern.java
- src/main/java/tmltranslator/TMLActivityElement.java 9 additions, 1 deletionsrc/main/java/tmltranslator/TMLActivityElement.java
- src/main/java/tmltranslator/TMLActivityElementWithAction.java 19 additions, 0 deletions...main/java/tmltranslator/TMLActivityElementWithAction.java
- src/main/java/tmltranslator/TMLChannel.java 7 additions, 0 deletionssrc/main/java/tmltranslator/TMLChannel.java
- src/main/java/tmltranslator/TMLMapping.java 7 additions, 3 deletionssrc/main/java/tmltranslator/TMLMapping.java
- src/main/java/tmltranslator/TMLMappingTextSpecification.java 2 additions, 2 deletionssrc/main/java/tmltranslator/TMLMappingTextSpecification.java
- src/main/java/tmltranslator/TMLModeling.java 116 additions, 560 deletionssrc/main/java/tmltranslator/TMLModeling.java
- src/main/java/tmltranslator/TMLSyntaxChecking.java 1 addition, 1 deletionsrc/main/java/tmltranslator/TMLSyntaxChecking.java
- src/main/java/tmltranslator/TMLTextSpecification.java 82 additions, 73 deletionssrc/main/java/tmltranslator/TMLTextSpecification.java
- src/main/java/tmltranslator/patternhandling/SecurityGenerationForTMAP.java 577 additions, 586 deletions...translator/patternhandling/SecurityGenerationForTMAP.java
- src/main/java/tmltranslator/toavatar/FullTML2Avatar.java 186 additions, 202 deletionssrc/main/java/tmltranslator/toavatar/FullTML2Avatar.java
- src/main/java/tmltranslator/toavatarsec/TML2Avatar.java 485 additions, 365 deletionssrc/main/java/tmltranslator/toavatarsec/TML2Avatar.java
- src/main/java/ui/ActivityDiagram2TMLTranslator.java 18 additions, 20 deletionssrc/main/java/ui/ActivityDiagram2TMLTranslator.java
- src/main/java/ui/DrawerTMAPModeling.java 1 addition, 1 deletionsrc/main/java/ui/DrawerTMAPModeling.java
- src/main/java/ui/DrawerTMLModeling.java 20 additions, 23 deletionssrc/main/java/ui/DrawerTMLModeling.java
- src/main/java/ui/GTMLModeling.java 9 additions, 7 deletionssrc/main/java/ui/GTMLModeling.java
- src/main/java/ui/GTURTLEModeling.java 11 additions, 11 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/HSMGeneration.java 4 additions, 4 deletionssrc/main/java/ui/HSMGeneration.java
- src/main/java/ui/MainGUI.java 2 additions, 2 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/SecurityGeneration.java 1 addition, 1 deletionsrc/main/java/ui/SecurityGeneration.java
Loading
Please register or sign in to comment