eu.bandm.tscore.base

Class Translet.Store_1<S>

java.lang.Object

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

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

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

Enclosing class:

Translet

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

Storing operator which only one(1) value per key. The storing object must thus be a map.

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<Event,? super S>	store The target of all storing operations.

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

sub

Constructor Summary

Constructors

Constructor and Description
Store_1(Map<Event,? super S> store, Translet.Parser<S> sub) Only constructor.

Method Summary

Modifier and Type	Method and 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, wrapResult

Methods inherited from class java.lang.Object

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

Field Detail

store

protected Map<Event,? super S> store

The target of all storing operations.

Constructor Detail

Store_1

public Store_1(Map<Event,? super S> store,
               Translet.Parser<S> sub)

Only constructor.

Method Detail

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. Every key may occur only once, multiple occurance raises an error.

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>