coins.opt
クラス GlobalReform.MatchingData

java.lang.Object
  |
  +--coins.opt.GlobalReform.MatchingData
含まれているクラス:
GlobalReform

protected class GlobalReform.MatchingData
extends java.lang.Object

The class MatchingData represents various matching insormation and provides methods to set/refer them.


フィールドの概要
 HIR expandedHir
           
 boolean madeComplete
           
 HIR matchedInput
           
 HIR matchedProduction
           
 java.util.Map nontermParamCorresp
           
 GlobalReform.NontermPatInstance nontermPat
           
 java.util.Map paramCorresp
           
 GlobalReform.MatchingData parentData
           
 boolean succeeded
           
 
コンストラクタの概要
GlobalReform.MatchingData(GlobalReform.NontermPatInstance pNontermPat, GlobalReform.MatchingData pParentData)
          Make an instance of MatchingData for the nonterminal or pattern pnontermPat inheriting information of the parent matchingData pParentData.
 
メソッドの概要
 GlobalReform.MatchingData getMatchingData(GlobalReform.NontermPatInstance pNontermInstance, HIR pCallExp)
          Get the instance of MatchingData that corresponds to the nonterminal call pCallExp (by refering fMatchingDataForNontermInstance).
 void recordMatchingData(GlobalReform.NontermPatInstance pNontermInstance, HIR pCallExp, GlobalReform.MatchingData pData)
          Record the matched input and the matching data (pData) corresponding to the call exp (pCallExp) of pNontermInstance.
 GlobalReform.MatchingData reflect(GlobalReform.MatchingData pData)
          For this MatchingData, set following information of pData: paramCorresp, nontermParamCorresp, matchedProduction, matchedInput, expandedHir, succeeded.
 GlobalReform.MatchingData reflectCorresp(GlobalReform.MatchingData pData)
          Reflect paramCorresp and nontermParamCorresp of pData
 GlobalReform.MatchingData reflectParamCorresp(GlobalReform.MatchingData pData)
          Reflect paramCorresp of pData (do not reflect nontermParamCorresp).
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

nontermPat

public GlobalReform.NontermPatInstance nontermPat

paramCorresp

public java.util.Map paramCorresp

nontermParamCorresp

public java.util.Map nontermParamCorresp

matchedProduction

public HIR matchedProduction

matchedInput

public HIR matchedInput

expandedHir

public HIR expandedHir

succeeded

public boolean succeeded

parentData

public GlobalReform.MatchingData parentData

madeComplete

public boolean madeComplete
コンストラクタの詳細

GlobalReform.MatchingData

public GlobalReform.MatchingData(GlobalReform.NontermPatInstance pNontermPat,
                                 GlobalReform.MatchingData pParentData)
Make an instance of MatchingData for the nonterminal or pattern pnontermPat inheriting information of the parent matchingData pParentData. Inherited information: paramCorresp, nontermParamCorresp, matchedInput, succeeded, and if parent represent the same nonterminal or pattern, then matchedProduction and expandedHir.

パラメータ:
pNontermPat - Instance of a nonterminal or pattern.
pParentData - Parent matching data to inherit.
メソッドの詳細

reflect

public GlobalReform.MatchingData reflect(GlobalReform.MatchingData pData)
For this MatchingData, set following information of pData: paramCorresp, nontermParamCorresp, matchedProduction, matchedInput, expandedHir, succeeded.

パラメータ:
pData - Matching data from which information is to be copied.
戻り値:
Nwe instance of the matching data.

reflectCorresp

public GlobalReform.MatchingData reflectCorresp(GlobalReform.MatchingData pData)
Reflect paramCorresp and nontermParamCorresp of pData

パラメータ:
pData - matching data to inherit.
戻り値:
this matching data updated.

reflectParamCorresp

public GlobalReform.MatchingData reflectParamCorresp(GlobalReform.MatchingData pData)
Reflect paramCorresp of pData (do not reflect nontermParamCorresp).

パラメータ:
pData - matching data to inherit.
戻り値:
this matching data updated.

recordMatchingData

public void recordMatchingData(GlobalReform.NontermPatInstance pNontermInstance,
                               HIR pCallExp,
                               GlobalReform.MatchingData pData)
Record the matched input and the matching data (pData) corresponding to the call exp (pCallExp) of pNontermInstance. Use pCallExp itself as the key for fMatchingDataForNontermInstance. Use makeHirKey(pCallExp)as the key for fMatchingDataForNonterm. This also records pData as the last matching data for the nonterminal.

パラメータ:
pNontermInstance - nonterminal instance corresponding to pCallExp.
pCallExp - expression calling pNonterminal.
pData - matching data corresponding to the call exp.

getMatchingData

public GlobalReform.MatchingData getMatchingData(GlobalReform.NontermPatInstance pNontermInstance,
                                                 HIR pCallExp)
Get the instance of MatchingData that corresponds to the nonterminal call pCallExp (by refering fMatchingDataForNontermInstance).

パラメータ:
pNontermInstance -
pCallExp -
戻り値:
the instance of matching data.