Overview Package Tree Index Deprecated About
Prev Class | Next ClassFrames | No Frames
Summary: Nested | Field | Method | ConstrDetail: Nested | Field | Method | Constr

org.grinvin.invariants

Class UnknownInvariantException

public class UnknownInvariantException
extends Exception
Indicates that the id of an unknown invariant or invariant factory was encountered.

Constructor Summary

UnknownInvariantException(String message, String id)
Construct an exception of this type
UnknownInvariantException(String message, String id, Throwable cause)
Construct an exception of this type

Method Summary

String
getId()
The identifier of the invariant which was unknown.

Constructor Details

UnknownInvariantException

public UnknownInvariantException(String message,
                                 String id)
Construct an exception of this type
Parameters:
message - Error message
id - Invariant for which this exception was thrown

UnknownInvariantException

public UnknownInvariantException(String message,
                                 String id,
                                 Throwable cause)
Construct an exception of this type
Parameters:
message - Error message
id - Invariant for which this exception was thrown
cause - Underlying cause

Method Details

getId

public String getId()
The identifier of the invariant which was unknown.

Overview Package Tree Index Deprecated About