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.