jpaul.DataStructs
Interface Relation.EntryVisitor<Key,Value>

Enclosing class:
Relation<K,V>

public static interface Relation.EntryVisitor<Key,Value>

Relation.EntryVisitor is a wrapper for a function that is called on a relation entry of the form <key,value>. Used by the method Relation.forAllEntries(jpaul.DataStructs.Relation.EntryVisitor).


Method Summary
 void visit(Key key, Value value)
          Visits a <key,value> entry of a relation.
 

Method Detail

visit

void visit(Key key,
           Value value)
           throws InterruptTraversalException
Visits a <key,value> entry of a relation. May throw an InterruptTraversalException in order to indicate the desire to terminate the enclosing relation traversal (the method Relation.forAllEntries(jpaul.DataStructs.Relation.EntryVisitor)).

Throws:
InterruptTraversalException


Copyright 2005 Alexandru Salcianu - salcianu@alum.mit.edu