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.