Package eu.bandm.tscore.base

Class Translet.Store_I<S>

java.lang.Object

eu.bandm.tscore.base.Translet.Parser<S>

eu.bandm.tscore.base.Translet.StorageWrapper<S>

eu.bandm.tscore.base.Translet.Store_I<S>

Enclosing class:

Translet

public static class Translet.Store_I<S>
extends Translet.StorageWrapper<S>

Storing operator which can store multiple (>1) values per key, preserving the sequential order in the source. The storing object must thus be a Map.

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Event,List<S>>	store

Fields inherited from class eu.bandm.tscore.base.Translet.StorageWrapper

sub

Constructor Summary

Constructors

Constructor	Description
Store_I(Map<Event,List<S>> store, Translet.Parser<S> sub)

Method Summary

Modifier and Type	Method	Description
void	executeStoring(Translet.State<S> s, Event e, Location<XMLDocumentIdentifier> loc, MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)	Execute the storing operation.
protected Format	storageName()	Return an identity indication for the storage container object.
String	unparse(Object key)	Reverse the parsing process (as far as possible) and deliver a string representation which when parsed delivered the parse result.

Methods inherited from class eu.bandm.tscore.base.Translet.StorageWrapper

name, parseOneState

Methods inherited from class eu.bandm.tscore.base.Translet.Parser

isTerminal, mparse, name, parseEpsilon, stripOpt, toString, toString

Methods inherited from class java.lang.Object

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

Field Details

store

protected Map<Event,List<S>> store

Constructor Details

Store_I

public Store_I(Map<Event,List<S>> store,
 Translet.Parser<S> sub)

Method Details

unparse

public String unparse(Object key)

Description copied from class: Translet.Parser

Reverse the parsing process (as far as possible) and deliver a string representation which when parsed delivered the parse result.

Specified by:

unparse in class Translet.Parser<S>

executeStoring

public void executeStoring(Translet.State<S> s,
 Event e,
 Location<XMLDocumentIdentifier> loc,
 MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)

Execute the storing operation. Called exparte-post after one of the resulting parse trees has been selected.

Overrides:

executeStoring in class Translet.Parser<S>

storageName

protected Format storageName()

Description copied from class: Translet.StorageWrapper

Return an identity indication for the storage container object.

Specified by:

storageName in class Translet.StorageWrapper<S>