coins.opt
Class GlobalReform.NontermPatInstance

java.lang.Object
  coins.opt.GlobalReform.NontermPatInstance

Enclosing class:

GlobalReform

protected class GlobalReform.NontermPatInstance

extends java.lang.Object

This class holds information for the instance of a nonterminal or a pattern and provides methods for them.

Field Summary

java.util.Map	callToNontermInstanceMap
int	instanceNumber
HIR	nontermCallExp
Subp	nontermPat
java.util.Map	oldToNewParamMap
GlobalReform.NontermPatInstance	parent

Constructor Summary

GlobalReform.NontermPatInstance(Subp pNonterminal, int pInstanceNumber, HIR pCallExp, GlobalReform.NontermPatInstance pParent)
Generate an instance of the nonterminal pNonterminal.

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

nontermPat

public Subp nontermPat

instanceNumber

public int instanceNumber

oldToNewParamMap

public java.util.Map oldToNewParamMap

nontermCallExp

public HIR nontermCallExp

parent

public GlobalReform.NontermPatInstance parent

callToNontermInstanceMap

public java.util.Map callToNontermInstanceMap

Constructor Detail

GlobalReform.NontermPatInstance

public GlobalReform.NontermPatInstance(Subp pNonterminal,
                                       int pInstanceNumber,
                                       HIR pCallExp,
                                       GlobalReform.NontermPatInstance pParent)

Generate an instance of the nonterminal pNonterminal.

Parameters:

pNonterminal - Nonterminal symbol.

pInstanceNumber - Instance number.

pCallExp - Expression calling pNonterminal or null.

pParent - Instance of the parent nonterminal that invokes pNonterminal (null if none).

Method Detail

toString

public java.lang.String toString()