mapss.dif.language.sablecc.node
Class ADiscreteRange

java.lang.Object
  mapss.dif.language.sablecc.node.Node
      mapss.dif.language.sablecc.node.PRange
          mapss.dif.language.sablecc.node.ADiscreteRange

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class ADiscreteRange
extends PRange

Constructor Summary

ADiscreteRange()

ADiscreteRange(TLBkt _lBkt_, PNumber _number_, java.util.List _discreteRangeNumberTail_, TRBkt _rBkt_)

ADiscreteRange(TLBkt _lBkt_, PNumber _number_, XPDiscreteRangeNumberTail _discreteRangeNumberTail_, TRBkt _rBkt_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
java.util.LinkedList	getDiscreteRangeNumberTail()
TLBkt	getLBkt()
PNumber	getNumber()
TRBkt	getRBkt()
void	setDiscreteRangeNumberTail(java.util.List list)
void	setLBkt(TLBkt node)
void	setNumber(PNumber node)
void	setRBkt(TRBkt node)
java.lang.String	toString()

Methods inherited from class mapss.dif.language.sablecc.node.Node

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ADiscreteRange

public ADiscreteRange()

ADiscreteRange

public ADiscreteRange(TLBkt _lBkt_,
                      PNumber _number_,
                      java.util.List _discreteRangeNumberTail_,
                      TRBkt _rBkt_)

ADiscreteRange

public ADiscreteRange(TLBkt _lBkt_,
                      PNumber _number_,
                      XPDiscreteRangeNumberTail _discreteRangeNumberTail_,
                      TRBkt _rBkt_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getLBkt

public TLBkt getLBkt()

setLBkt

public void setLBkt(TLBkt node)

getNumber

public PNumber getNumber()

setNumber

public void setNumber(PNumber node)

getDiscreteRangeNumberTail

public java.util.LinkedList getDiscreteRangeNumberTail()

setDiscreteRangeNumberTail

public void setDiscreteRangeNumberTail(java.util.List list)

getRBkt

public TRBkt getRBkt()

setRBkt

public void setRBkt(TRBkt node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object