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.