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

All Known Subinterfaces:

IActionTaker, IArrayElementBacktrackingInfo, IArrayValue, IBacktrackingInfo, IBacktrackingInfoFactory, IBogorConfiguration, IClassLoader, IComparablePrimitiveExtValue, IControlTransferBacktrackingInfo, ICounterExampleWriter, IDoubleValue, IEndStateBacktrackingInfo, IEnterFunctionBacktrackingInfo, IExceptionBacktrackingInfo, IExitFunctionBacktrackingInfo, IExitThreadBacktrackingInfo, IExpASTValue, IExpEvaluator, IExtArguments, IExtValue, IFieldBacktrackingInfo, IFloatValue, IGlobalBacktrackingInfo, IIntegralValue, IIntValue, IListener, ILocalBacktrackingInfo, ILockBacktrackingInfo, ILockValue, ILongValue, IModule, INoChangeBacktrackingInfo, INonPrimitiveExtValue, INonPrimitiveValue, INullValue, IPostControlTransferBacktrackingInfo, IPrimitiveExtValue, IPrimitiveValue, IProgressManager, IRealValue, IRecordValue, ISchedulingStrategist, ISchedulingStrategyContext, ISearcher, ISelfDescribingModule, IStartThreadBacktrackingInfo, IState, IStateAugmenter, IStateFactory, IStateManager, IStringValue, ITransformationFilter, ITransformationsBacktrackingInfo, ITransformer, IValue, IValueArray, IValueFactory

All Known Implementing Classes:

AbstractLocal, AbstractProgressManager, Action, ActionExtension, ActionStatement, ApplyExp, ArithmeticBogorException, ArrayAccessExp, ArrayType, AssertAction, AssertionBogorException, AssignAction, AssumeAction, ASTArrayType, ASTBooleanType, ASTDoubleType, ASTExtType, ASTFloatType, ASTFunType, ASTIntRangeType, ASTIntType, ASTLockType, ASTLongRangeType, ASTLongType, ASTStringType, ASTThreadIdType, ASTType, AtomicActionStatement, AtomicExp, AtomicModule, AtomicStatement, BadMonitorBogorException, BinaryExp, BlockStatement, BlockTransformation, BogorException, BooleanConstant, BooleanLiteral, BooleanType, CastBogorException, CastExp, Catch, CFG, ChooseStatement, CompoundBacktrackingInfo, ConditionalExp, Constant, ConstantDefinition, DefaultActionTaker, DefaultArrayValue, DefaultBacktrackingInfoFactory, DefaultBogorConfiguration, DefaultClassLoader, DefaultCounterExampleWriter, DefaultCounterExampleWriter.DummyProgressManager, DefaultCounterExampleWriter.DummyStateManagerProxy, DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy, DefaultCounterExampleWriter.GuidedSearcherProxy, DefaultDoubleValue, DefaultExpASTValue, DefaultExpEvaluator, DefaultFloatValue, DefaultIntValue, DefaultLockValue, DefaultLongValue, DefaultNullValue, DefaultRecordValue, DefaultSchedulingStrategist, DefaultSearcher, DefaultState, DefaultStateFactory, DefaultStateManager, DefaultStringValue, DefaultThreadStore, DefaultTransformer, DefaultValueFactory, Definition, DoubleConstant, DoubleLiteral, DoubleType, EnumDefinition, EnumType, ExceptionThrownBogorException, ExitThreadAction, Exp, ExpAction, ExpExtension, Extension, ExtensionDefinition, ExtExp, ExtFailedBogorException, ExtSymbolTable, Field, FieldAccessExp, FloatConstant, FloatLiteral, FloatType, FSM, FSMSymbolTable, Fun, FunType, Global, GotoNextState, IdExp, IdPrintArg, IdType, IfStatement, IllFormedModelBogorException, IndexOutOfBoundsBogorException, InitialValue, InstanceofExp, IntConstant, IntegralType, IntLiteral, IntRangeType, IntType, InvokeAction, InvokeExp, InvokeTransformation, KindofExp, LetExp, Literal, LiteralExp, LiveSet, Local, Location, LocationInfo, LockAction, LockTestExp, LockType, LongConstant, LongLiteral, LongRangeType, LongType, LValueExp, NewArrayExp, NewLockExp, NewRecordExp, NextState, Node, NonPrimitiveExtType, NonPrimitiveType, NullLiteral, NullPointerBogorException, NullType, Param, ParenExp, PrimitiveExtType, PrimitiveType, PrimitiveTypeExtensionType, PrintAction, PrintArg, RangeBogorException, RealType, RecordDefinition, RecordType, ReturnNextState, ReturnStatement, SkipStatement, StartThreadExp, Statement, StateValueVisitor, StringConstant, StringLiteral, StringPrintArg, StringType, SymbolTable, System, SystemMember, ThreadIdType, ThreadTestExp, ThrowAction, Transformation, TryCatchStatement, Type, TypeAliasDefinition, TypedId, TypeExtension, TypeExtensionType, TypeFactory, TypeVar, UnaryExp, UniformValueArray, UnknownType, ValueVisitor, VariedValueArray, VirtualTableDefinition, VoidType, WhileStatement

public interface Disposable

This interface requires a dispose method to unlink all references.

Version:

CVS $Revision: 1.1 $ $Date: 2003/09/27 02:00:37 $

Author:

Robby

Method Summary

void	dispose() Remove references.

Method Detail

dispose

void dispose()

Remove references. Once called, avoid using this object.