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.