accrue.jl5.pointer

Class JL5RegisterPointerStmtsVisitor

java.lang.Object

polyglot.visit.NodeVisitor

polyglot.visit.HaltingVisitor

polyglot.visit.ErrorHandlingVisitor

accrue.analysis.pointer.RegisterPointerStmtsVisitor

accrue.jl5.pointer.JL5RegisterPointerStmtsVisitor

All Implemented Interfaces:

java.lang.Cloneable, polyglot.util.Copy<polyglot.visit.NodeVisitor>

public class JL5RegisterPointerStmtsVisitor
extends RegisterPointerStmtsVisitor

Registers all procedures (methods, constructors, initializers, enum constant decls) with the InterAnalysisPass.

Nested Class Summary

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

polyglot.util.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
JL5RegisterPointerStmtsVisitor(polyglot.frontend.Job job, polyglot.types.TypeSystem ts, polyglot.ast.NodeFactory nf)

Method Summary

Methods

Modifier and Type	Method and Description
protected polyglot.visit.NodeVisitor	enterCall(polyglot.ast.Node parent, polyglot.ast.Node n)

Methods inherited from class accrue.analysis.pointer.RegisterPointerStmtsVisitor

codeInfo, constructorContext, constructorContext, currentCode, exceptionHandlers, exceptionHandlers, getReferenceVariable, leaveCall, recordExprResults, recordExprResults, subexprsUninteresting, visitInstanceIntializer

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

JL5RegisterPointerStmtsVisitor

public JL5RegisterPointerStmtsVisitor(polyglot.frontend.Job job,
                              polyglot.types.TypeSystem ts,
                              polyglot.ast.NodeFactory nf)

Method Detail

enterCall

protected polyglot.visit.NodeVisitor enterCall(polyglot.ast.Node parent,
                                   polyglot.ast.Node n)
                                        throws polyglot.types.SemanticException

Overrides:

enterCall in class RegisterPointerStmtsVisitor

Throws:

polyglot.types.SemanticException