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