mapss.dif.language.sablecc.node
Class PRefinementDefinition

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

All Implemented Interfaces:

java.lang.Cloneable, Switchable

Direct Known Subclasses:

ARefinementDefinition

public abstract class PRefinementDefinition
extends Node

Constructor Summary

PRefinementDefinition()

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

PRefinementDefinition

public PRefinementDefinition()