mapss.dif.language.sablecc.node
Class ARefinementDefinition

java.lang.Object
  extended by mapss.dif.language.sablecc.node.Node
      extended by mapss.dif.language.sablecc.node.PRefinementDefinition
          extended by mapss.dif.language.sablecc.node.ARefinementDefinition
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ARefinementDefinition
extends PRefinementDefinition


Constructor Summary
ARefinementDefinition()
           
ARefinementDefinition(PName _graph_, TEqual _equal_, PName _node_, TSemicolon _semicolon_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TEqual getEqual()
           
 PName getGraph()
           
 PName getNode()
           
 TSemicolon getSemicolon()
           
 void setEqual(TEqual node)
           
 void setGraph(PName node)
           
 void setNode(PName node)
           
 void setSemicolon(TSemicolon 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

ARefinementDefinition

public ARefinementDefinition()

ARefinementDefinition

public ARefinementDefinition(PName _graph_,
                             TEqual _equal_,
                             PName _node_,
                             TSemicolon _semicolon_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getGraph

public PName getGraph()

setGraph

public void setGraph(PName node)

getEqual

public TEqual getEqual()

setEqual

public void setEqual(TEqual node)

getNode

public PName getNode()

setNode

public void setNode(PName node)

getSemicolon

public TSemicolon getSemicolon()

setSemicolon

public void setSemicolon(TSemicolon node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object