public class EGraphReadError extends EGraph
| Constructor and Description |
|---|
EGraphReadError(java.lang.String message)
Create an exception with the specified message.
|
EGraphReadError(java.lang.Throwable cause)
Create an exception with the specified cause.
|
public EGraphReadError(java.lang.String message)
message - The message to send with the exception.public EGraphReadError(java.lang.Throwable cause)
cause - The cause to send with the exception.