public final class exception_typeHolder extends java.lang.Object implements Streamable
| Modifier and Type | Field and Description |
|---|---|
exception_type |
value
Internal exception_type value
|
| Constructor and Description |
|---|
exception_typeHolder()
Default constructor
|
exception_typeHolder(exception_type initial)
Constructor with value initialisation
|
| Modifier and Type | Method and Description |
|---|---|
void |
_read(InputStream istream)
Read exception_type from a marshalled stream
|
TypeCode |
_type()
Return the exception_type TypeCode
|
void |
_write(OutputStream ostream)
Write exception_type into a marshalled stream
|
public exception_type value
public exception_typeHolder()
public exception_typeHolder(exception_type initial)
initial - the initial valuepublic void _read(InputStream istream)
_read in interface Streamableistream - the input streampublic void _write(OutputStream ostream)
_write in interface Streamableostream - the output streampublic TypeCode _type()
_type in interface Streamable