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