feat: rename getter for partial results on timeout and update README

Author: barbosamaatheus

dependencies/soot-analysis-0.2.1-SNAPSHOT-jar-with-dependencies.jar

@@ -39,7 +39,6 @@ class ArgsParser {
         this.cli.e(longOpt: 'extension', args: 1, argName: 'file extenson', 'Specify the file extension that should be used in the analysis (e.g. .rb, .ts, .java, .cpp. Default: .java)')
         this.cli.l(longOpt: 'language-separators', args: 1, argName: 'language syntactic separators', 'Specify the language separators that should be used in the analysis. Required for (and only considered when) running studies with the CSDiff tool. Default: \"{ } ( ) ; ,\"')
         this.cli.log(longOpt: 'log-level', args: 1, argName: 'log level', 'Specify the minimum log level: (OFF, FATAL, ERROR, WARN, INFO, DEBUG, TRACE, ALL). Default: \"INFO\"')
-        this.cli.prt(longOpt: 'partial-results-on-timeout', 'When a soot analysis times out, capture and record the partial results found up to that point instead of discarding them')
     }
 
     Arguments parse(args) {
@@ -143,10 +142,6 @@ class ArgsParser {
         if(this.options.log) {
             args.setLogLevel(Level.toLevel(this.options.log))
         }
-
-        if (this.options.prt) {
-            args.setPartialResultsOnTimeout(true)
-        }
     }
 
     private boolean repositoryExists(String repositoryURL) {

src/main/arguments/ArgsParser.groovy

@@ -21,7 +21,6 @@ class Arguments {
     private String syntacticSeparators
     private String fileExtension
     private Level logLevel
-    private boolean partialResultsOnTimeout
 
     Arguments() { // set the default values for all parameters
         randomSeed = 1
@@ -38,7 +37,6 @@ class Arguments {
         syntacticSeparators = '{ } ( ) ; ,'
         fileExtension = '.java'
         logLevel = Level.INFO
-        partialResultsOnTimeout = false
     }
 
     void setRandomSeed(int randomSeed) {
@@ -169,12 +167,4 @@ class Arguments {
         this.logLevel = logLevel
         Configurator.setRootLevel(logLevel)
     }
-
-    boolean isPartialResultsOnTimeout() {
-        return partialResultsOnTimeout
-    }
-
-    void setPartialResultsOnTimeout(boolean partialResultsOnTimeout) {
-        this.partialResultsOnTimeout = partialResultsOnTimeout
-    }
 }

src/main/arguments/Arguments.groovy

@@ -40,7 +40,8 @@ class Main {
                     sootRunner.setDetectionAlgorithms(configureDetectionAlgorithms(appArguments, sootWrapper))
                 }
 
-                if (appArguments.getPartialResultsOnTimeout()) {
+                if (appArguments.isPartialResultsOnTimeout()) {
+                    println "Setting partial results on timeout"
                     sootRunner.configurePartialResultsOnTimeout(true)
                 }
 

src/main/services/outputProcessors/soot/Main.groovy

@@ -61,6 +61,7 @@ Options:
   -depthLimit                             Sets the depth limit on accessing methods when performing Overriding Assignment Interprocedural, Direct Flow Interprocedural and Confluence Interprocedural analyses. Default = 5
  -printDepthSVFA                         Print depth in SVFA analysis
  -cg,--callgraph <algorithm>             Select call graph algorithm [CHA, RTA, VTA, SPARK]
+ -prt,--partial-results-on-timeout       When a soot analysis times out, capture and record the partial results
 ```
 
 For example: 

src/main/services/outputProcessors/soot/README.md

@@ -75,9 +75,6 @@ class RunSootAnalysisOutputProcessor implements OutputProcessor {
     void processOutput() {
         // check if file generated by FetchBuildsOutputProcessor exists
         println "Executing RunSootAnalysisOutputProcessor"
-        if (arguments.isPartialResultsOnTimeout()) {
-            configurePartialResultsOnTimeout(true)
-        }
         executeAnalyses(arguments.getOutputPath())
     }
 

src/main/services/outputProcessors/soot/RunSootAnalysisOutputProcessor.groovy

@@ -237,7 +237,7 @@ class Arguments {
         this.callgraph = callgraph
     }
 
-    boolean getPartialResultsOnTimeout() {
+    boolean isPartialResultsOnTimeout() {
         return partialResultsOnTimeout
     }