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