edu.ucla.util
Class ImpactProperty

Object
  extended by AbstractEnumProperty
      extended by FlagProperty
          extended by ImpactProperty
All Implemented Interfaces:
EnumProperty

public class ImpactProperty
extends FlagProperty

Since:
091603
Author:
Keith Cascio

Nested Class Summary
 
Nested classes/interfaces inherited from class FlagProperty
FlagProperty.FlagValue
 
Field Summary
static ImpactProperty PROPERTY
           
 
Fields inherited from class FlagProperty
FALSE, myArray, myList, TRUE
 
Method Summary
 EnumValue getDefault()
           
 String getID()
           
 String getName()
           
 
Methods inherited from class FlagProperty
contains, forIndex, forString, getValue, indexOf, isFlag, iterator, size, toBoolean, valueOf, valuesAsArray
 
Methods inherited from class AbstractEnumProperty
isModified, isTransient, isUserEditable, rotate, toString
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

PROPERTY

public static final ImpactProperty PROPERTY
Method Detail

getName

public String getName()

getDefault

public EnumValue getDefault()

getID

public String getID()


Copyright 2010 UCLA Automated Reasoning Group