cz.cuni.amis.pogamut.sposh.engine

Class FireResult

java.lang.Object

cz.cuni.amis.pogamut.sposh.engine.FireResult

public final class FireResult
extends Object

Result of ElementExecutor s. Only FOLLOW requires specification of nextElement.

Author:

Honza

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FireResult.Type

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FireResult(FireResult.Type type)
protected	FireResult(FireResult.Type type, cz.cuni.amis.pogamut.sposh.engine.StackElement nextElement)

Method Summary

Methods

Modifier and Type	Method and Description
cz.cuni.amis.pogamut.sposh.engine.StackElement	getNextElement()
FireResult.Type	getType()

Methods inherited from class java.lang.Object

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

Constructor Detail

FireResult

protected FireResult(FireResult.Type type)

FireResult

protected FireResult(FireResult.Type type,
          cz.cuni.amis.pogamut.sposh.engine.StackElement nextElement)

Method Detail

getType

public FireResult.Type getType()

Returns:

the continueExecution

getNextElement

public cz.cuni.amis.pogamut.sposh.engine.StackElement getNextElement()

Returns:

the nextElement