gov.llnl.babel.ast

Class Invariants

java.lang.Object

gov.llnl.babel.ast.ASTNode

gov.llnl.babel.ast.Invariants

public class Invariants
extends ASTNode

Field Summary

Fields inherited from class gov.llnl.babel.ast.ASTNode

ILLEGAL_NODEID

Constructor Summary

Constructors

Constructor and Description
Invariants()
Invariants(ParseTreeNode node, ASTNode parent)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object	accept(Visitor v, java.lang.Object data) implements "Visitor Pattern"
java.util.List	getInvariantExprs()
void	setInvariantExprs(java.util.List invariantExprs)

Methods inherited from class gov.llnl.babel.ast.ASTNode

getFilename, getFirstToken, getLastToken, getNodeId, getParent, getParseTreeNode, getSymbolTableEntry, setFirstToken, setLastToken, setNodeId, setParent, setParseTreeNode, setSymbolTableEntry

Methods inherited from class java.lang.Object

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

Constructor Detail

Invariants

public Invariants(ParseTreeNode node,
          ASTNode parent)

Invariants

public Invariants()

Method Detail

getInvariantExprs

public java.util.List getInvariantExprs()

setInvariantExprs

public void setInvariantExprs(java.util.List invariantExprs)

accept

public java.lang.Object accept(Visitor v,
                      java.lang.Object data)

Description copied from class: ASTNode

implements "Visitor Pattern"

Specified by:

accept in class ASTNode

Parameters:

v - The visitor class

data - Optional extra data

Returns:

Optional extra data