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