public class _VDMPrettyPrinterStub extends org.omg.CORBA.portable.ObjectImpl implements VDMPrettyPrinter
Constructor and Description |
---|
_VDMPrettyPrinterStub() |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
boolean |
PrettyPrint(java.lang.String name) |
boolean |
PrettyPrintList(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 PrettyPrint(java.lang.String name) throws APIError
PrettyPrint
in interface VDMPrettyPrinterOperations
APIError
public boolean PrettyPrintList(java.lang.String[] names) throws APIError
PrettyPrintList
in interface VDMPrettyPrinterOperations
APIError
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl