se.chalmers.cs.gf.parse.chart
Class EmptyEdge

java.lang.Object
  se.chalmers.cs.gf.parse.chart.Edge
      se.chalmers.cs.gf.parse.chart.EmptyEdge

public class EmptyEdge
extends Edge

An edge produced by an empty rule.

Constructor Summary

EmptyEdge(NonTerminalRule rule)

Method Summary

boolean	equals(EmptyEdge e)
boolean	equals(java.lang.Object o)
NonTerminalRule	getRule() Get the rule that this edge is for.
int	hashCode()
boolean	isActive() Checks if this edge is active, that is, if it is still missing some symbol.
boolean	needs(Category c) Checks if the next symbol needed is the given category.

Methods inherited from class se.chalmers.cs.gf.parse.chart.Edge

getCategory, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

EmptyEdge

public EmptyEdge(NonTerminalRule rule)

Method Detail

getRule

public NonTerminalRule getRule()

Get the rule that this edge is for.

Specified by:

getRule in class Edge

needs

public boolean needs(Category c)

Checks if the next symbol needed is the given category.

Specified by:

needs in class Edge

isActive

public boolean isActive()

Checks if this edge is active, that is, if it is still missing some symbol.

Specified by:

isActive in class Edge

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equals

public boolean equals(EmptyEdge e)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object