polyglot.ext.jl5.visit

Class TypeErasureProcDecls

java.lang.Object

polyglot.visit.NodeVisitor

polyglot.visit.HaltingVisitor

polyglot.visit.ErrorHandlingVisitor

polyglot.ext.jl5.visit.TypeErasureProcDecls

All Implemented Interfaces:

java.lang.Cloneable, Copy<NodeVisitor>

public class TypeErasureProcDecls
extends ErrorHandlingVisitor

This class rewrites method decls to change the type of arguments and the return value so that the appropriate override relationships will hold in Java 1.4. Also adds in new MethodDecls to match the erased signature of any overridden methods.

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Field Summary

Fields inherited from class polyglot.visit.ErrorHandlingVisitor

error, job, nf, ts

Fields inherited from class polyglot.visit.HaltingVisitor

bypass, bypassParent

Constructor Summary

Constructors

Constructor and Description
TypeErasureProcDecls(Job job, TypeSystem ts, NodeFactory nf)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addMethodDecl(MethodInstance mkErased, Type origReturnType, MethodInstance callee, MethodDecl n, java.util.List<? extends Type> dispatchArgTypes)
protected NodeVisitor	enterCall(Node n)
protected MethodInstance	erasedMethodInstance(MethodInstance mj) Get an erased version of method instance mj.
protected Type	erasedReturnType(MethodInstance mjErased, Type originalReturnType)
protected Node	leaveCall(Node old, Node n, NodeVisitor v)

Methods inherited from class polyglot.visit.ErrorHandlingVisitor

begin, catchErrors, enter, enterCall, enterError, errorQueue, hasErrors, job, leave, leaveCall, leaveCall, nodeFactory, typeSystem

Methods inherited from class polyglot.visit.HaltingVisitor

bypass, bypass, bypassChildren, override, visitChildren

Methods inherited from class polyglot.visit.NodeVisitor

copy, enter, finish, finish, lang, leave, override, toString, visitEdge, visitEdgeNoOverride

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TypeErasureProcDecls

public TypeErasureProcDecls(Job job,
                    TypeSystem ts,
                    NodeFactory nf)

Method Detail

enterCall

protected NodeVisitor enterCall(Node n)
                         throws SemanticException

Overrides:

enterCall in class ErrorHandlingVisitor

Throws:

SemanticException

leaveCall

protected Node leaveCall(Node old,
             Node n,
             NodeVisitor v)
                  throws SemanticException

Overrides:

leaveCall in class ErrorHandlingVisitor

Throws:

SemanticException

erasedReturnType

protected Type erasedReturnType(MethodInstance mjErased,
                    Type originalReturnType)

addMethodDecl

protected void addMethodDecl(MethodInstance mkErased,
                 Type origReturnType,
                 MethodInstance callee,
                 MethodDecl n,
                 java.util.List<? extends Type> dispatchArgTypes)

erasedMethodInstance

protected MethodInstance erasedMethodInstance(MethodInstance mj)

Get an erased version of method instance mj.

Parameters:

mj -

Returns: