public interface VDMInterpreterOperations
Modifier and Type | Method and Description |
---|---|
VDMGeneric |
Apply(short id,
java.lang.String f,
VDMSequence arg) |
boolean |
Debug() |
void |
Debug(boolean newDebug) |
VDMTuple |
DebugContinue(short id) |
VDMTuple |
DebugSingleStep(short id) |
VDMTuple |
DebugStep(short id) |
VDMTuple |
DebugStepIn(short id) |
void |
DeleteBreakPoint(int num) |
boolean |
DynInvCheck() |
void |
DynInvCheck(boolean newDynInvCheck) |
boolean |
DynPostCheck() |
void |
DynPostCheck(boolean newDynPostCheck) |
boolean |
DynPreCheck() |
void |
DynPreCheck(boolean newDynPreCheck) |
boolean |
DynTypeCheck() |
void |
DynTypeCheck(boolean newDynTypeCheck) |
void |
EvalCmd(java.lang.String cmd) |
VDMGeneric |
EvalExpression(short id,
java.lang.String expr) |
void |
Initialize() |
boolean |
PPOfValues() |
void |
PPOfValues(boolean newPPOfValues) |
int |
SetBreakPointByName(java.lang.String mod,
java.lang.String func) |
int |
SetBreakPointByPos(java.lang.String file,
int line,
int col) |
VDMTuple |
StartDebugging(short id,
java.lang.String expr) |
boolean |
Verbose() |
void |
Verbose(boolean newVerbose) |
boolean DynTypeCheck()
void DynTypeCheck(boolean newDynTypeCheck)
boolean DynInvCheck()
void DynInvCheck(boolean newDynInvCheck)
boolean DynPreCheck()
void DynPreCheck(boolean newDynPreCheck)
boolean DynPostCheck()
void DynPostCheck(boolean newDynPostCheck)
boolean PPOfValues()
void PPOfValues(boolean newPPOfValues)
boolean Verbose()
void Verbose(boolean newVerbose)
boolean Debug()
void Debug(boolean newDebug)
VDMGeneric EvalExpression(short id, java.lang.String expr) throws APIError
APIError
VDMGeneric Apply(short id, java.lang.String f, VDMSequence arg) throws APIError
APIError
int SetBreakPointByPos(java.lang.String file, int line, int col) throws APIError
APIError
int SetBreakPointByName(java.lang.String mod, java.lang.String func) throws APIError
APIError
VDMTuple StartDebugging(short id, java.lang.String expr) throws APIError
APIError