org.grinvin.generators.graphs

Class UnknownGraphGeneratorInstanceException


public class UnknownGraphGeneratorInstanceException
extends Exception

Constructor Summary

UnknownGraphGeneratorInstanceException(String message, String id)
Construct an exception of this type
UnknownGraphGeneratorInstanceException(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

UnknownGraphGeneratorInstanceException

public UnknownGraphGeneratorInstanceException(String message,
                                              String id)
Construct an exception of this type
Parameters:
message - Error message
id - Graph generator instance for which this exception was thrown

UnknownGraphGeneratorInstanceException

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

Method Details

getId

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