edu.ksu.cis.projects.bogor.module.value
Class DefaultDoubleValue

java.lang.Object
  extended by edu.ksu.cis.projects.bogor.module.value.DefaultDoubleValue
All Implemented Interfaces:
IDoubleValue, IPrimitiveValue, IRealValue, IValue, Disposable, Serializable, Comparable<IValue>

public class DefaultDoubleValue
extends Object
implements IDoubleValue

The default implementation of IDoubleValue.

Version:
CVS $Revision: 1.12 $ $Date: 2005/06/06 19:15:31 $
Author:
Robby , Matt Hoosier
See Also:
Serialized Form

Field Summary
protected  double d
          Holds the double of this double value.
protected  DoubleType type
          Holds the type of this double value.
 
Constructor Summary
protected DefaultDoubleValue(DoubleType type, double d)
          Default constructor.
 
Method Summary
 IDoubleValue clone(Map<Object,Object> cloneMap)
          Override to specialize return type
 int compareTo(IValue o)
           
 void dispose()
          Remove references.
 boolean equals(Object o)
          Classes implementing IValue should provide their own equality tests.
 double getDouble()
          Gets the double of this double value.
 Type getType()
          Gets the type of this value.
 int getTypeId()
          Gets the type id of this value.
 int hashCode()
          Classes implementing IValue should provide their own hashing method.
 String toString()
          Gets the string representation of this value.
 void validate(IBogorConfiguration bc)
           Freshen references to Bogor model checking components and other non-serializable objects.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

d

protected double d
Holds the double of this double value.


type

protected DoubleType type
Holds the type of this double value.

Constructor Detail

DefaultDoubleValue

protected DefaultDoubleValue(DoubleType type,
                             double d)
Default constructor.

Parameters:
type - The type for this double value. Must be non-null.
d - The double for this double value.
Method Detail

getDouble

public double getDouble()
Description copied from interface: IDoubleValue
Gets the double of this double value.

Specified by:
getDouble in interface IDoubleValue
Returns:
The double of this double value.

getType

public Type getType()
Description copied from interface: IValue
Gets the type of this value.

Specified by:
getType in interface IValue
Returns:
The type of this value. Non-null.
See Also:
Type.getTypeId()

getTypeId

public int getTypeId()
Description copied from interface: IValue
Gets the type id of this value.

Specified by:
getTypeId in interface IValue
Returns:
The type id of this value.
See Also:
Type.getTypeId()

clone

public IDoubleValue clone(Map<Object,Object> cloneMap)
Description copied from interface: IDoubleValue
Override to specialize return type

Specified by:
clone in interface IDoubleValue
Specified by:
clone in interface IPrimitiveValue
Specified by:
clone in interface IRealValue
Specified by:
clone in interface IValue
Parameters:
cloneMap - Original values (IValue) to their clones ( IValue) mapping. The clone map to solve circular references in values. If this value is a key in the map, then this method returns the value of the key in the map. Must be non-null.
Returns:
The clone of this value. Non-null.

dispose

public void dispose()
Description copied from interface: Disposable
Remove references. Once called, avoid using this object.

Specified by:
dispose in interface Disposable

toString

public String toString()
Description copied from interface: IValue
Gets the string representation of this value.

Specified by:
toString in interface IValue
Overrides:
toString in class Object
Returns:
The string representation of this value. Non-null.

validate

public void validate(IBogorConfiguration bc)
Description copied from interface: IValue

Freshen references to Bogor model checking components and other non-serializable objects. Generally, this can be done in a few steps:

Model checking components (IModule implementations) should be reacquired by fetching them from the parameter, bc:

     valueFactory = bc.getValueFactory();
     scheduler = bc.getSchedulingStrategist();
 

Any fields storing Type objects should be treated as stale, but still uniquely identifier by their integer typeId field. This can be used as a key to look up the correct Type instances in the new symbol table's typeId-to-type table:

     typeField = bc.getSymbolTable().getTypeIdTypeTable().get(typeField.getTypeId());
 

Any IValueArray objects contained can simply be "chained" by their IValueArray.validate(IBogorConfiguration) method:

     someValueArray.validate(bc);
 

IValue objects contained directly should not be handled manually by this method; they will be dealt with directly when they are visited later

Specified by:
validate in interface IValue
Parameters:
bc - The Bogor configuration to validate to.

equals

public boolean equals(Object o)
Description copied from interface: IValue
Classes implementing IValue should provide their own equality tests.

Specified by:
equals in interface IValue
Overrides:
equals in class Object

hashCode

public int hashCode()
Description copied from interface: IValue
Classes implementing IValue should provide their own hashing method.

Specified by:
hashCode in interface IValue
Overrides:
hashCode in class Object

compareTo

public int compareTo(IValue o)
Specified by:
compareTo in interface Comparable<IValue>