StatementExecutor (com.astralanguage:astra-interpreter 1.0.10 API)

java.lang.Object

astra.core.StatementExecutor

public class StatementExecutor
extends Object

Constructor Summary

Constructors

Constructor Description

StatementExecutor(StatementHandler handler)

StatementExecutor(StatementHandler handler, Map<Integer,Term> bindings)

Method Summary

Modifier and Type	Method	Description
`void`	`addGoals(Queue<Formula> queue, Goal goal)`
`Map<Integer,Term>`	`bindings()`
`void`	`buildFailureTrace(Stack<StatementHandler> failureTrace)`
`boolean`	`execute(Intention intention)`
`StatementHandler`	`getStatement()`
`boolean`	`isFinished()`
`boolean`	`rollback(Intention intention)`
`String`	`toString()`
`boolean`	`updateVariable(Variable term, Term logic)`

Methods inherited from class java.lang.Object

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

Constructor Details
- StatementExecutor
  
  public StatementExecutor(StatementHandler handler, Map<Integer,Term> bindings)
- StatementExecutor
  
  public StatementExecutor(StatementHandler handler)
Method Details
- execute
  
  public boolean execute(Intention intention)
- bindings
  
  public Map<Integer,Term> bindings()
- updateVariable
  
  public boolean updateVariable(Variable term, Term logic)
- getStatement
  
  public StatementHandler getStatement()
- rollback
  
  public boolean rollback(Intention intention)
- buildFailureTrace
  
  public void buildFailureTrace(Stack<StatementHandler> failureTrace)
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- addGoals
  
  public void addGoals(Queue<Formula> queue, Goal goal)
- isFinished
  
  public boolean isFinished()