Uses of Interface
edu.ksu.cis.projects.bogor.util.Disposable

Packages that use Disposable

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.analyses	Provides for Bogor modules.
edu.ksu.cis.projects.bogor.ast	Provides for Bogor input language AST.
edu.ksu.cis.projects.bogor.ext.atomicity
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.config
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.throwable	Provides for Bogor throwables.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.symboltable	Provides for Bogor symbol table.
edu.ksu.cis.projects.bogor.type	Provides for Bogor types.

Uses of Disposable in edu.ksu.cis.projects.bogor

Subinterfaces of Disposable in edu.ksu.cis.projects.bogor

interface

IBogorConfiguration

Classes in edu.ksu.cis.projects.bogor that implement Disposable

class

DefaultBogorConfiguration

Uses of Disposable in edu.ksu.cis.projects.bogor.analyses

Classes in edu.ksu.cis.projects.bogor.analyses that implement Disposable

class

CFG

Uses of Disposable in edu.ksu.cis.projects.bogor.ast

Classes in edu.ksu.cis.projects.bogor.ast that implement Disposable

class	AbstractLocal AbstractLocal AST.
class	Action The top level class for action AST.
class	ActionExtension Represents an action extension.
class	ActionStatement The action statement AST.
class	ApplyExp Apply exp AST.
class	ArrayAccessExp Array access exp AST.
class	AssertAction Assert action AST.
class	AssignAction Assign action AST.
class	AssumeAction Assume action AST.
class	ASTArrayType Array type AST.
class	ASTBooleanType Boolean type AST.
class	ASTDoubleType Double type AST.
class	ASTExtType Extension Type AST.
class	ASTFloatType Float type AST.
class	ASTFunType Functional type AST.
class	ASTIntRangeType Int range type AST.
class	ASTIntType Int type AST.
class	ASTLockType Lock type AST.
class	ASTLongRangeType Long range type AST.
class	ASTLongType Long type AST.
class	ASTStringType String type AST.
class	ASTThreadIdType Thread id type AST.
class	ASTType Top level class for type AST.
class	AtomicActionStatement The atomic (shorthand) action statement AST.
class	AtomicExp Atomic exp AST.
class	AtomicStatement The atomic statement AST.
class	BinaryExp Binary exp AST.
class	BlockStatement The block (sequence of statements) statement AST.
class	BlockTransformation Block transformation AST.
class	BooleanConstant Boolean constant AST.
class	BooleanLiteral Boolean literal AST.
class	CastExp Cast exp AST.
class	Catch Catch AST.
class	ChooseStatement The choose statement AST.
class	ConditionalExp Binary exp AST.
class	Constant The top level class for constant AST.
class	ConstantDefinition Constant definition AST.
class	Definition The top level class for definition AST.
class	DoubleConstant Double constant AST
class	DoubleLiteral Double literal AST
class	EnumDefinition Enum definition AST.
class	ExitThreadAction Assert action AST.
class	Exp The top level class for exp AST.
class	ExpAction Exp action AST.
class	ExpExtension Represents an exp extension.
class	Extension The top level class for extension AST.
class	ExtensionDefinition Extension definition AST.
class	ExtExp Represents an action or an exp extension usage.
class	Field Syntax tree node for field declarations inside a record type.
class	FieldAccessExp Field access exp AST.
class	FloatConstant Float constant AST
class	FloatLiteral Float literal AST
class	FSM FSM AST.
class	Fun Fun AST.
class	Global The top level class for global AST.
class	GotoNextState Goto next state AST
class	IdExp Id exp AST.
class	IdPrintArg Id print argument AST.
class	IdType Id type AST
class	IfStatement The if statement AST.
class	InitialValue An initial value of a local or global variable, along with an optional type coercion to make it compatible with the variable declaration.
class	InstanceofExp Instanceof exp AST.
class	IntConstant Int constant AST
class	IntLiteral Int literal AST
class	InvokeAction Node for stand-alone function invocation used in high-level BIR.
class	InvokeExp Invoke exp AST.
class	InvokeTransformation Invoke transformation AST.
class	KindofExp Kindof exp AST.
class	LetExp Let exp AST.
class	Literal The top level class for literal AST.
class	LiteralExp Literal exp AST.
class	LiveSet Live set AST.
class	Local
class	Location Location AST.
class	LocationInfo This class is used to store location information in a file.
class	LockAction Lock action AST.
class	LockTestExp Lock test exp AST.
class	LongConstant Long constant AST
class	LongLiteral Long literal AST
class	LValueExp LHS interface used to indicate whether a class is an LHS or not.
class	NewArrayExp New array exp AST.
class	NewLockExp New lock exp AST.
class	NewRecordExp New record exp AST.
class	NextState The top level class for next state AST.
class	Node Top level class for any AST class.
class	NullLiteral Null literal AST
class	Param Formal parameter to a FSM definition.
class	ParenExp Parenthesis exp AST.
class	PrintAction Print action AST.
class	PrintArg The top level class for print argument AST.
class	RecordDefinition Record definition AST.
class	ReturnNextState Return next state AST
class	ReturnStatement The return statement AST.
class	SkipStatement The skip statement AST.
class	StartThreadExp Start thread AST.
class	Statement The top level class for statement AST.
class	StringConstant String constant AST
class	StringLiteral String literal AST
class	StringPrintArg String print argument AST.
class	System The compilation unit for a BIR document.
class	SystemMember Top level class for a system member AST.
class	ThreadTestExp Thread test exp AST.
class	ThrowAction Throw action AST.
class	Transformation Transformation AST.
class	TryCatchStatement The try-catch statement AST.
class	TypeAliasDefinition Type-alias declaration AST.
class	TypedId Typed id AST.
class	TypeExtension Represents a type extension.
class	UnaryExp Unary exp AST.
class	VirtualTableDefinition Virtual table definition AST.
class	WhileStatement The while statement AST.

Uses of Disposable in edu.ksu.cis.projects.bogor.ext.atomicity

Classes in edu.ksu.cis.projects.bogor.ext.atomicity that implement Disposable

class

AtomicModule

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

Subinterfaces of Disposable in edu.ksu.cis.projects.bogor.module

interface	IActionTaker
interface	IBacktrackingInfoFactory
interface	IClassLoader A method by which plugins can provide facilities for loading
interface	ICounterExampleWriter
interface	IExpEvaluator
interface	IExtArguments
interface	IListener Tagging interface type for modules which attach some kind of event-listener.
interface	IModule This interface is the top-level interface for all Bogor modules.
interface	IProgressManager
interface	ISchedulingStrategist Main scheduler module for Bogor.
interface	ISchedulingStrategyContext
interface	ISearcher This interface is the top-level interface for a state-space search algorithm.
interface	IStateAugmenter A hook to allow state manager "plugins" that transform the state vector after a vanilla version has been completely calculated.
interface	IStateFactory A state factory interface.
interface	IStateManager
interface	ITransformationFilter Type description here.
interface	ITransformer
interface	IValueFactory A value factory interface.

Classes in edu.ksu.cis.projects.bogor.module that implement Disposable

class	AbstractProgressManager
class	DefaultActionTaker
class	DefaultClassLoader Hook for plugin modules to allow clients which do not explicitly depend on the plugin, to still load classes from it.
class	DefaultCounterExampleWriter [Document Pending]
protected class	DefaultCounterExampleWriter.DummyProgressManager [Document Pending]
protected static class	DefaultCounterExampleWriter.DummyStateManagerProxy [Document Pending]
static class	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy [Document Pending]
protected class	DefaultCounterExampleWriter.GuidedSearcherProxy [Document Pending]
class	DefaultExpEvaluator
class	DefaultSchedulingStrategist
class	DefaultSearcher
class	DefaultStateManager
class	DefaultTransformer

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

Subinterfaces of Disposable in edu.ksu.cis.projects.bogor.module.backtrack

interface	IArrayElementBacktrackingInfo
interface	IBacktrackingInfo
interface	IControlTransferBacktrackingInfo
interface	IEndStateBacktrackingInfo
interface	IEnterFunctionBacktrackingInfo
interface	IExceptionBacktrackingInfo
interface	IExitFunctionBacktrackingInfo
interface	IExitThreadBacktrackingInfo
interface	IFieldBacktrackingInfo
interface	IGlobalBacktrackingInfo
interface	ILocalBacktrackingInfo
interface	ILockBacktrackingInfo
interface	INoChangeBacktrackingInfo
interface	IPostControlTransferBacktrackingInfo
interface	IStartThreadBacktrackingInfo
interface	ITransformationsBacktrackingInfo

Classes in edu.ksu.cis.projects.bogor.module.backtrack that implement Disposable

class	CompoundBacktrackingInfo An aggregator for backtracking actions.
class	DefaultBacktrackingInfoFactory

Uses of Disposable in edu.ksu.cis.projects.bogor.module.config

Subinterfaces of Disposable in edu.ksu.cis.projects.bogor.module.config

interface

ISelfDescribingModule Type description here.

Uses of Disposable in edu.ksu.cis.projects.bogor.module.state

Subinterfaces of Disposable in edu.ksu.cis.projects.bogor.module.state

interface

IState An interface for a state.

Classes in edu.ksu.cis.projects.bogor.module.state that implement Disposable

class	DefaultState The default implementation of IState.
class	DefaultStateFactory The default implementation of IStateFactory.
class	DefaultThreadStore A class that is used as a thread store.
class	StateValueVisitor A value visitor for a state.

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

Classes in edu.ksu.cis.projects.bogor.module.throwable that implement Disposable

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	BogorException Represents a Bogor exception.
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.

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

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

interface	IArrayValue Represents an array value.
interface	IComparablePrimitiveExtValue An interface to indicate a comparable primitive extension value.
interface	IDoubleValue Represents a double value.
interface	IExpASTValue Represents an exp AST value.
interface	IExtValue Interface to define methods shared in common between primitive and nonprimitive extension values.
interface	IFloatValue Represents a float value.
interface	IIntegralValue Represents an integral value.
interface	IIntValue Represents a boolean, integer, or ranged integer value.
interface	ILockValue Represents a lock value.
interface	ILongValue Represents a long value or a ranged long value.
interface	INonPrimitiveExtValue Represents an instance of a new type declared through the extension mechanism.
interface	INonPrimitiveValue Represents a non-primitive value.
interface	INullValue Represents a null value.
interface	IPrimitiveExtValue Represents a value of a primitive type extension.
interface	IPrimitiveValue Represents a primitive value.
interface	IRealValue Represents a real value.
interface	IRecordValue Represents a record value.
interface	IStringValue Represents a string value.
interface	IValue Top level interface for values.
interface	IValueArray This interface is used to provide methods for storing (an array of) values.

Classes in edu.ksu.cis.projects.bogor.module.value that implement Disposable

class	DefaultArrayValue The default implementation of IArrayValue.
class	DefaultDoubleValue The default implementation of IDoubleValue.
class	DefaultExpASTValue The default implementation of IExpASTValue.
class	DefaultFloatValue The default implementation of IFloatValue.
class	DefaultIntValue The default implementation of IIntValue.
class	DefaultLockValue The default implementation of ILockValue.
class	DefaultLongValue The default implementation of ILongValue.
class	DefaultNullValue The default implementation of INullValue.
class	DefaultRecordValue The default implementation of IRecordValue.
class	DefaultStringValue The default implementation of IStringValue.
class	DefaultValueFactory The default implementation of IValueFactory.
class	UniformValueArray The default implementation of IValueArray
class	ValueVisitor A visitor pattern for values.
class	VariedValueArray The default implementation of IValueArray

Uses of Disposable in edu.ksu.cis.projects.bogor.symboltable

Classes in edu.ksu.cis.projects.bogor.symboltable that implement Disposable

class	ExtSymbolTable This class is used as a symbol table for an action/expression extension.
class	FSMSymbolTable This class is used as a symbol table for a FSM.
class	SymbolTable This class is used as a symbol table for a system.

Uses of Disposable in edu.ksu.cis.projects.bogor.type

Classes in edu.ksu.cis.projects.bogor.type that implement Disposable

class	ArrayType Represents an array type.
class	BooleanType Represents the boolean type.
class	DoubleType Represents the int type.
class	EnumType Represents an enum type.
class	FloatType Represents the float type.
class	FunType Represents a functional type.
class	IntegralType Represents an integral type.
class	IntRangeType Represents an int range type.
class	IntType Represents the int type.
class	LockType Represents the lock type.
class	LongRangeType Represents an long range type.
class	LongType Represents the long type.
class	NonPrimitiveExtType Represents the non-primitive type extension type.
class	NonPrimitiveType Represents a non-primitive type.
class	NullType Represents the null type.
class	PrimitiveExtType
class	PrimitiveType Represents a primitive type.
class	PrimitiveTypeExtensionType Represents a primitive type extension type.
class	RealType Represents a real type.
class	RecordType Represents a record type.
class	StringType Represents the string type.
class	ThreadIdType Represents the thread id type.
class	Type Top level class of any type.
class	TypeExtensionType Represents a type extension type.
class	TypeFactory Provides a factory for types.
class	TypeVar Represents a type variable.
class	UnknownType Represents the unknown type.
class	VoidType Represents the void type.