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