Loading de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/TTCN3Configuration/QualityCheckProfile.java +9 −0 Original line number Diff line number Diff line Loading @@ -70,6 +70,7 @@ public class QualityCheckProfile extends ConfigurationProfile { // private boolean featureCodeFormatting = false; private String pathFormattedOutputPath = "FORMATTED"; private String dependencyOutputPath = "DOCUMENTATION"; // private TTCN3FormatterParameters formattingParameters = new TTCN3FormatterParameters(); public String getLogFormatRegExp() { Loading Loading @@ -584,6 +585,14 @@ public class QualityCheckProfile extends ConfigurationProfile { this.checkNoUninitialisedVariables = checkNoUninitialisedVariables; } public String getDependencyOutputPath() { return dependencyOutputPath; } public void setDependencyOutputPath(String dependencyOutputPath) { this.dependencyOutputPath = dependencyOutputPath; } } de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/common/OptionsHandler.java +2 −0 Original line number Diff line number Diff line Loading @@ -44,6 +44,8 @@ public class OptionsHandler { optionWithID = new OptionWithID(100, "help", "Show this usage information screen\n"); getOptions().addOption(optionWithID); optionWithID = new OptionWithID(200, "local-dependencies", "Generate local dependencies\n"); getOptions().addOption(optionWithID); } public void setOptions(Options options) { Loading Loading
de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/TTCN3Configuration/QualityCheckProfile.java +9 −0 Original line number Diff line number Diff line Loading @@ -70,6 +70,7 @@ public class QualityCheckProfile extends ConfigurationProfile { // private boolean featureCodeFormatting = false; private String pathFormattedOutputPath = "FORMATTED"; private String dependencyOutputPath = "DOCUMENTATION"; // private TTCN3FormatterParameters formattingParameters = new TTCN3FormatterParameters(); public String getLogFormatRegExp() { Loading Loading @@ -584,6 +585,14 @@ public class QualityCheckProfile extends ConfigurationProfile { this.checkNoUninitialisedVariables = checkNoUninitialisedVariables; } public String getDependencyOutputPath() { return dependencyOutputPath; } public void setDependencyOutputPath(String dependencyOutputPath) { this.dependencyOutputPath = dependencyOutputPath; } }
de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/common/OptionsHandler.java +2 −0 Original line number Diff line number Diff line Loading @@ -44,6 +44,8 @@ public class OptionsHandler { optionWithID = new OptionWithID(100, "help", "Show this usage information screen\n"); getOptions().addOption(optionWithID); optionWithID = new OptionWithID(200, "local-dependencies", "Generate local dependencies\n"); getOptions().addOption(optionWithID); } public void setOptions(Options options) { Loading