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.