scale.clef.expr
Class DeleteOp

java.lang.Object
  extended by scale.common.Root
      extended by scale.clef.Node
          extended by scale.clef.expr.Expression
              extended by scale.clef.expr.MonadicOp
                  extended by scale.clef.expr.DeleteOp
All Implemented Interfaces:
AnnotationInterface, DisplayNode

public class DeleteOp
extends MonadicOp

A class which represents the C++ delete operator for heap allocated structures.

$Id: DeleteOp.java,v 1.29 2005-03-24 13:57:03 burrill Exp $

Copyright 2005 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

The result type is void.


Constructor Summary
DeleteOp(Type type, Expression destructor, Expression e)
           
 
Method Summary
 boolean equivalent(java.lang.Object exp)
          Return true if the two expressions are equivalent.
 Node getChild(int i)
          Return the specified AST child of this node.
 Expression getDestructor()
          Return the destructor expression that is used.
 int numChildren()
          Return the number of AST children of this node.
protected  void setDestructor(Expression destructor)
           
 void visit(Predicate p)
          Process a node by calling its associated routine.
 
Methods inherited from class scale.clef.expr.MonadicOp
containsDeclaration, getDeclList, getExpr, isSimpleOp, setExpr
 
Methods inherited from class scale.clef.expr.Expression
canonical, getConstantValue, getCoreType, getDisplayColorHint, getDisplayLabel, getDisplayShapeHint, getPointedToCore, getType, hasTrueFalseResult, setType, toStringSpecial
 
Methods inherited from class scale.clef.Node
getDecl, getSourceLineNumber, setAnnotationLevel, setReportLevel, setSourceLineNumber, toString, toString, toStringChildren
 
Methods inherited from class scale.common.Root
addAnnotation, allAnnotations, allMatchingAnnotations, getAnnotation, getDisplayName, getDisplayString, getNodeCount, getNodeID, hasAnnotation, hasEqualAnnotation, hashCode, removeAnnotation, removeAnnotations, toStringAnnotations, toStringClass, trace, trace, trace
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DeleteOp

public DeleteOp(Type type,
                Expression destructor,
                Expression e)
Method Detail

equivalent

public boolean equivalent(java.lang.Object exp)
Return true if the two expressions are equivalent.

Overrides:
equivalent in class MonadicOp

visit

public void visit(Predicate p)
Description copied from class: Node
Process a node by calling its associated routine. See the "visitor" design pattern in Design Patterns: Elements of Reusable Object-Oriented Software by E. Gamma, et al, Addison Wesley, ISBN 0-201-63361-2.

Each class has a visit(Predicate p) method. For example, in class ABC:

   public void visit(Predicate p)
   {
     p.visitABC(this);
   }
 
and the class that implements Predicate has a method
   public void visitABC(Node n)
   {
     ABC a = (ABC) n;
     ...
   }
 
Thus, the class that implements Predicate can call
   n.visit(this);
 
where n is a Node sub-class without determining which specific sub-class n is. The visit pattern basically avoids implementing a large switch statement or defining different methods in each class for some purpose.

Overrides:
visit in class MonadicOp
See Also:
Predicate

getDestructor

public final Expression getDestructor()
Return the destructor expression that is used.


setDestructor

protected final void setDestructor(Expression destructor)

getChild

public Node getChild(int i)
Return the specified AST child of this node.

Overrides:
getChild in class MonadicOp

numChildren

public int numChildren()
Return the number of AST children of this node.

Overrides:
numChildren in class MonadicOp