Enum BodyLiteral.BodyType

java.lang.Object
java.lang.Enum<BodyLiteral.BodyType>
jason.asSyntax.BodyLiteral.BodyType
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<BodyLiteral.BodyType>, java.lang.constant.Constable
Enclosing class:
BodyLiteral

@Deprecated
public static enum BodyLiteral.BodyType
extends java.lang.Enum<BodyLiteral.BodyType>
Deprecated.
Use BodyType of PlanBody instead
  • Nested Class Summary

    Nested classes/interfaces inherited from class java.lang.Enum

    java.lang.Enum.EnumDesc<E extends java.lang.Enum<E>>
  • Enum Constant Summary

    Enum Constants
    Enum Constant Description
    achieve
    Deprecated.
     
    achieveNF
    Deprecated.
     
    action
    Deprecated.
     
    addBel
    Deprecated.
     
    constraint
    Deprecated.
     
    delAddBel
    Deprecated.
     
    delBel
    Deprecated.
     
    internalAction
    Deprecated.
     
    none
    Deprecated.
     
    test
    Deprecated.
     
  • Constructor Summary

    Constructors
    Modifier Constructor Description
    private BodyType()
    Deprecated.
     
  • Method Summary

    Modifier and Type Method Description
    static BodyLiteral.BodyType valueOf​(java.lang.String name)
    Deprecated.
    Returns the enum constant of this type with the specified name.
    static BodyLiteral.BodyType[] values()
    Deprecated.
    Returns an array containing the constants of this enum type, in the order they are declared.

    Methods inherited from class java.lang.Enum

    clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

    Methods inherited from class java.lang.Object

    getClass, notify, notifyAll, wait, wait, wait
  • Enum Constant Details

  • Constructor Details

    • BodyType

      private BodyType()
      Deprecated.
  • Method Details

    • values

      public static BodyLiteral.BodyType[] values()
      Deprecated.
      Returns an array containing the constants of this enum type, in the order they are declared.
      Returns:
      an array containing the constants of this enum type, in the order they are declared
    • valueOf

      public static BodyLiteral.BodyType valueOf​(java.lang.String name)
      Deprecated.
      Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (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:
      java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
      java.lang.NullPointerException - if the argument is null