Package astra.statement

Class Wait

java.lang.Object

astra.core.AbstractElement

astra.statement.AbstractStatement

astra.statement.Wait

All Implemented Interfaces:

Statement

public class Wait
extends AbstractStatement

Constructor Summary

Constructors

Constructor	Description
Wait(String clazz, int[] data, Formula guard)
Wait(String clazz, int[] data, Formula guard, Term timeout)

Method Summary

Modifier and Type	Method	Description
StatementHandler	getStatementHandler()

Methods inherited from class astra.core.AbstractElement

beginLine, endLine, getASTRAClass, isLinkedToSource, setLocation

Methods inherited from class java.lang.Object

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

Methods inherited from interface astra.statement.Statement

beginLine, endLine, getASTRAClass, isLinkedToSource

Constructor Details

Wait

public Wait(String clazz, int[] data, Formula guard)

Wait

public Wait(String clazz, int[] data, Formula guard, Term timeout)

Method Details

getStatementHandler

public StatementHandler getStatementHandler()