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