Package de.fraunhofer.aisec.cpg.graph.edge

Enum Properties

java.lang.Object
java.lang.Enum<Properties>
de.fraunhofer.aisec.cpg.graph.edge.Properties
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<Properties>, java.lang.constant.Constable
public enum Properties
extends java.lang.Enum<Properties>
INDEX:(int) Indicates the position in a list of edges

BRANCH:(boolean) If we have multiple EOG edges the branch property indicates which EOG edge leads to true branch (expression evaluated to true) or the false branch (e.g. with an if/else condition)

DEFAULT:(boolean) Indicates which arguments edge of a CallExpression leads to a default argument

NAME:(string) An optional name for the property edge

[UNREACHABLE]:(boolean) True if the edge flows into unreachable code i.e. a branch condition which is always false.

  • 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
    BRANCH  
    INDEX  
    INSTANTIATION  
    NAME  
    UNREACHABLE  

  • Method Summary

    Modifier and Type Method Description
    static Properties valueOf​(java.lang.String name)
    Returns the enum constant of this type with the specified name.
    static Properties[] values()
    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

    • INDEX

      public static final Properties INDEX

    • BRANCH

      public static final Properties BRANCH

    • NAME

      public static final Properties NAME

    • INSTANTIATION

      public static final Properties INSTANTIATION

    • UNREACHABLE

      public static final Properties UNREACHABLE

  • Method Details

    • values

      public static Properties[] values()
      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 Properties valueOf​(java.lang.String name)
      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