de.stups.probkodkod.parser.node

Class ACompInnerexpression

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PInnerexpression

de.stups.probkodkod.parser.node.ACompInnerexpression

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class ACompInnerexpression
extends PInnerexpression

Constructor Summary

Constructors

Constructor and Description
ACompInnerexpression()
ACompInnerexpression(TKeywordComprehension _keywordComprehension_, TParenl _parenl_, PDecls _decls_, TParenr _parenr_, PFormula _formula_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
PDecls	getDecls()
PFormula	getFormula()
TKeywordComprehension	getKeywordComprehension()
TParenl	getParenl()
TParenr	getParenr()
void	setDecls(PDecls node)
void	setFormula(PFormula node)
void	setKeywordComprehension(TKeywordComprehension 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

ACompInnerexpression

public ACompInnerexpression()

ACompInnerexpression

public ACompInnerexpression(TKeywordComprehension _keywordComprehension_,
                    TParenl _parenl_,
                    PDecls _decls_,
                    TParenr _parenr_,
                    PFormula _formula_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getKeywordComprehension

public TKeywordComprehension getKeywordComprehension()

setKeywordComprehension

public void setKeywordComprehension(TKeywordComprehension node)

getParenl

public TParenl getParenl()

setParenl

public void setParenl(TParenl node)

getDecls

public PDecls getDecls()

setDecls

public void setDecls(PDecls node)

getParenr

public TParenr getParenr()

setParenr

public void setParenr(TParenr node)

getFormula

public PFormula getFormula()

setFormula

public void setFormula(PFormula node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object