lmf.formula.csp.node
Class ACspFunctionDefinition

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

public final class ACspFunctionDefinition
extends PDefinition

ACspFunctionDefinition.

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

Constructor Summary
ACspFunctionDefinition()
           
ACspFunctionDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 CspType getCspType()
           
 TDefs getDefs()
           
 PExpression getExpression()
           
 TName getName()
           
 PParameters getParameters()
           
 void setCspType(CspType cspType)
           
 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

ACspFunctionDefinition

public ACspFunctionDefinition()

ACspFunctionDefinition

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

getCspType

public CspType getCspType()

setCspType

public void setCspType(CspType cspType)

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