コード例 #1
0
ファイル: AnalysisPresets.java プロジェクト: majestyhao/joana
 public static String dumpOptions() {
   String ret = "";
   for (final PresetDescription d : PresetDescription.values()) {
     ret = ret + d.toString() + ": " + d.description + "\n";
   }
   return ret;
 }
コード例 #2
0
ファイル: AnalysisPresets.java プロジェクト: majestyhao/joana
 /**
  * Dispatches to other make-functions based on a PresetDescription.
  *
  * @param which The description to generate settings based on
  * @param scope Defines the input-program and used librarys as well as exclusions for the analysis
  * @param cha The ClassHierarchy of the anayzed program
  * @return Preset containing Settings for "all situations"
  */
 public static Preset make(
     final PresetDescription which, final AnalysisScope scope, final IClassHierarchy cha) {
   switch (which) {
     case DEFAULT:
       return makeDefault(scope, cha);
     case FAST:
       return makeFast(scope, cha);
     case FULL:
       return makeFull(scope, cha);
     default:
       throw new IllegalArgumentException(
           "The requested preset (" + which.toString() + ") is not known");
   }
 }