Module dev.civl.abc
Package dev.civl.abc.ast.entity.IF

Enum Class Entity.EntityKind

java.lang.Object
java.lang.Enum<Entity.EntityKind>
dev.civl.abc.ast.entity.IF.Entity.EntityKind
All Implemented Interfaces:
Serializable, Comparable<Entity.EntityKind>, Constable
Enclosing interface:
Entity
public static enum Entity.EntityKind extends Enum<Entity.EntityKind>
The different kinds of Entity.

  • Nested Class Summary

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

    Enum.EnumDesc<E extends Enum<E>>

  • Enum Constant Summary

    Enum Constants
    Enum Constant
    Description
    BEHAVIOR
    An ACSL behavior, named by the token between the keyword behavior and the symbol :.
    ENUMERATION
    An enumeration, the entity corresponding to an occurrence of an enum definition in a program.
    ENUMERATOR
    An enumerator, the identifier that occurs in the list inside an enum definition.
    FIELD
    A field, the entity corresponding to a field declaration in the list inside a complete struct or union definition.
    FUNCTION
    A function.
    LABEL
    An ordinary label, which occurs in a labeled statement of the form labelName : stmt.
    PRAGMA_HANDLER
    A pragma domain, named by the first token following the # pragma in a pragma.
    STRUCTURE_OR_UNION
    A structure or union, the entity corresponding to an occurrence of struct or union in the program.
    TYPEDEF
    A typedef, the entity corresponding to an occurrence of typedef in the program.
    VARIABLE
    A variable: this is the static notion of variable.

  • Method Summary

    Modifier and Type
    Method
    Description
    static Entity.EntityKind
    valueOf(String name)
    Returns the enum constant of this class with the specified name.
    static Entity.EntityKind[]
    values()
    Returns an array containing the constants of this enum class, in the order they are declared.

    Methods inherited from class java.lang.Enum

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

    Methods inherited from class java.lang.Object

    getClass, notify, notifyAll, wait, wait, wait

  • Enum Constant Details

    • VARIABLE

      public static final Entity.EntityKind VARIABLE
      A variable: this is the static notion of variable. A variable is named thing that can store a value. Note that a single variable can be declared multiple times in C.

    • FUNCTION

      public static final Entity.EntityKind FUNCTION
      A function. A function is a thing that takes inputs, executes a statement and possibly returns a result. Note that a function can be declared multiple times in C, but should be defined at most once.

    • TYPEDEF

      public static final Entity.EntityKind TYPEDEF
      A typedef, the entity corresponding to an occurrence of typedef in the program. The typedef binds an identifier to a type.

    • STRUCTURE_OR_UNION

      public static final Entity.EntityKind STRUCTURE_OR_UNION
      A structure or union, the entity corresponding to an occurrence of struct or union in the program.

    • ENUMERATION

      public static final Entity.EntityKind ENUMERATION
      An enumeration, the entity corresponding to an occurrence of an enum definition in a program. Note that an enumeration can be declared multiple times, but at most one instance can be complete, i.e., contain the curly brackets with the enumerator list.

    • ENUMERATOR

      public static final Entity.EntityKind ENUMERATOR
      An enumerator, the identifier that occurs in the list inside an enum definition. An enumerator is an enumeration constant and in C has a constant integer value.

    • FIELD

      public static final Entity.EntityKind FIELD
      A field, the entity corresponding to a field declaration in the list inside a complete struct or union definition.

    • LABEL

      public static final Entity.EntityKind LABEL
      An ordinary label, which occurs in a labeled statement of the form labelName : stmt. (Note that neither the case nor default constructs in a switch statement generate an entity.)

    • PRAGMA_HANDLER

      public static final Entity.EntityKind PRAGMA_HANDLER
      A pragma domain, named by the first token following the # pragma in a pragma. For example, all OpenMP pragmas begin # pragma omp; the omp names an entity which is the OpenMP pragma domain. Each pragma domain may have a pragma handler which is used to process pragmas of its domain.

    • BEHAVIOR

      public static final Entity.EntityKind BEHAVIOR
      An ACSL behavior, named by the token between the keyword behavior and the symbol :.

  • Method Details

    • values

      public static Entity.EntityKind[] 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 Entity.EntityKind 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