mapss.dif.language.sablecc.node
Class PRefinementBody

java.lang.Object
  mapss.dif.language.sablecc.node.Node
      mapss.dif.language.sablecc.node.PRefinementBody

All Implemented Interfaces:

java.lang.Cloneable, Switchable

Direct Known Subclasses:

ARefinementBody

public abstract class PRefinementBody
extends Node

Constructor Summary

PRefinementBody()

Method Summary

Methods inherited from class mapss.dif.language.sablecc.node.Node

clone, cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface mapss.dif.language.sablecc.node.Switchable

apply

Constructor Detail

PRefinementBody

public PRefinementBody()