de.stups.probkodkod.parser.node

Class AIfInnerexpression

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.AIfInnerexpression

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class AIfInnerexpression
extends PInnerexpression

Constructor Summary

Constructors

Constructor and Description
AIfInnerexpression()
AIfInnerexpression(TKeywordIf _keywordIf_, PFormula _condition_, PExpression _then_, PExpression _else_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
PFormula	getCondition()
PExpression	getElse()
TKeywordIf	getKeywordIf()
PExpression	getThen()
void	setCondition(PFormula node)
void	setElse(PExpression node)
void	setKeywordIf(TKeywordIf node)
void	setThen(PExpression 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

AIfInnerexpression

public AIfInnerexpression()

AIfInnerexpression

public AIfInnerexpression(TKeywordIf _keywordIf_,
                  PFormula _condition_,
                  PExpression _then_,
                  PExpression _else_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getKeywordIf

public TKeywordIf getKeywordIf()

setKeywordIf

public void setKeywordIf(TKeywordIf node)

getCondition

public PFormula getCondition()

setCondition

public void setCondition(PFormula node)

getThen

public PExpression getThen()

setThen

public void setThen(PExpression node)

getElse

public PExpression getElse()

setElse

public void setElse(PExpression node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object