|
||||||||||
| 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.Nonterm
Nonterminal Symbol
| Field Summary | |
(package private) java.lang.String |
defaultRegset
Default register set for this nonterminal. |
(package private) boolean |
defined
defined? |
(package private) java.lang.String |
name
|
(package private) boolean |
used
used? |
(package private) int |
value
|
| Constructor Summary | |
(package private) |
Tmd2Java.Nonterm(java.lang.String name,
int value)
|
| Method Summary | |
(package private) java.lang.String |
getNth(java.lang.String parent,
int n)
Return the java code fragments which represents $n. |
(package private) Tmd2Java.Nonterm |
lhs()
Return nonterminal symbol which represents this pattern. |
(package private) Tmd2Java.Nonterm[] |
realSubgoals()
Return subgoals in this pattern. |
(package private) Tmd2Java.OpPattern |
rhs()
|
(package private) void |
setDefaultRegset(java.lang.String regset)
|
(package private) void |
setDefined()
|
(package private) void |
setRhs(Tmd2Java.OpPattern rhs)
|
(package private) void |
setUsed()
Mark this pattern as 'used'. |
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
final java.lang.String name
final int value
boolean defined
boolean used
java.lang.String defaultRegset
| Constructor Detail |
Tmd2Java.Nonterm(java.lang.String name,
int value)
| Method Detail |
void setDefaultRegset(java.lang.String regset)
void setRhs(Tmd2Java.OpPattern rhs)
void setDefined()
void setUsed()
Tmd2Java.Pattern
setUsed in class Tmd2Java.PatternTmd2Java.Nonterm[] realSubgoals()
Tmd2Java.Pattern
realSubgoals in class Tmd2Java.PatternTmd2Java.Nonterm lhs()
Tmd2Java.Pattern
lhs in class Tmd2Java.PatternTmd2Java.OpPattern rhs()
java.lang.String getNth(java.lang.String parent,
int n)
throws SyntaxError
Tmd2Java.Pattern
getNth in class Tmd2Java.PatternSyntaxErrorpublic java.lang.String toString()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||