mapss.dif.language.sablecc.node
Class ARefinementBlock

java.lang.Object
  mapss.dif.language.sablecc.node.Node
      mapss.dif.language.sablecc.node.PBlock
          mapss.dif.language.sablecc.node.ARefinementBlock

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class ARefinementBlock
extends PBlock

Constructor Summary

ARefinementBlock()

ARefinementBlock(TRefinement _refinement_, PRefinementBody _refinementBody_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
TRefinement	getRefinement()
PRefinementBody	getRefinementBody()
void	setRefinement(TRefinement node)
void	setRefinementBody(PRefinementBody node)
java.lang.String	toString()

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

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ARefinementBlock

public ARefinementBlock()

ARefinementBlock

public ARefinementBlock(TRefinement _refinement_,
                        PRefinementBody _refinementBody_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getRefinement

public TRefinement getRefinement()

setRefinement

public void setRefinement(TRefinement node)

getRefinementBody

public PRefinementBody getRefinementBody()

setRefinementBody

public void setRefinementBody(PRefinementBody node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object