-
- Downloads
Removing useless system.out.println
Showing
- modeling/DIPLODOCUS/testDiplodocusPeriod.xml 213 additions, 80 deletionsmodeling/DIPLODOCUS/testDiplodocusPeriod.xml
- src/main/java/avatartranslator/AvatarSyntaxChecker.java 4 additions, 4 deletionssrc/main/java/avatartranslator/AvatarSyntaxChecker.java
- src/main/java/avatartranslator/directsimulation/AvatarSpecificationSimulation.java 1 addition, 1 deletion...lator/directsimulation/AvatarSpecificationSimulation.java
- src/main/java/avatartranslator/toproverif/AVATAR2ProVerif.java 2 additions, 2 deletions...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java
- src/main/java/avatartranslator/toturtle/AVATAR2TURTLE.java 33 additions, 33 deletionssrc/main/java/avatartranslator/toturtle/AVATAR2TURTLE.java
- src/main/java/avatartranslator/touppaal/AVATAR2UPPAAL.java 5 additions, 5 deletionssrc/main/java/avatartranslator/touppaal/AVATAR2UPPAAL.java
- src/main/java/common/ConfigurationTTool.java 3 additions, 3 deletionssrc/main/java/common/ConfigurationTTool.java
- src/main/java/ddtranslator/DDStructSynchro.java 45 additions, 46 deletionssrc/main/java/ddtranslator/DDStructSynchro.java
- src/main/java/ddtranslator/DDTranslator.java 74 additions, 77 deletionssrc/main/java/ddtranslator/DDTranslator.java
- src/main/java/ddtranslator/TClassLinkNode.java 2 additions, 2 deletionssrc/main/java/ddtranslator/TClassLinkNode.java
- src/main/java/ddtranslatorSoclib/AvatarddSpecification.java 3 additions, 3 deletionssrc/main/java/ddtranslatorSoclib/AvatarddSpecification.java
- src/main/java/ddtranslatorSoclib/toSoclib/TasksAndMainGenerator.java 22 additions, 22 deletions...va/ddtranslatorSoclib/toSoclib/TasksAndMainGenerator.java
- src/main/java/ddtranslatorSoclib/toTopCell/Declaration.java 13 additions, 13 deletionssrc/main/java/ddtranslatorSoclib/toTopCell/Declaration.java
- src/main/java/ddtranslatorSoclib/toTopCell/Declaration.java-10-10 0 additions, 356 deletions.../java/ddtranslatorSoclib/toTopCell/Declaration.java-10-10
- src/main/java/ddtranslatorSoclib/toTopCell/Deployinfo.java 6 additions, 6 deletionssrc/main/java/ddtranslatorSoclib/toTopCell/Deployinfo.java
- src/main/java/ddtranslatorSoclib/toTopCell/MappingTable.java 1 addition, 1 deletionsrc/main/java/ddtranslatorSoclib/toTopCell/MappingTable.java
- src/main/java/ddtranslatorSoclib/toTopCell/TopCellGenerator.java 12 additions, 12 deletions...n/java/ddtranslatorSoclib/toTopCell/TopCellGenerator.java
- src/main/java/dseengine/DSEConfiguration.java 17 additions, 17 deletionssrc/main/java/dseengine/DSEConfiguration.java
- src/main/java/dseengine/DSEMappingSimulationResults.java 6 additions, 6 deletionssrc/main/java/dseengine/DSEMappingSimulationResults.java
- src/main/java/dseengine/DSEScriptReader.java 2 additions, 2 deletionssrc/main/java/dseengine/DSEScriptReader.java
Loading
Please sign in to comment