Uses of Class
edu.ksu.cis.projects.bogor.module.throwable.BogorException

Packages that use BogorException

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.throwable	Provides for Bogor throwables.

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

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

IExceptionBacktrackingInfo	IBacktrackingInfoFactory.createExceptionBacktrackingInfo(int stateId, BogorException throwable, Node node, int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount, boolean isUncaught, ISchedulingStrategyInfo ssi, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)
protected ExceptionThrownBogorException	DefaultTransformer.resolveThrowable(BogorException mce)

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return BogorException

BogorException

IExceptionBacktrackingInfo.getThrownException()

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

IExceptionBacktrackingInfo

DefaultBacktrackingInfoFactory.createExceptionBacktrackingInfo(int stateId, BogorException throwable, Node node, int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount, boolean isUncaught, ISchedulingStrategyInfo ssi, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)

Uses of BogorException in edu.ksu.cis.projects.bogor.module.throwable

Subclasses of BogorException in edu.ksu.cis.projects.bogor.module.throwable

class	ArithmeticBogorException Represents an arithmetic exception in a model.
class	AssertionBogorException Represents an assertion exception in a model.
class	BadMonitorBogorException Represents a bad monitor exception in a model.
class	CastBogorException Represents a cast exception in a model.
class	ExceptionThrownBogorException Represents a thrown exception.
class	ExtFailedBogorException Represents an extension call failed exception.
class	IllFormedModelBogorException Represents an ill-formed exception in a model.
class	IndexOutOfBoundsBogorException Represents an index out of bounds exception in a model.
class	NullPointerBogorException Represents a null-pointer exception in a model.
class	RangeBogorException Represents a range exception in a model.