org.grinvin.generators.graphs
Class UnknownGraphGeneratorInstanceException
Exception
org.grinvin.generators.graphs.UnknownGraphGeneratorInstanceException
public class UnknownGraphGeneratorInstanceException
extends Exception
String | getId() - The identifier of the invariant which was unknown.
|
UnknownGraphGeneratorInstanceException
public UnknownGraphGeneratorInstanceException(String message,
String id)
Construct an exception of this type
message
- Error messageid
- Graph generator instance for which this exception was thrown
UnknownGraphGeneratorInstanceException
public UnknownGraphGeneratorInstanceException(String message,
String id,
Throwable cause)
Construct an exception of this type
message
- Error messageid
- Graph generator instance for which this exception was throwncause
- Underlying cause
getId
public String getId()
The identifier of the invariant which was unknown.