chord.program.visitors
Interface ICastInstVisitor

All Superinterfaces:

IClassVisitor, IMethodVisitor

All Known Implementing Classes:

RelMcheckCastInst, RelMobjVarAsgnInst, RelPobjVarAsgnInst

public interface ICastInstVisitor
extends IMethodVisitor

Visitor over all cast assignment statements in all methods in the program.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Method Summary

void	visitCastInst(joeq.Compiler.Quad.Quad q) Visits all cast assignment 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

visitCastInst

void visitCastInst(joeq.Compiler.Quad.Quad q)

Visits all cast assignment statements in all methods in the program.

Parameters:

q - A cast assignment statement.