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