public final class GraphExceptionHolder extends Ice.ObjectHolderBase<GraphException>
| Constructor and Description |
|---|
GraphExceptionHolder() |
GraphExceptionHolder(GraphException value) |
| Modifier and Type | Method and Description |
|---|---|
void |
patch(Ice.Object v) |
java.lang.String |
type() |
public GraphExceptionHolder()
public GraphExceptionHolder(GraphException value)