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