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)