com.veromodo.tempo.ast
Class ASTDerefArray

java.lang.Object
  extended by com.veromodo.tempo.ast.ASTNode
      extended by com.veromodo.tempo.ast.ASTExpr
          extended by com.veromodo.tempo.ast.ASTDerefArray
All Implemented Interfaces:
Describable, Locatable, Typeable

public class ASTDerefArray
extends ASTExpr


Constructor Summary
ASTDerefArray(ASTExpr o, ASTListFormula x)
           
 
Method Summary
 SetOfDescriptor getAllDescriptors()
           
 java.lang.String getDerefSig()
           
 ASTListFormula getIndexes()
           
 ASTExpr getObject()
           
 void setAllDescriptors(SetOfDescriptor st)
           
 void visit(ASTIVisitor v)
          Abstract method to traverse the AST via a visitor.
 
Methods inherited from class com.veromodo.tempo.ast.ASTExpr
getDescriptor, getSetOfDescriptor, getSetOfTType, getTType, setDescriptor, setSetOfDescriptor, setSetOfTType, setTType
 
Methods inherited from class com.veromodo.tempo.ast.ASTNode
getExtent, setExtent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface com.veromodo.tempo.util.Locatable
getExtent
 
Methods inherited from interface com.veromodo.tempo.util.Locatable
getExtent
 

Constructor Detail

ASTDerefArray

public ASTDerefArray(ASTExpr o,
                     ASTListFormula x)
Method Detail

getDerefSig

public java.lang.String getDerefSig()

getObject

public ASTExpr getObject()

getIndexes

public ASTListFormula getIndexes()

setAllDescriptors

public void setAllDescriptors(SetOfDescriptor st)

getAllDescriptors

public SetOfDescriptor getAllDescriptors()

visit

public void visit(ASTIVisitor v)
Description copied from class: ASTNode
Abstract method to traverse the AST via a visitor.

Overrides:
visit in class ASTExpr
Parameters:
v - the visitor interface
See Also:
ASTIVisitor