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.