de.stups.probkodkod.parser.node

Class AIntsType

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PType

de.stups.probkodkod.parser.node.AIntsType

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class AIntsType
extends PType

Constructor Summary

Constructors

Constructor and Description
AIntsType()
AIntsType(TParenl _ol_, TKeywordInts _keywordInts_, PPowpart _pow2_, PBitpart _intatoms_, TParenr _rl_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
PBitpart	getIntatoms()
TKeywordInts	getKeywordInts()
TParenl	getOl()
PPowpart	getPow2()
TParenr	getRl()
void	setIntatoms(PBitpart node)
void	setKeywordInts(TKeywordInts node)
void	setOl(TParenl node)
void	setPow2(PPowpart node)
void	setRl(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

AIntsType

public AIntsType()

AIntsType

public AIntsType(TParenl _ol_,
         TKeywordInts _keywordInts_,
         PPowpart _pow2_,
         PBitpart _intatoms_,
         TParenr _rl_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getOl

public TParenl getOl()

setOl

public void setOl(TParenl node)

getKeywordInts

public TKeywordInts getKeywordInts()

setKeywordInts

public void setKeywordInts(TKeywordInts node)

getPow2

public PPowpart getPow2()

setPow2

public void setPow2(PPowpart node)

getIntatoms

public PBitpart getIntatoms()

setIntatoms

public void setIntatoms(PBitpart node)

getRl

public TParenr getRl()

setRl

public void setRl(TParenr node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object