org.grinvin.invariants
Class UnknownInvariantException
Exception
org.grinvin.invariants.UnknownInvariantException
public class UnknownInvariantException
extends Exception
Indicates that the id of an unknown invariant or invariant factory was
encountered.
String | getId() - The identifier of the invariant which was unknown.
|
UnknownInvariantException
public UnknownInvariantException(String message,
String id)
Construct an exception of this type
message
- Error messageid
- Invariant for which this exception was thrown
UnknownInvariantException
public UnknownInvariantException(String message,
String id,
Throwable cause)
Construct an exception of this type
message
- Error messageid
- Invariant for which this exception was throwncause
- Underlying cause
getId
public String getId()
The identifier of the invariant which was unknown.