coins.backend.tools
Class Tmd2Java.Nonterm

java.lang.Object
  extended bycoins.backend.tools.Tmd2Java.Pattern
      extended bycoins.backend.tools.Tmd2Java.Nonterm
Enclosing class:
Tmd2Java

static class Tmd2Java.Nonterm
extends Tmd2Java.Pattern

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

name

final java.lang.String name

value

final int value

defined

boolean defined
defined?


used

boolean used
used?


defaultRegset

java.lang.String defaultRegset
Default register set for this nonterminal.

Constructor Detail

Tmd2Java.Nonterm

Tmd2Java.Nonterm(java.lang.String name,
                 int value)
Method Detail

setDefaultRegset

void setDefaultRegset(java.lang.String regset)

setRhs

void setRhs(Tmd2Java.OpPattern rhs)

setDefined

void setDefined()

setUsed

void setUsed()
Description copied from class: Tmd2Java.Pattern
Mark this pattern as 'used'.

Specified by:
setUsed in class Tmd2Java.Pattern

realSubgoals

Tmd2Java.Nonterm[] realSubgoals()
Description copied from class: Tmd2Java.Pattern
Return subgoals in this pattern.

Specified by:
realSubgoals in class Tmd2Java.Pattern

lhs

Tmd2Java.Nonterm lhs()
Description copied from class: Tmd2Java.Pattern
Return nonterminal symbol which represents this pattern.

Specified by:
lhs in class Tmd2Java.Pattern

rhs

Tmd2Java.OpPattern rhs()

getNth

java.lang.String getNth(java.lang.String parent,
                        int n)
                  throws SyntaxError
Description copied from class: Tmd2Java.Pattern
Return the java code fragments which represents $n.

Specified by:
getNth in class Tmd2Java.Pattern
Throws:
SyntaxError

toString

public java.lang.String toString()