Merge branch 'pattern-generation' into 'master'
Pattern generation See merge request !475
No related branches found
No related tags found
Showing
- src/main/java/cli/Action.java 9 additions, 3 deletionssrc/main/java/cli/Action.java
- src/main/java/tmltranslator/patternhandling/PatternConfig2Json.java 6 additions, 7 deletions...ava/tmltranslator/patternhandling/PatternConfig2Json.java
- src/main/java/tmltranslator/patternhandling/PatternCreation.java 21 additions, 21 deletions...n/java/tmltranslator/patternhandling/PatternCreation.java
- src/main/java/tmltranslator/patternhandling/PatternIntegration.java 22 additions, 22 deletions...ava/tmltranslator/patternhandling/PatternIntegration.java
- src/main/java/tmltranslator/patternhandling/SecurityGenerationForTMAP.java 51 additions, 51 deletions...translator/patternhandling/SecurityGenerationForTMAP.java
- src/main/java/tmltranslator/patternhandling/TMRGeneration.java 23 additions, 23 deletions...ain/java/tmltranslator/patternhandling/TMRGeneration.java
- src/main/java/ui/GTURTLEModeling.java 15 additions, 3 deletionssrc/main/java/ui/GTURTLEModeling.java
- src/main/java/ui/MainGUI.java 25 additions, 15 deletionssrc/main/java/ui/MainGUI.java
- src/main/java/ui/window/JDialogPatternHandling.java 19 additions, 19 deletionssrc/main/java/ui/window/JDialogPatternHandling.java
- ttool/src/test/java/cli/CLIPatternHandlingTest.java 9 additions, 10 deletionsttool/src/test/java/cli/CLIPatternHandlingTest.java
Loading
Please register or sign in to comment