coins.backend.tools
Class Tmd2Java.Pattern

java.lang.Object
  coins.backend.tools.Tmd2Java.Pattern

Direct Known Subclasses:

Tmd2Java.Nonterm, Tmd2Java.OpPattern

Enclosing class:

Tmd2Java

abstract static class Tmd2Java.Pattern

extends java.lang.Object

Grammar's right side hand pattern.

Constructor Summary

(package private)

Tmd2Java.Pattern()

Method Summary

(package private) abstract java.lang.String	getNth(java.lang.String parent, int n) Return the java code fragments which represents $n.
(package private) abstract Tmd2Java.Nonterm	lhs() Return nonterminal symbol which represents this pattern.
(package private) abstract Tmd2Java.Nonterm[]	realSubgoals() Return subgoals in this pattern.
(package private) abstract void	setUsed() Mark this pattern as 'used'.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Tmd2Java.Pattern

Tmd2Java.Pattern()

Method Detail

lhs

abstract Tmd2Java.Nonterm lhs()

Return nonterminal symbol which represents this pattern.

setUsed

abstract void setUsed()

Mark this pattern as 'used'.

realSubgoals

abstract Tmd2Java.Nonterm[] realSubgoals()

Return subgoals in this pattern.

getNth

abstract java.lang.String getNth(java.lang.String parent,
                                 int n)
                          throws SyntaxError

Return the java code fragments which represents $n.

Throws:

SyntaxError