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

Packages that use INonPrimitiveExtValue

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.module.value.event

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

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

void	DefaultStateExternalizer.externalizeExtHeapElement(INonPrimitiveExtValue element)
void	DefaultStateExternalizer.externalizeExtValue(int indents, INonPrimitiveExtValue value)

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

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

INonPrimitiveExtValue

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

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

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

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