|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectch.uzh.ifi.attempto.chartparser.Restriction
public class Restriction
This class describes a restriction for the next token of a given token sequence. It contains of a category and of a number of exceptions which are again categories. In order to fulfill the restriction, the category of a token must be subsumed by the category of the restriction while not being subsumed by any of the exceptions. The exceptions come from negative backwards references in the grammar.
Method Summary | |
---|---|
Terminal |
getCategory()
Returns the category of this restriction. |
java.util.List<Terminal> |
getExceptions()
Returns the list of exceptions of this restriction. |
boolean |
isFulfilledBy(Terminal t)
Returns true if the given category fulfills this restriction. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public Terminal getCategory()
public java.util.List<Terminal> getExceptions()
public boolean isFulfilledBy(Terminal t)
t
- The category to be tested.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |