Issue #17: Limit the size of opening dialogs to the size of the screen +
general code review
Showing
- src/TMLTranslator.java 3 additions, 4 deletionssrc/TMLTranslator.java
- src/avatartranslator/AvatarPragma.java 13 additions, 9 deletionssrc/avatartranslator/AvatarPragma.java
- src/avatartranslator/AvatarPragmaAuthenticity.java 8 additions, 9 deletionssrc/avatartranslator/AvatarPragmaAuthenticity.java
- src/avatartranslator/AvatarPragmaInitialKnowledge.java 13 additions, 10 deletionssrc/avatartranslator/AvatarPragmaInitialKnowledge.java
- src/avatartranslator/AvatarRelation.java 32 additions, 37 deletionssrc/avatartranslator/AvatarRelation.java
- src/avatartranslator/AvatarSpecification.java 92 additions, 91 deletionssrc/avatartranslator/AvatarSpecification.java
- src/avatartranslator/toproverif/AVATAR2ProVerif.java 35 additions, 24 deletionssrc/avatartranslator/toproverif/AVATAR2ProVerif.java
- src/avatartranslator/totpn/AVATAR2TPN.java 13 additions, 13 deletionssrc/avatartranslator/totpn/AVATAR2TPN.java
- src/avatartranslator/touppaal/AVATAR2UPPAAL.java 39 additions, 39 deletionssrc/avatartranslator/touppaal/AVATAR2UPPAAL.java
- src/ddtranslator/DDStructSynchro.java 18 additions, 21 deletionssrc/ddtranslator/DDStructSynchro.java
- src/ddtranslator/DDTranslator.java 6 additions, 6 deletionssrc/ddtranslator/DDTranslator.java
- src/ddtranslatorSoclib/AvatarddSpecification.java 34 additions, 33 deletionssrc/ddtranslatorSoclib/AvatarddSpecification.java
- src/ddtranslatorSoclib/toSoclib/TasksAndMainGenerator.java 42 additions, 43 deletionssrc/ddtranslatorSoclib/toSoclib/TasksAndMainGenerator.java
- src/dseengine/DSEConfiguration.java 17 additions, 16 deletionssrc/dseengine/DSEConfiguration.java
- src/myutil/Conversion.java 10 additions, 10 deletionssrc/myutil/Conversion.java
- src/myutil/SortedVector.java 9 additions, 4 deletionssrc/myutil/SortedVector.java
- src/sddescription/HMSC.java 34 additions, 34 deletionssrc/sddescription/HMSC.java
- src/sddescription/HMSCNode.java 23 additions, 25 deletionssrc/sddescription/HMSCNode.java
- src/sddescription/MSC.java 55 additions, 54 deletionssrc/sddescription/MSC.java
- src/sdtranslator/SDTranslator.java 177 additions, 173 deletionssrc/sdtranslator/SDTranslator.java
Loading
Please register or sign in to comment