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

Packages that use IPrimitiveExtValue

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.module.value.event

Uses of IPrimitiveExtValue in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module with parameters of type IPrimitiveExtValue

IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IPrimitiveExtValue value1, IPrimitiveExtValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IPrimitiveExtValue value1, IPrimitiveExtValue value2)
void	DefaultStateExternalizer.externalizePrimitiveExtValue(int indents, IPrimitiveExtValue value)

Uses of IPrimitiveExtValue in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type IPrimitiveExtValue

IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IPrimitiveExtValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IPrimitiveExtValue oldValue, ISchedulingStrategyInfo ssi)

Uses of IPrimitiveExtValue in edu.ksu.cis.projects.bogor.module.value

Subinterfaces of IPrimitiveExtValue in edu.ksu.cis.projects.bogor.module.value

interface

IComparablePrimitiveExtValue An interface to indicate a comparable primitive extension value.

Fields in edu.ksu.cis.projects.bogor.module.value declared as IPrimitiveExtValue

protected IPrimitiveExtValue[]	UniformValueArray.primitiveExtElementValues Holds the values of this array value's primitive ext value elements.
protected IPrimitiveExtValue[]	VariedValueArray.primitiveExtElementValues Holds the values of this array value's primitive ext value elements.

Methods in edu.ksu.cis.projects.bogor.module.value that return IPrimitiveExtValue

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

Methods in edu.ksu.cis.projects.bogor.module.value with parameters of type IPrimitiveExtValue

boolean

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

Uses of IPrimitiveExtValue in edu.ksu.cis.projects.bogor.module.value.event

Methods in edu.ksu.cis.projects.bogor.module.value.event with parameters of type IPrimitiveExtValue

void	IExtValueStateChangedListener.extValueStateChanged(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)
void	IExtValueStateQueriedListener.extValueStateQueried(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)
void	DefaultExtValueEventNotifier.notifyExtValueStateChanged(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)
void	DefaultValueEventNotifier.notifyExtValueStateChanged(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)
void	IExtValueEventNotifier.notifyExtValueStateChanged(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)
void	DefaultExtValueEventNotifier.notifyExtValueStateQueried(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)
void	DefaultValueEventNotifier.notifyExtValueStateQueried(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)
void	IExtValueEventNotifier.notifyExtValueStateQueried(int threadId, IPrimitiveExtValue pev, IExtValueStateQueriedInfo evsqi)