ptolemy.backtrack.eclipse.ast.transform

Interface ConstructorHandler

All Known Implementing Classes:

ConstructorTransformer

public interface ConstructorHandler

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

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

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.
void	handle(org.eclipse.jdt.core.dom.ClassInstanceCreation node, TypeAnalyzerState state) Handle a class instance creation (with the new operator).
void	handle(org.eclipse.jdt.core.dom.MethodDeclaration node, TypeAnalyzerState state) Handle a method declaration node that corresponds to a constructor.
void	handle(org.eclipse.jdt.core.dom.SuperConstructorInvocation node, TypeAnalyzerState state) Handle a super constructor invocation (with the super keyword).

Method Detail

enter

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

Enter a field declaration.

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.

Parameters:

node - The field declaration node.

state - The current state of the type analyzer.

handle

void handle(org.eclipse.jdt.core.dom.ClassInstanceCreation node,
            TypeAnalyzerState state)

Handle a class instance creation (with the new operator).

Parameters:

node - The class instance creation node.

state - The current state of the type analyzer.

handle

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

Handle a method declaration node that corresponds to a constructor. The type analyzer calls back this method when it reaches a constructor. In an Eclipse AST, a constructor is defined with a MethodDeclaration as other methods, but its isConstructor method returns true.

Parameters:

node - The constructor node.

state - The current state of the type analyzer.

handle

void handle(org.eclipse.jdt.core.dom.SuperConstructorInvocation node,
            TypeAnalyzerState state)

Handle a super constructor invocation (with the super keyword).

Parameters:

node - The super constructor invocation node.

state - The current state of the type analyzer.