org.stekikun.dolmen.unparam

Class Expansion.PGrammarNotExpandable

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.stekikun.dolmen.unparam.Expansion.PGrammarNotExpandable

All Implemented Interfaces:

Serializable

Enclosing class:

Expansion

public static final class Expansion.PGrammarNotExpandable
extends Exception

Exception thrown when Expansion.checkExpandability(PGrammar) finds a potentially dangerous cycle preventing the expansion of a grammar.

Author:

Stéphane Lescuyer

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
Located<String>	formal The formal parameter of rule which may lead to ever-growing instantiations
Located<String>	rule The rule whose expansion may not terminate

Method Summary

Modifier and Type	Method and Description
IReport	getReport()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Detail

rule

public final Located<String> rule

The rule whose expansion may not terminate

formal

public final Located<String> formal

The formal parameter of rule which may lead to ever-growing instantiations

Method Detail

getReport

public IReport getReport()

Returns:

a report explaining why the checked grammar could not be expanded