ptolemy.backtrack.eclipse.ast.transform

Interface MethodDeclarationHandler

All Known Implementing Classes:

AssignmentTransformer, ConstructorTransformer

public interface MethodDeclarationHandler

Interface of the method handlers called by TypeAnalyzer. Users may register method handlers (and other kinds of supported handlers) to the TypeAnalyzer used to analyze Java source code. When the analyzer detects a method declaration, it calls back those method handlers before and after proper types are assigned to all the arguments.

exit(MethodDeclaration, TypeAnalyzerState) of method handlers are allowed to modify the method declaration, either by modifying its children in the AST, or by replacing the whole method declaration with another valid AST node. This is because the handler is called after the subtree rooted at the method declaration is completely visited by the analyzer. However, modifying any node out of this subtree (e.g., changing the parent of this method declaration to another one) may cause unexpected effect.

enter(MethodDeclaration, TypeAnalyzerState) should not modify the method declaration.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Method Summary

Modifier and Type	Method and Description
void	enter(org.eclipse.jdt.core.dom.MethodDeclaration node, TypeAnalyzerState state) Enter a method declaration.
void	exit(org.eclipse.jdt.core.dom.MethodDeclaration node, TypeAnalyzerState state) Exit a method declaration.

Method Detail

enter

void enter(org.eclipse.jdt.core.dom.MethodDeclaration node,
           TypeAnalyzerState state)

Enter a method declaration. When this method is called back by the type analyzer, types are not yet assigned to the arguments of the method.

Parameters:

node - The method declaration node.

state - The current state of the type analyzer.

exit

void exit(org.eclipse.jdt.core.dom.MethodDeclaration node,
          TypeAnalyzerState state)

Exit a method declaration. When this method is called back by the type analyzer, types are assigned to the arguments of the method. Implementing classes may modify the method declaration in this method.

Parameters:

node - The method declaration node.

state - The current state of the type analyzer.