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