public class _VDMInterpreterStub extends org.omg.CORBA.portable.ObjectImpl implements VDMInterpreter
Constructor and Description |
---|
_VDMInterpreterStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
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) |
_create_request, _create_request, _duplicate, _get_delegate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _invoke, _is_a, _is_equivalent, _is_local, _non_existent, _orb, _release, _releaseReply, _request, _request, _servant_postinvoke, _servant_preinvoke, _set_delegate, _set_policy_override, equals, hashCode, toString
public boolean DynTypeCheck()
DynTypeCheck
in interface VDMInterpreterOperations
public void DynTypeCheck(boolean newDynTypeCheck)
DynTypeCheck
in interface VDMInterpreterOperations
public boolean DynInvCheck()
DynInvCheck
in interface VDMInterpreterOperations
public void DynInvCheck(boolean newDynInvCheck)
DynInvCheck
in interface VDMInterpreterOperations
public boolean DynPreCheck()
DynPreCheck
in interface VDMInterpreterOperations
public void DynPreCheck(boolean newDynPreCheck)
DynPreCheck
in interface VDMInterpreterOperations
public boolean DynPostCheck()
DynPostCheck
in interface VDMInterpreterOperations
public void DynPostCheck(boolean newDynPostCheck)
DynPostCheck
in interface VDMInterpreterOperations
public boolean PPOfValues()
PPOfValues
in interface VDMInterpreterOperations
public void PPOfValues(boolean newPPOfValues)
PPOfValues
in interface VDMInterpreterOperations
public boolean Verbose()
Verbose
in interface VDMInterpreterOperations
public void Verbose(boolean newVerbose)
Verbose
in interface VDMInterpreterOperations
public boolean Debug()
Debug
in interface VDMInterpreterOperations
public void Debug(boolean newDebug)
Debug
in interface VDMInterpreterOperations
public void Initialize() throws APIError
Initialize
in interface VDMInterpreterOperations
APIError
public VDMGeneric EvalExpression(short id, java.lang.String expr) throws APIError
EvalExpression
in interface VDMInterpreterOperations
APIError
public VDMGeneric Apply(short id, java.lang.String f, VDMSequence arg) throws APIError
Apply
in interface VDMInterpreterOperations
APIError
public void EvalCmd(java.lang.String cmd) throws APIError
EvalCmd
in interface VDMInterpreterOperations
APIError
public int SetBreakPointByPos(java.lang.String file, int line, int col) throws APIError
SetBreakPointByPos
in interface VDMInterpreterOperations
APIError
public int SetBreakPointByName(java.lang.String mod, java.lang.String func) throws APIError
SetBreakPointByName
in interface VDMInterpreterOperations
APIError
public void DeleteBreakPoint(int num) throws APIError
DeleteBreakPoint
in interface VDMInterpreterOperations
APIError
public VDMTuple StartDebugging(short id, java.lang.String expr) throws APIError
StartDebugging
in interface VDMInterpreterOperations
APIError
public VDMTuple DebugStep(short id) throws APIError
DebugStep
in interface VDMInterpreterOperations
APIError
public VDMTuple DebugStepIn(short id) throws APIError
DebugStepIn
in interface VDMInterpreterOperations
APIError
public VDMTuple DebugSingleStep(short id) throws APIError
DebugSingleStep
in interface VDMInterpreterOperations
APIError
public VDMTuple DebugContinue(short id) throws APIError
DebugContinue
in interface VDMInterpreterOperations
APIError
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl