edu.umd.cfar.lamp.viper.util
Interface MappingIterator.MappingFunctor

Enclosing interface:

MappingIterator

public static interface MappingIterator.MappingFunctor

Function object for converting from the domain to range of the map relation.

Method Summary

java.lang.Object

map(java.lang.Object o) This is the method that the MappingIterator runs on each object in its internal Iterator to return the element in the range of the mapping relation.

Method Detail

map

public java.lang.Object map(java.lang.Object o)

This is the method that the MappingIterator runs on each object in its internal Iterator to return the element in the range of the mapping relation.

Parameters:

o - An element from the Iterator

Returns:

the value corresponding to o in the map relation