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