de.stups.probkodkod.parser.node

Class ALoneMultiplicity

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PMultiplicity

de.stups.probkodkod.parser.node.ALoneMultiplicity

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class ALoneMultiplicity
extends PMultiplicity

Constructor Summary

Constructors

Constructor and Description
ALoneMultiplicity()
ALoneMultiplicity(TKeywordLone _keywordLone_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
TKeywordLone	getKeywordLone()
void	setKeywordLone(TKeywordLone 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

ALoneMultiplicity

public ALoneMultiplicity()

ALoneMultiplicity

public ALoneMultiplicity(TKeywordLone _keywordLone_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getKeywordLone

public TKeywordLone getKeywordLone()

setKeywordLone

public void setKeywordLone(TKeywordLone node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object