public class RealConstantNode extends Constant
Constant.Operations
Modifier and Type | Field and Description |
---|---|
(package private) Double |
_lx_value |
static Integer |
ID |
static int |
lx_value_ID |
_sm_simplified_term, sm_simplified_term_ID
_nodes, _observers, _operations, _thisoperations
Constructor and Description |
---|
RealConstantNode() |
RealConstantNode(Double lx_value) |
Modifier and Type | Method and Description |
---|---|
void |
accept(Visitor visitor)
This method is part of the implementation of the visitor design pattern.
|
void |
copyValueOf(Node n,
HashMap clones) |
Object |
getAttribute(int attrname) |
int |
getClassID()
This method return the dynamic class ID of the node.
|
Node |
getClone(HashMap clones) |
Node.Operations |
getOperations()
This method returns the object implementing the operations associated to this node.
|
boolean |
hasAttribute(int attrname) |
Double |
lx_value() |
void |
lx_value(Double o) |
void |
setAttribute(int attrname,
Object attrvalue) |
byteValue, intValue, realValue, stringValue
getSimplifiedTerm, instantiate, match, simplify, sm_simplified_term, sm_simplified_term
addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, hasAttribute, initNode, installOperations, notifyChanges, removeObserver, replace, setAttribute, toString
public static Integer ID
Double _lx_value
public static int lx_value_ID
public RealConstantNode(Double lx_value)
public RealConstantNode()
public final int getClassID()
Node
getClassID
in class Constant
public void accept(Visitor visitor)
Node
public void copyValueOf(Node n, HashMap clones)
copyValueOf
in class Constant
public Node.Operations getOperations()
Node
getOperations
in class Constant
public Double lx_value()
public void lx_value(Double o)
public boolean hasAttribute(int attrname)
hasAttribute
in class Term
public Object getAttribute(int attrname)
getAttribute
in class Term
public void setAttribute(int attrname, Object attrvalue)
setAttribute
in class Term