daikon
Enum PptRelation.PptRelationType

Object
  extended by Enum<PptRelation.PptRelationType>
      extended by PptRelation.PptRelationType
All Implemented Interfaces:
Serializable, Comparable<PptRelation.PptRelationType>
Enclosing class:
PptRelation

public static enum PptRelation.PptRelationType
extends Enum<PptRelation.PptRelationType>

The different ppt/variable hierarchy relationships. Parent and User relations are specified in the declaration record of the ppt. ENTER_EXIT, EXIT_EXITNN, and PPT_COND are automtically constructed. MERGE_CHILD is not used by Daikon.


Enum Constant Summary
ENTER_EXIT
          Entrance of method to exit of method
EXIT_EXITNN
          Combined exit to numbered exit of a method
MERGE_CHILD
          Relation between the same ppt in two different PptMaps
PARENT
          Acyclic relationship to a parent, eg, method to its object
PPT_PPTCOND
          Relation from a program point to its conditional ppts
USER
          Possibly cyclic relationship, eg. nested object instances
 
Method Summary
static PptRelation.PptRelationType valueOf(String name)
          Returns the enum constant of this type with the specified name.
static PptRelation.PptRelationType[] values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 
Methods inherited from class Enum
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
 
Methods inherited from class Object
getClass, notify, notifyAll, wait, wait, wait
 

Enum Constant Detail

PARENT

public static final PptRelation.PptRelationType PARENT
Acyclic relationship to a parent, eg, method to its object


USER

public static final PptRelation.PptRelationType USER
Possibly cyclic relationship, eg. nested object instances


ENTER_EXIT

public static final PptRelation.PptRelationType ENTER_EXIT
Entrance of method to exit of method


EXIT_EXITNN

public static final PptRelation.PptRelationType EXIT_EXITNN
Combined exit to numbered exit of a method


MERGE_CHILD

public static final PptRelation.PptRelationType MERGE_CHILD
Relation between the same ppt in two different PptMaps


PPT_PPTCOND

public static final PptRelation.PptRelationType PPT_PPTCOND
Relation from a program point to its conditional ppts

Method Detail

values

public static PptRelation.PptRelationType[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
for (PptRelation.PptRelationType c : PptRelation.PptRelationType.values())
    System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they are declared

valueOf

public static PptRelation.PptRelationType valueOf(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:
IllegalArgumentException - if this enum type has no constant with the specified name
NullPointerException - if the argument is null