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. |
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