openlist.incremental
Class Mapper<Object>

java.lang.Object
  openlist.incremental.Mapper<Object>

All Implemented Interfaces:

Growable<Object>

public class Mapper<Object>
extends java.lang.Object
implements Growable<Object>

Mapper is used to map a function over an IncrementalList.

Field Summary

(package private) Function1arg<Object>	f the function being mapped
(package private) Growable<Object>	growable the Growable producing the resulting list
(package private) OpenList<Object>	L the OpenList over which mapping is being done

Constructor Summary

Mapper(OpenList<Object> L, Function1arg<Object> f, Growable<Object> growable)
Create a Mapper, operating on an OpenList L, with a function f.

Method Summary

IncrementalList<Object>

grow() grow the result list

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

L

OpenList<Object> L

the OpenList over which mapping is being done

f

Function1arg<Object> f

the function being mapped

growable

Growable<Object> growable

the Growable producing the resulting list

Constructor Detail

Mapper

public Mapper(OpenList<Object> L,
              Function1arg<Object> f,
              Growable<Object> growable)

Create a Mapper, operating on an OpenList L, with a function f.

Parameters:

L - the OpenList over which mapping is done

f - the function doing the mapping

growable - the Growable generating the resulting list

Method Detail

grow

public IncrementalList<Object> grow()

grow the result list

Specified by:

grow in interface Growable<Object>

Returns:

an IncrementalList