lmf.formula.csp.node
Class ACspProcessDefinition

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PDefinition
          extended by lmf.formula.csp.node.ACspProcessDefinition
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspProcessDefinition
extends PDefinition

ACspProcessDefinition.

Author:
Joabe Jesus (jbjj@cin.ufpe.br)

Constructor Summary
ACspProcessDefinition()
           
ACspProcessDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TDefs getDefs()
           
 PExpression getExpression()
           
 TName getName()
           
 PParameters getParameters()
           
 void setDefs(TDefs node)
           
 void setExpression(PExpression node)
           
 void setName(TName node)
           
 void setParameters(PParameters node)
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ACspProcessDefinition

public ACspProcessDefinition()

ACspProcessDefinition

public ACspProcessDefinition(TName _name_,
                             PParameters _parameters_,
                             TDefs _defs_,
                             PExpression _expression_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getName

public TName getName()

setName

public void setName(TName node)

getParameters

public PParameters getParameters()

setParameters

public void setParameters(PParameters node)

getDefs

public TDefs getDefs()

setDefs

public void setDefs(TDefs node)

getExpression

public PExpression getExpression()

setExpression

public void setExpression(PExpression node)

toString

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