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

static class

FireResult.Type

Constructor Summary

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

Method Summary

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