org.grinvin.invariants
Class UnknownInvariantTypeException
Exception
org.grinvin.invariants.UnknownInvariantTypeException
public class UnknownInvariantTypeException
extends Exception
Indicates that een unknown invariant type was
encountered.
String | getType() - The identifier of the type which was unknown.
|
UnknownInvariantTypeException
public UnknownInvariantTypeException(String message,
String type)
Construct an exception of this type
message
- Error messagetype
- Type for which this exception was thrown
UnknownInvariantTypeException
public UnknownInvariantTypeException(String message,
String type,
Throwable cause)
Construct an exception of this type
message
- Error messagetype
- Type for which this exception was throwncause
- Underlying cause
getType
public String getType()
The identifier of the type which was unknown.