grammar.function
Class MapAddDiff

java.lang.Object
  |
  +--grammar.function.MapAddDiff

All Implemented Interfaces:

Function, MapVoid

public final class MapAddDiff

extends java.lang.Object

implements MapVoid

Mapping, dass für alle übergebenen Regeln die addDiff-Routine aufruft, also alle Zeichen aus den Regeln zu den richtigen Alphabeten hinzufügt.

Quelltext

Constructor Summary

MapAddDiff(Grammar G)
Erzeugt ein neues Mapping für die übergebene Grammatik.

Method Summary

void	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

MapAddDiff

public MapAddDiff(Grammar G)

Erzeugt ein neues Mapping für die übergebene Grammatik.

Parameters:

G - Die addDiff-Routine dieser Grammatik wird verwendet.

Method Detail

map

public void map(java.lang.Object obj)

Description copied from interface: MapVoid

Die zuordnende Methode. Wird beim Mappen einer Liste für jedes Listenelement aufgerufen.

Specified by:

map in interface MapVoid

Following copied from interface: function.MapVoid

Parameters:

obj - Das aktuelle Objekt.