de.stups.probkodkod.parser.node

Class ATuple

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PTuple

de.stups.probkodkod.parser.node.ATuple

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class ATuple
extends PTuple

Constructor Summary

Constructors

Constructor and Description
ATuple()
ATuple(TAnglel _anglel_, java.util.List<TNumber> _numbers_, TAngler _angler_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
TAnglel	getAnglel()
TAngler	getAngler()
java.util.LinkedList<TNumber>	getNumbers()
void	setAnglel(TAnglel node)
void	setAngler(TAngler node)
void	setNumbers(java.util.List<TNumber> list)
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

ATuple

public ATuple()

ATuple

public ATuple(TAnglel _anglel_,
      java.util.List<TNumber> _numbers_,
      TAngler _angler_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getAnglel

public TAnglel getAnglel()

setAnglel

public void setAnglel(TAnglel node)

getNumbers

public java.util.LinkedList<TNumber> getNumbers()

setNumbers

public void setNumbers(java.util.List<TNumber> list)

getAngler

public TAngler getAngler()

setAngler

public void setAngler(TAngler node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object