chord.program.visitors
Interface IAcqLockInstVisitor

All Superinterfaces:
IClassVisitor, IMethodVisitor
All Known Implementing Classes:
DomL

public interface IAcqLockInstVisitor
extends IMethodVisitor

Visitor over all monitorenter statements in all methods in the program.

Author:
Mayur Naik (mhn@cs.stanford.edu)

Method Summary
 void visitAcqLockInst(joeq.Compiler.Quad.Quad q)
          Visits all monitorenter statements in all methods in the program.
 
Methods inherited from interface chord.program.visitors.IMethodVisitor
visit
 
Methods inherited from interface chord.program.visitors.IClassVisitor
visit
 

Method Detail

visitAcqLockInst

void visitAcqLockInst(joeq.Compiler.Quad.Quad q)
Visits all monitorenter statements in all methods in the program.

Parameters:
q - A monitorenter statement.