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 UnknownInvariantTypeException

public class UnknownInvariantTypeException
extends Exception
Indicates that een unknown invariant type was encountered.

Constructor Summary

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

Method Summary

String
getType()
The identifier of the type which was unknown.

Constructor Details

UnknownInvariantTypeException

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

UnknownInvariantTypeException

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

Method Details

getType

public String getType()
The identifier of the type which was unknown.

Overview Package Tree Index Deprecated About