edu.ksu.cis.projects.bogor.module.value
Interface IPrimitiveExtValue

All Superinterfaces:
Comparable<IValue>, Disposable, IExtValue, IPrimitiveValue, IValue, Serializable
All Known Subinterfaces:
IComparablePrimitiveExtValue

public interface IPrimitiveExtValue
extends IPrimitiveValue, IExtValue

Represents a value of a primitive type extension.

Version:
CVS $Revision: 1.9 $ $Date: 2005/06/07 02:34:45 $
Author:
Robby

Method Summary
 IPrimitiveExtValue clone(Map<Object,Object> cloneMap)
          Override to specialize return type
 IPrimitiveExtValue copy()
           
 boolean equals(IPrimitiveExtValue other)
          Determines whether this value is equal to another value.
 String getExternalRepresentation()
          Get a string used to represent the internal state of this primitive value.
 void linearize(BitBuffer bb, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap)
          Linearizes the contained values.
 
Methods inherited from interface edu.ksu.cis.projects.bogor.module.value.IValue
equals, getType, getTypeId, hashCode, toString, validate
 
Methods inherited from interface edu.ksu.cis.projects.bogor.util.Disposable
dispose
 
Methods inherited from interface java.lang.Comparable
compareTo
 
Methods inherited from interface edu.ksu.cis.projects.bogor.module.value.IExtValue
visit
 
Methods inherited from interface edu.ksu.cis.projects.bogor.module.value.IValue
equals, getType, getTypeId, hashCode, toString, validate
 
Methods inherited from interface edu.ksu.cis.projects.bogor.util.Disposable
dispose
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Method Detail

copy

IPrimitiveExtValue copy()

equals

boolean equals(IPrimitiveExtValue other)
Determines whether this value is equal to another value.

Parameters:
other - The other value to compare to
Returns:
True, if they are equal. False, otherwise.

linearize

void linearize(BitBuffer bb,
               int bitsPerNonPrimitiveValue,
               ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap,
               int bitsPerThreadId,
               IntIntTable threadOrderMap)
Linearizes the contained values.

Parameters:
bb - The bit-buffer used for linearization. Must be non-null.
bitsPerNonPrimitiveValue - The number of bits used to encode a non-primitive value.
nonPrimitiveValueIdMap - A mapping of non-primitive values to their unique id. Must be non-null.
bitsPerThreadId - The number of bits used to encode a thread descriptor.
threadOrderMap - A mapping of thread descriptors to their order number. Must be non-null.

getExternalRepresentation

String getExternalRepresentation()
Get a string used to represent the internal state of this primitive value. Used when outputting counterexamples, etc.


clone

IPrimitiveExtValue clone(Map<Object,Object> cloneMap)
Override to specialize return type

Specified by:
clone in interface IPrimitiveValue
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.