Package 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	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	Description
Store_1(Map<Event,? super S> store, Translet.Parser<S> sub)	Only constructor.

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,? super S> store

The target of all storing operations.

Constructor Details

Store_1

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

Only constructor.

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. 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>