ptolemy.backtrack.eclipse.ast.transform

Interface FieldDeclarationHandler

All Known Implementing Classes:

AssignmentTransformer

public interface FieldDeclarationHandler

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

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

enter(FieldDeclaration, TypeAnalyzerState) should not modify the field 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.FieldDeclaration node, TypeAnalyzerState state) Enter a field declaration.
void	exit(org.eclipse.jdt.core.dom.FieldDeclaration node, TypeAnalyzerState state) Exit a field declaration.

Method Detail

enter

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

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

Parameters:

node - The field declaration node.

state - The current state of the type analyzer.

exit

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

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

Parameters:

node - The field declaration node.

state - The current state of the type analyzer.