Constructor and Description |
---|
Encounter() |
Modifier and Type | Method and Description |
---|---|
void |
command(String... args)
Feeds the given files to the LEIA system.
|
Version |
getLastVersion()
Returns the last
ModelType.COUNTED version that was created by this encounter. |
void |
setAutoExtendLimit(int autoExtendLimit)
Sets the maximum depth of nodes that will be marked extensible.
|
void |
setInteractionContextUri(String interactionContextUri)
Sets the URI to use for the interaction context.
|
void |
setLimitFlag(boolean limitFlag)
Sets the flag that indicates whether the encounter should stop after a fixed number of symbols.
|
void |
setStreamAdapter(StreamAdapter streamAdapter)
Sets the stream adapter that provides the symbols for this encounter.
|
String |
stateToString(Collection<DirectedSymbol> state)
Returns a string representation of the given state
|
public void setLimitFlag(boolean limitFlag)
limitFlag
- The limit flagpublic void setStreamAdapter(StreamAdapter streamAdapter)
streamAdapter
- The stream adapterpublic void setInteractionContextUri(String interactionContextUri)
interactionContextUri
- The URI of the interaction context to usepublic void setAutoExtendLimit(int autoExtendLimit)
Node.getExtensible()
) by the encounter (rather than relying on the
optimizer to manage the extensibility of nodes).autoExtendLimit
- The maximum depth of nodes that will be marked extensiblepublic Version getLastVersion()
ModelType.COUNTED
version that was created by this encounter.getLastVersion
in interface Encounter
@Transactional(propagation=REQUIRED, readOnly=false) public void command(String... args)
public String stateToString(Collection<DirectedSymbol> state)
state
- The state to representCopyright © 2013. All Rights Reserved.