CNF

util.function
Class MapSubst

java.lang.Object
  |
  +--util.function.MapSubst
All Implemented Interfaces:
Function, Map

public final class MapSubst
extends java.lang.Object
implements Map

Mapping zur Substitution von Objekten.

Quelltext


Constructor Summary
MapSubst(java.lang.Object o_old, java.lang.Object o_new)
          Erzeugt ein substituierendes Mapping für zu ersetzendes und ersetzendes Objekt.
 
Method Summary
 java.lang.Object map(java.lang.Object obj)
          Die zuordnende Methode.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MapSubst

public MapSubst(java.lang.Object o_old,
                java.lang.Object o_new)
Erzeugt ein substituierendes Mapping für zu ersetzendes und ersetzendes Objekt.
Parameters:
_old - Zu ersetzendes Objekt.
_new - Ersetzendes Objekt.
Method Detail

map

public java.lang.Object map(java.lang.Object obj)
Description copied from interface: Map
Die zuordnende Methode. Wird beim Mappen einer Liste für jedes Listenelement aufgerufen.
Specified by:
map in interface Map
Following copied from interface: function.Map
Parameters:
obj - Das umzuwandelnde Objekt.

CNF

Kontakt: m.rahn@stud.uka.de und mai99jsv@studserv.uni-leipzig.de