de.stups.probkodkod.parser.node

Class AConsDecls

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PDecls

de.stups.probkodkod.parser.node.AConsDecls

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class AConsDecls
extends PDecls

Constructor Summary

Constructors

Constructor and Description
AConsDecls()
AConsDecls(TParenl _parenl_, TIdentifier _id_, TNumber _arity_, PMultiplicity _multiplicity_, PExpression _expression_, TParenr _parenr_, PDecls _decls_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
TNumber	getArity()
PDecls	getDecls()
PExpression	getExpression()
TIdentifier	getId()
PMultiplicity	getMultiplicity()
TParenl	getParenl()
TParenr	getParenr()
void	setArity(TNumber node)
void	setDecls(PDecls node)
void	setExpression(PExpression node)
void	setId(TIdentifier node)
void	setMultiplicity(PMultiplicity node)
void	setParenl(TParenl node)
void	setParenr(TParenr node)
java.lang.String	toString()

Methods inherited from class de.stups.probkodkod.parser.node.Node

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class de.hhu.stups.sablecc.patch.PositionedNode

getEndPos, getStartPos, setEndPos, setStartPos

Methods inherited from class java.lang.Object

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

Constructor Detail

AConsDecls

public AConsDecls()

AConsDecls

public AConsDecls(TParenl _parenl_,
          TIdentifier _id_,
          TNumber _arity_,
          PMultiplicity _multiplicity_,
          PExpression _expression_,
          TParenr _parenr_,
          PDecls _decls_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getParenl

public TParenl getParenl()

setParenl

public void setParenl(TParenl node)

getId

public TIdentifier getId()

setId

public void setId(TIdentifier node)

getArity

public TNumber getArity()

setArity

public void setArity(TNumber node)

getMultiplicity

public PMultiplicity getMultiplicity()

setMultiplicity

public void setMultiplicity(PMultiplicity node)

getExpression

public PExpression getExpression()

setExpression

public void setExpression(PExpression node)

getParenr

public TParenr getParenr()

setParenr

public void setParenr(TParenr node)

getDecls

public PDecls getDecls()

setDecls

public void setDecls(PDecls node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object