edu.ucla.util
Class HiddenProperty

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

public class HiddenProperty
extends FlagProperty

Since:
20040817
Author:
keith cascio

Nested Class Summary
 
Nested classes/interfaces inherited from class FlagProperty
FlagProperty.FlagValue
 
Field Summary
static HiddenProperty PROPERTY
           
 
Fields inherited from class FlagProperty
FALSE, myArray, myList, TRUE
 
Method Summary
 EnumValue getDefault()
           
 String getID()
           
 String getName()
           
static boolean isHidden(Variable var)
           
 
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 HiddenProperty PROPERTY
Method Detail

getName

public String getName()

getDefault

public EnumValue getDefault()

getID

public String getID()

isHidden

public static boolean isHidden(Variable var)


Copyright 2010 UCLA Automated Reasoning Group