public interface VDMInterpreter extends VDMInterpreterOperations, org.omg.CORBA.Object, org.omg.CORBA.portable.IDLEntity
Apply, Debug, Debug, DebugContinue, DebugSingleStep, DebugStep, DebugStepIn, DeleteBreakPoint, DynInvCheck, DynInvCheck, DynPostCheck, DynPostCheck, DynPreCheck, DynPreCheck, DynTypeCheck, DynTypeCheck, EvalCmd, EvalExpression, Initialize, PPOfValues, PPOfValues, SetBreakPointByName, SetBreakPointByPos, StartDebugging, Verbose, Verbose