harpoon.Analysis.PointerAnalysis
Interface RelationEntryVisitor
public interface RelationEntryVisitor
RelationEntryVisitor
is a wrapper for a function that is
called on a relation entry of the form <key,value>
.
There is no other way to pass a function in Java (no pointers to methods ...)
- Version:
- $Id: RelationEntryVisitor.java,v 1.2 2005/08/17 23:34:01 salcianu Exp $
- Author:
- Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>
Method Summary |
void |
visit(Object key,
Object value)
Visits a <key,value> entry of a relation. |
visit
void visit(Object key,
Object value)
- Visits a
<key,value>
entry of a relation.