scale.clef.type
Class Raise

java.lang.Object
  scale.common.Root
      scale.clef.Node
          scale.clef.type.Raise

All Implemented Interfaces:

AnnotationInterface, DisplayNode

Direct Known Subclasses:

RaiseWithObject, RaiseWithType

public class Raise
extends Node

A raise represents an exception that may be thrown by a procedure.

$Id: Raise.java,v 1.26 2005-02-07 21:28:15 burrill Exp $

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

A vector of Raises is used in ProcedureType to represent what exceptions a procedure may throw. Three kinds of Raises vectors exist:

• The Raises vector is empty: The procedure may not raise any exceptions.
• The Raises vector has a single instance of the @see Raise class: The procedure may raise any exception.
• The Raises vector has instances of subclasses of @see Raise.

See Also:

ProcedureType

Constructor Summary

Raise()

Method Summary

void	visit(Predicate p) Process a node by calling its associated routine.

Methods inherited from class scale.clef.Node

getChild, getCoreType, getDecl, getSourceLineNumber, getType, numChildren, setAnnotationLevel, setReportLevel, setSourceLineNumber, toString, toString, toStringChildren, toStringSpecial

Methods inherited from class scale.common.Root

addAnnotation, allAnnotations, allMatchingAnnotations, getAnnotation, getDisplayColorHint, getDisplayLabel, getDisplayName, getDisplayShapeHint, 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

Raise

public Raise()

Method Detail

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.

Specified by:

visit in class Node

See Also:

Predicate