scale.clef.expr
Class StatementOp

java.lang.Object
  scale.common.Root
      scale.clef.Node
          scale.clef.expr.Expression
              scale.clef.expr.MonadicOp
                  scale.clef.expr.StatementOp

All Implemented Interfaces:

AnnotationInterface, DisplayNode

public class StatementOp
extends MonadicOp

A class which allows a statement to be included as part of an expression.

$Id: StatementOp.java,v 1.8 2007-01-31 18:36:56 burrill Exp $

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

Instances of this class are used to represent the GNU expression statement.

Constructor Summary

StatementOp(Type type, Expression exp, Statement statement)

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.
Statement	getStatement() Return the statement associated with the StatementOp.
boolean	isSimpleOp() Return true if compilation of this expression will not result in the generation of a CFG node.
int	numChildren() Return the number of AST children of this node.
void	visit(Predicate p) Process a node by calling its associated routine.

Methods inherited from class scale.clef.expr.MonadicOp

containsDeclaration, getDeclList, getExpr, 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

StatementOp

public StatementOp(Type type,
                   Expression exp,
                   Statement statement)

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

getStatement

public final Statement getStatement()

Return the statement associated with the StatementOp.

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

isSimpleOp

public boolean isSimpleOp()

Description copied from class: Expression

Return true if compilation of this expression will not result in the generation of a CFG node. For example, (a && b) may require a branch to represent and i++ requires a store.

Overrides:

isSimpleOp in class MonadicOp