|
|||||||||
| 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.ValueDecl
scale.clef.decl.VariableDecl
scale.clef.decl.FormalDecl
scale.clef.decl.UnknownFormals
public class UnknownFormals
UnknownFormals are used to specify that the remaining parameter declarations of the function are unknown.
$Id: UnknownFormals.java,v 1.29 2007-10-04 19:58:04 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.VariableDecl |
|---|
ignoreAddressTaken |
| Constructor Summary | |
|---|---|
UnknownFormals()
Construct a unknown formal parameter list (… in C). |
|
UnknownFormals(Type type)
Construct a unknown formal parameter list (… in C). |
|
| Method Summary | |
|---|---|
Declaration |
copy(java.lang.String name)
Return a copy of this Declaration but with a different name. |
boolean |
isUnknownFormals()
Return true if UnknownFormals instance. |
UnknownFormals |
returnUnknownFormals()
Return a UnknownFormals instance or
null. |
void |
visit(Predicate p)
Process a node by calling its associated routine. |
| Methods inherited from class scale.clef.decl.FormalDecl |
|---|
getConstantValue, getDefaultValue, getMode, isFormalDecl, returnFormalDecl, setDefaultValue, setMode, toStringSpecial |
| Methods inherited from class scale.clef.decl.ValueDecl |
|---|
getChild, getValue, isValueDecl, numChildren, returnValueDecl |
| Methods inherited from class scale.clef.Node |
|---|
getSourceLineNumber, setAnnotationLevel, setReportLevel, setSourceLineNumber, 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 UnknownFormals()
__unknown__, no type, pass by value, and no default
expression.
public UnknownFormals(Type 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 FormalDeclPredicatepublic Declaration copy(java.lang.String name)
copy in class FormalDeclpublic final boolean isUnknownFormals()
Declaration
isUnknownFormals in class Declarationpublic final UnknownFormals returnUnknownFormals()
DeclarationUnknownFormals instance or
null.
returnUnknownFormals in class Declaration
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||