mapss.dif.language.sablecc.node
Class ARefinementBody

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

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class ARefinementBody
extends PRefinementBody

Constructor Summary

ARefinementBody()

ARefinementBody(TLBkt _lBkt_, PRefinementDefinition _refinementDefinition_, java.util.List _refinementExpression_, TRBkt _rBkt_)

ARefinementBody(TLBkt _lBkt_, PRefinementDefinition _refinementDefinition_, XPRefinementExpression _refinementExpression_, TRBkt _rBkt_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
TLBkt	getLBkt()
TRBkt	getRBkt()
PRefinementDefinition	getRefinementDefinition()
java.util.LinkedList	getRefinementExpression()
void	setLBkt(TLBkt node)
void	setRBkt(TRBkt node)
void	setRefinementDefinition(PRefinementDefinition node)
void	setRefinementExpression(java.util.List list)
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

ARefinementBody

public ARefinementBody()

ARefinementBody

public ARefinementBody(TLBkt _lBkt_,
                       PRefinementDefinition _refinementDefinition_,
                       java.util.List _refinementExpression_,
                       TRBkt _rBkt_)

ARefinementBody

public ARefinementBody(TLBkt _lBkt_,
                       PRefinementDefinition _refinementDefinition_,
                       XPRefinementExpression _refinementExpression_,
                       TRBkt _rBkt_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getLBkt

public TLBkt getLBkt()

setLBkt

public void setLBkt(TLBkt node)

getRefinementDefinition

public PRefinementDefinition getRefinementDefinition()

setRefinementDefinition

public void setRefinementDefinition(PRefinementDefinition node)

getRefinementExpression

public java.util.LinkedList getRefinementExpression()

setRefinementExpression

public void setRefinementExpression(java.util.List list)

getRBkt

public TRBkt getRBkt()

setRBkt

public void setRBkt(TRBkt node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object