eu.bandm.tools.message

Class LocationMap<D,E>

java.lang.Object

eu.bandm.tools.message.LocationMap<D,E>

@Runtime
public class LocationMap<D,E>
extends Object

Facility to translate Locations, when re-arranging of text fragments has been performed, and location info must be adjusted accordingly.

Eg. when fragents from a source text are concatenated into a StringBuilder, which is then subject to a lexical sanner, the scanner will produce error messages which must be re-mapped to the original context to become meaningful for the user.

All locations entered into this map must be of the "region" flavour (see Location). They must be entered pairwise, with identical lengths.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	LocationMap.Translator A message receiver which passes on all messages after translating the location according to the mapping represented by its outer class.

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Location<D>>	leftlocs
Function<Location<D>,Location<E>>	mapLocations
Function<SimpleMessage<D>,SimpleMessage<E>>	mapMessages A public Function object which applies the mapping of the containing class to the location fields of SimpleMessages.
protected List<Location<E>>	rightlocs
protected boolean	transparent

Constructor Summary

Constructors

Constructor and Description
LocationMap()

Method Summary

Modifier and Type	Method and Description
protected <P,Q> Location<Q>	doResolve(List<Location<P>> from, List<Location<Q>> to, Location<P> loc)
void	dump(PrintStream p)
void	put(Location<D> left, Location<E> right) establishes the mapping between both locations.
Location<D>	resolve_backward(Location<E> loc) Performs the mapping from right to left, Can currently only deal with points and intervals, not with sets.
Location<E>	resolve(Location<D> loc) Performs the mapping from left to right, Can currently only deal with points and intervals, not with sets.
protected static <P,Q> Location<Q>	resolvePoint(List<Location<P>> from, List<Location<Q>> to, Location<P> loc)
boolean	setTransparent(boolean trans) Sets the transparent attribute and returns its old value.

Methods inherited from class java.lang.Object

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

Field Detail

leftlocs

protected List<Location<D>> leftlocs

rightlocs

protected List<Location<E>> rightlocs

transparent

protected boolean transparent

mapLocations

public final Function<Location<D>,Location<E>> mapLocations

mapMessages

public final Function<SimpleMessage<D>,SimpleMessage<E>> mapMessages

A public Function object which applies the mapping of the containing class to the location fields of SimpleMessages.

Constructor Detail

LocationMap

public LocationMap()

Method Detail

put

public void put(Location<D> left,
                Location<E> right)

establishes the mapping between both locations. left and right must be of "region" type and must have equal length.

setTransparent

public boolean setTransparent(boolean trans)

Sets the transparent attribute and returns its old value.

resolve

public Location<E> resolve(Location<D> loc)

Performs the mapping from left to right, Can currently only deal with points and intervals, not with sets.

resolve_backward

public Location<D> resolve_backward(Location<E> loc)

Performs the mapping from right to left, Can currently only deal with points and intervals, not with sets.

doResolve

protected <P,Q> Location<Q> doResolve(List<Location<P>> from,
                                      List<Location<Q>> to,
                                      Location<P> loc)

resolvePoint

protected static <P,Q> Location<Q> resolvePoint(List<Location<P>> from,
                                                List<Location<Q>> to,
                                                Location<P> loc)

dump

public void dump(PrintStream p)