public class _VDMTypeCheckerStub extends org.omg.CORBA.portable.ObjectImpl implements VDMTypeChecker
Constructor and Description |
---|
_VDMTypeCheckerStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
boolean |
DefTypeCheck() |
void |
DefTypeCheck(boolean newDefTypeCheck) |
boolean |
ExtendedTypeCheck() |
void |
ExtendedTypeCheck(boolean newExtendedTypeCheck) |
boolean |
TypeCheck(java.lang.String name) |
boolean |
TypeCheckList(java.lang.String[] names) |
_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 DefTypeCheck()
DefTypeCheck
in interface VDMTypeCheckerOperations
public void DefTypeCheck(boolean newDefTypeCheck)
DefTypeCheck
in interface VDMTypeCheckerOperations
public boolean ExtendedTypeCheck()
ExtendedTypeCheck
in interface VDMTypeCheckerOperations
public void ExtendedTypeCheck(boolean newExtendedTypeCheck)
ExtendedTypeCheck
in interface VDMTypeCheckerOperations
public boolean TypeCheck(java.lang.String name) throws APIError
TypeCheck
in interface VDMTypeCheckerOperations
APIError
public boolean TypeCheckList(java.lang.String[] names) throws APIError
TypeCheckList
in interface VDMTypeCheckerOperations
APIError
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl