edu.ucla.util.code
Class ModelCoder.LibraryVersionOption

Object
  extended by AbstractCodeOption
      extended by ModelCoder.LibraryVersionOption
All Implemented Interfaces:
CodeOption
Enclosing class:
ModelCoder

public static final class ModelCoder.LibraryVersionOption
extends AbstractCodeOption


Field Summary
 CodeOptionValue[] ARRAY_VALUES
           
 CodeOptionValue BOTH
           
 CodeOptionValue IL1
           
 CodeOptionValue IL2
           
 
Constructor Summary
ModelCoder.LibraryVersionOption()
           
 
Method Summary
 String describe()
           
 CodeOptionValue getDefault()
           
 String getHelpText()
           
 CodeOptionValue[] getValues()
           
 
Methods inherited from class AbstractCodeOption
describe, getDefaultFlag, isFlag
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

IL1

public final CodeOptionValue IL1

IL2

public final CodeOptionValue IL2

BOTH

public final CodeOptionValue BOTH

ARRAY_VALUES

public final CodeOptionValue[] ARRAY_VALUES
Constructor Detail

ModelCoder.LibraryVersionOption

public ModelCoder.LibraryVersionOption()
Method Detail

describe

public String describe()

getHelpText

public String getHelpText()

getDefault

public CodeOptionValue getDefault()
Specified by:
getDefault in interface CodeOption
Overrides:
getDefault in class AbstractCodeOption

getValues

public CodeOptionValue[] getValues()
Specified by:
getValues in interface CodeOption
Overrides:
getValues in class AbstractCodeOption


Copyright 2010 UCLA Automated Reasoning Group