Package de.saar.chorus.domgraph.chart.rtgparser

Class StringNonterminal

java.lang.Object

de.saar.chorus.domgraph.chart.rtgparser.StringNonterminal

public class StringNonterminal
extends Object

Constructor Summary

Constructors

Constructor	Description
StringNonterminal(String string)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

StringNonterminal

public StringNonterminal(String string)

Method Details

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object