mapss.dif.language.sablecc.node
Class ADoubleNumber

java.lang.Object
  mapss.dif.language.sablecc.node.Node
      mapss.dif.language.sablecc.node.PNumber
          mapss.dif.language.sablecc.node.ADoubleNumber

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class ADoubleNumber
extends PNumber

Constructor Summary

ADoubleNumber()

ADoubleNumber(TDouble _double_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
TDouble	getDouble()
void	setDouble(TDouble 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

ADoubleNumber

public ADoubleNumber()

ADoubleNumber

public ADoubleNumber(TDouble _double_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getDouble

public TDouble getDouble()

setDouble

public void setDouble(TDouble node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object