|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcoins.backend.tools.Tmd2Java.Pattern
coins.backend.tools.Tmd2Java.OpPattern
Production's right hand side pattern.
| Field Summary | |
(package private) Tmd2Java.Nonterm[] |
kids
|
(package private) int |
op
|
(package private) int |
type
|
(package private) java.lang.Object |
value
|
| Constructor Summary | |
(package private) |
Tmd2Java.OpPattern(int op,
int type,
java.lang.Object value)
|
(package private) |
Tmd2Java.OpPattern(int op,
int type,
Tmd2Java.Nonterm[] kids)
|
| Method Summary | |
boolean |
equals(java.lang.Object obj)
|
(package private) java.lang.String |
getNth(java.lang.String parent,
int n)
Return the java code fragments which represents $n. |
int |
hashCode()
|
(package private) Tmd2Java.Nonterm |
lhs()
Return left hand side of this pattern (for derived rule) |
(package private) Tmd2Java.Nonterm[] |
realSubgoals()
Return vector of right side nonterminals (including ones in derived rule). |
(package private) void |
setLhs(Tmd2Java.Nonterm lhs)
Set this pattern's lhs (for derived rule) |
(package private) void |
setUsed()
Mark this pattern as 'used'. |
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Field Detail |
final int op
final int type
final Tmd2Java.Nonterm[] kids
final java.lang.Object value
| Constructor Detail |
Tmd2Java.OpPattern(int op,
int type,
Tmd2Java.Nonterm[] kids)
Tmd2Java.OpPattern(int op,
int type,
java.lang.Object value)
| Method Detail |
public int hashCode()
public boolean equals(java.lang.Object obj)
void setUsed()
Tmd2Java.Pattern
setUsed in class Tmd2Java.Patternpublic java.lang.String toString()
Tmd2Java.Nonterm lhs()
lhs in class Tmd2Java.Patternvoid setLhs(Tmd2Java.Nonterm lhs)
Tmd2Java.Nonterm[] realSubgoals()
realSubgoals in class Tmd2Java.Pattern
java.lang.String getNth(java.lang.String parent,
int n)
throws SyntaxError
getNth in class Tmd2Java.PatternSyntaxError
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||