public class TypeErasureProcDecls extends ErrorHandlingVisitor
error, job, nf, ts
bypass, bypassParent
Constructor and Description |
---|
TypeErasureProcDecls(Job job,
TypeSystem ts,
NodeFactory nf) |
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) |
begin, catchErrors, enter, enterCall, enterError, errorQueue, hasErrors, job, leave, leaveCall, leaveCall, nodeFactory, typeSystem
bypass, bypass, bypassChildren, override, visitChildren
public TypeErasureProcDecls(Job job, TypeSystem ts, NodeFactory nf)
protected NodeVisitor enterCall(Node n) throws SemanticException
enterCall
in class ErrorHandlingVisitor
SemanticException
protected Node leaveCall(Node old, Node n, NodeVisitor v) throws SemanticException
leaveCall
in class ErrorHandlingVisitor
SemanticException
protected Type erasedReturnType(MethodInstance mjErased, Type originalReturnType)
protected void addMethodDecl(MethodInstance mkErased, Type origReturnType, MethodInstance callee, MethodDecl n, java.util.List<? extends Type> dispatchArgTypes)
protected MethodInstance erasedMethodInstance(MethodInstance mj)
mj
-