|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectscale.common.Root
scale.clef.Node
scale.clef.decl.Declaration
scale.clef.decl.RoutineDecl
scale.clef.decl.ProcedureDecl
scale.clef.decl.ForwardProcedureDecl
public class ForwardProcedureDecl
Un-used.
$Id: ForwardProcedureDecl.java,v 1.26 2007-03-21 13:31:51 burrill Exp $
Copyright 2007 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.
| Field Summary |
|---|
| Fields inherited from class scale.clef.decl.RoutineDecl |
|---|
NOTPURE, PURE, PUREARGS, PUREGV, PUREGVA, PURESE, PURESGV |
| Constructor Summary | |
|---|---|
ForwardProcedureDecl(java.lang.String name,
ProcedureType type)
|
|
| Method Summary | |
|---|---|
Declaration |
copy(java.lang.String name)
Return a copy of this Declaration but with a different name. |
boolean |
isForwardProcedureDecl()
Return true if ForwardProcedureDecl instance. |
ForwardProcedureDecl |
returnForwardProcedureDecl()
Return a For a ForwardProcedureDecl
instance or null. |
void |
visit(Predicate p)
Process a node by calling its associated routine. |
| Methods inherited from class scale.clef.decl.ProcedureDecl |
|---|
getChild, getLevel, getParentRoutine, isProcedureDecl, numChildren, returnProcedureDecl, setLevel, setParentRoutine, toStringSpecial |
| Methods inherited from class scale.clef.Node |
|---|
setAnnotationLevel, setReportLevel, toString, toString, toStringChildren |
| Methods inherited from class scale.common.Root |
|---|
addAnnotation, allAnnotations, allMatchingAnnotations, getAnnotation, getDisplayName, getDisplayString, getNodeCount, getNodeID, hasAnnotation, hasEqualAnnotation, 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 |
|---|
public ForwardProcedureDecl(java.lang.String name,
ProcedureType type)
| Method Detail |
|---|
public void visit(Predicate p)
Node
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.
visit in class ProcedureDeclPredicatepublic Declaration copy(java.lang.String name)
copy in class ProcedureDeclpublic final boolean isForwardProcedureDecl()
Declaration
isForwardProcedureDecl in class Declarationpublic final ForwardProcedureDecl returnForwardProcedureDecl()
DeclarationForwardProcedureDecl
instance or null.
returnForwardProcedureDecl in class Declaration
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||