public abstract class VDMInterpreterHelper
extends java.lang.Object
Constructor and Description |
---|
VDMInterpreterHelper() |
Modifier and Type | Method and Description |
---|---|
static VDMInterpreter |
extract(org.omg.CORBA.Any a) |
static java.lang.String |
id() |
static void |
insert(org.omg.CORBA.Any a,
VDMInterpreter that) |
static VDMInterpreter |
narrow(org.omg.CORBA.Object obj) |
static VDMInterpreter |
read(org.omg.CORBA.portable.InputStream istream) |
static org.omg.CORBA.TypeCode |
type() |
static VDMInterpreter |
unchecked_narrow(org.omg.CORBA.Object obj) |
static void |
write(org.omg.CORBA.portable.OutputStream ostream,
VDMInterpreter value) |
public static void insert(org.omg.CORBA.Any a, VDMInterpreter that)
public static VDMInterpreter extract(org.omg.CORBA.Any a)
public static org.omg.CORBA.TypeCode type()
public static java.lang.String id()
public static VDMInterpreter read(org.omg.CORBA.portable.InputStream istream)
public static void write(org.omg.CORBA.portable.OutputStream ostream, VDMInterpreter value)
public static VDMInterpreter narrow(org.omg.CORBA.Object obj)
public static VDMInterpreter unchecked_narrow(org.omg.CORBA.Object obj)