Package jline.solvers.fluid.analyzers

Class DdppAnalyzer.Refusal

java.lang.Object

jline.solvers.fluid.analyzers.DdppAnalyzer.Refusal

Enclosing class:

DdppAnalyzer

public static final class DdppAnalyzer.Refusal
extends Object

A refusal: the identifier and the message, or null when admitted.

Field Summary

Fields

Modifier and Type	Field	Description
final ErrorId	errorId
final String	reason

Method Summary

Modifier and Type	Method	Description
RuntimeException	toException()	Throws the refusal as the exception class its category names.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

errorId

public final ErrorId errorId

reason

public final String reason

Method Details

toException

public RuntimeException toException()

Throws the refusal as the exception class its category names.