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