Klasse JavaOptions

java.lang.Object
org.aspectj.ajde.core.JavaOptions

public final class JavaOptions extends Object
Class containing the current custom java options
  • Felddetails

  • Konstruktordetails

    • JavaOptions

      public JavaOptions()
  • Methodendetails

    • getDefaultJavaOptions

      public static Map<String,String> getDefaultJavaOptions()
      Gibt zurück:
      the java options map with the default settings
    • isValidJvmVersion

      public static boolean isValidJvmVersion(String value)
      Gibt zurück:
      true if the given value is a valid JVM version (JavaOptions.VERSION_13, JavaOptions.VERSION_134, JavaOptions.VERSION_15, JavaOptions.VERSION_16) and false otherwise
    • isValidPreserveAllLocalsOption

      public static boolean isValidPreserveAllLocalsOption(String option)
      Gibt zurück:
      true if the given option is JavaOptions.PRESERVE or JavaOptions.OPTIMIZE and false otherwise
    • isIgnoreOrWarning

      public static boolean isIgnoreOrWarning(String option)
      Gibt zurück:
      true if the given option is JavaOptions.IGNORE or JavaOptions.WARNING and false otherwise
    • isGenerateOrNot

      public static boolean isGenerateOrNot(String option)
      Gibt zurück:
      true if the given option is JavaOptions.GENERATE or JavaOptions.DO_NOT_GENERATE and false otherwise