jwutil.graphs
Class EdgeNavigator.AddLeftFilter

java.lang.Object
  jwutil.collections.Filter
      jwutil.graphs.EdgeNavigator.AddLeftFilter

Enclosing class:

EdgeNavigator

public static class EdgeNavigator.AddLeftFilter
extends Filter

Constructor Summary

EdgeNavigator.AddLeftFilter(java.lang.Object o)

Method Summary

java.lang.Object

map(java.lang.Object o) Perform a mapping on elements from the source enumeration.

Methods inherited from class jwutil.collections.Filter

isElement

Methods inherited from class java.lang.Object

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

Constructor Detail

EdgeNavigator.AddLeftFilter

public EdgeNavigator.AddLeftFilter(java.lang.Object o)

Method Detail

map

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

Description copied from class: Filter

Perform a mapping on elements from the source enumeration.
Default implementation returns o (identity mapping).

Overrides:

map in class Filter