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