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