|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object se.chalmers.cs.gf.parse.chart.Edge
public abstract class Edge
Base class for edges in a parse chart.
Constructor Summary | |
---|---|
Edge()
|
Method Summary | |
---|---|
Category |
getCategory()
Get the LHS category of the rule that this edge is for. |
abstract Rule |
getRule()
Get the rule that this edge is for. |
abstract boolean |
isActive()
Checks if this edge is active, that is, if it is still missing some symbol. |
abstract boolean |
needs(Category c)
Checks if the next symbol needed is the given category. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Edge()
Method Detail |
---|
public Category getCategory()
public abstract Rule getRule()
public abstract boolean needs(Category c)
public abstract boolean isActive()
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |