Uses of Interface
astra.statement.Statement
| Package | Description |
|---|---|
| astra.core | |
| astra.debugger | |
| astra.statement |
-
Uses of Statement in astra.core
Fields in astra.core declared as Statement Modifier and Type Field Description StatementRule. statementConstructors in astra.core with parameters of type Statement Constructor Description GoalRule(Event event, Formula context, Formula dropCondition, Statement statement)GoalRule(Event event, Formula context, Statement statement)GoalRule(Event event, Statement statement)GoalRule(String clazz, int[] data, Event event, Formula context, Formula dropCondition, Statement statement)GoalRule(String clazz, int[] data, Event event, Formula context, Formula dropCondition, Statement statement, Rule[] rules)GoalRule(String clazz, int[] data, Event event, Formula context, Statement statement)GoalRule(String clazz, int[] data, Event event, Formula context, Statement statement, Rule[] rules)GoalRule(String clazz, int[] data, Event event, Statement statement)Rule(Event event, Formula context, Statement statement)Rule(Event event, Statement statement)Rule(String clazz, int[] data, Event event, Formula context, Formula dropCondition, Statement statement)Rule(String clazz, int[] data, Event event, Formula context, Statement statement)Rule(String clazz, int[] data, Event event, Statement statement) -
Uses of Statement in astra.debugger
Methods in astra.debugger with parameters of type Statement Modifier and Type Method Description voidBreakpoints. check(Agent agent, Statement statement) -
Uses of Statement in astra.statement
Classes in astra.statement that implement Statement Modifier and Type Class Description classAbstractStatementclassAssignmentclassBeliefUpdateclassBlockclassDeclarationclassDoneclassForAllclassForEachclassIfclassMaintainBlockclassMinusMinusclassModuleCallclassPlusPlusclassQueryclassScopedBeliefUpdateclassScopedSpawnGoalclassScopedSubgoalclassSendclassSpawnGoalclassSpecialBeliefUpdateclassSpecialOpclassSubgoalclassSynchronizedBlockclassTRStartclassTRStopclassTryRecoverclassWaitclassWhileMethods in astra.statement that return Statement Modifier and Type Method Description StatementStatementHandler. statement()Constructors in astra.statement with parameters of type Statement Constructor Description Block(Statement[] statements)Block(String clazz, int[] data, Statement[] statements)Done(String clazz, int[] data, Formula guard, Statement ifStatement)ForAll(String clazz, int[] data, Variable variable, Term list, Statement body)ForEach(String clazz, int[] data, Formula guard, Statement body)If(String clazz, int[] data, Formula guard, Statement ifStatement)If(String clazz, int[] data, Formula guard, Statement ifStatement, Statement elseStatement)MaintainBlock(String clazz, int[] data, Formula formula, Statement statement)SynchronizedBlock(String clazz, int[] data, String token, Statement statement)TryRecover(String clazz, int[] data, Statement ifStatement, Statement elseStatement)While(String clazz, int[] data, Formula guard, Statement body)