Enum Class EUAData

java.lang.Object
java.lang.Enum<EUAData>
fr.inria.rules.integraal.api.external.eua.EUAData
All Implemented Interfaces:
Serializable, Comparable<EUAData>, Constable
public enum EUAData extends Enum<EUAData>
Enumeration of data keys used in EUA payloads.

  • Enum Constant Details

    • ENVIRONMENT_NAME

      public static final EUAData ENVIRONMENT_NAME
      Identifier used for an environment name.

    • FACTBASE_NAME

      public static final EUAData FACTBASE_NAME
      Identifier used for a fact base name.

    • FACTBASE_COLLECTION_NAME

      public static final EUAData FACTBASE_COLLECTION_NAME
      Identifier used for a fact base collection name.

    • RULEBASE_NAME

      public static final EUAData RULEBASE_NAME
      Identifier used for a rule base name.

    • QUERYCOLLECTION_NAME

      public static final EUAData QUERYCOLLECTION_NAME
      Identifier used for a query collection name.

    • RULE_NAME

      public static final EUAData RULE_NAME
      Identifier used for a rule name.

    • QUERY_NAME

      public static final EUAData QUERY_NAME
      Identifier used for a query name.

    • ANALYSER_NAME

      public static final EUAData ANALYSER_NAME
      Identifier used for an analyser name.

    • ANALYSIS_IS_DECIDABLE

      public static final EUAData ANALYSIS_IS_DECIDABLE
      Identifier used for decidability analysis results.

    • ANALYSIS_IS_FES

      public static final EUAData ANALYSIS_IS_FES
      Identifier used for finite expansion set analysis results.

    • ANALYSIS_IS_FUS

      public static final EUAData ANALYSIS_IS_FUS
      Identifier used for finite unification set analysis results.

    • ANSWERITERATOR_NAME

      public static final EUAData ANSWERITERATOR_NAME
      Identifier used for an answer iterator name.

    • DLGP_STRING

      public static final EUAData DLGP_STRING
      Identifier used for a DLGP string payload.

    • LIST_NAMES

      public static final EUAData LIST_NAMES
      Identifier used for a list of names.

    • ANSWERS

      public static final EUAData ANSWERS
      Identifier used for answers data.

    • COMPILATION_NAME

      public static final EUAData COMPILATION_NAME
      Identifier used for a compilation name.

    • COMPILED_RB_NAME

      public static final EUAData COMPILED_RB_NAME
      Identifier used for a compiled rule base name.

    • UNCOMPILED_RB_NAME

      public static final EUAData UNCOMPILED_RB_NAME
      Identifier used for an uncompiled rule base name.

    • BOOLEAN_INFORMATION

      public static final EUAData BOOLEAN_INFORMATION
      Identifier used for boolean information.

  • Method Details

    • values

      public static EUAData[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static EUAData valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null

    • getCode

      public String getCode()
      Returns the EUA code associated with this value.
      Returns:
      The EUA code as a string.