astra.statement.ScopedSubgoal Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of astra-interpreter Show documentation
Core interpreter artifact for the ASTRA Language
There is a newer version: 1.4.2
package astra.statement;

import java.util.Queue;

import astra.core.Intention;
import astra.event.GoalEvent;
import astra.event.ScopedGoalEvent;
import astra.formula.Formula;
import astra.formula.Goal;
import astra.formula.ScopedGoal;
import astra.reasoner.util.ContextEvaluateVisitor;
import astra.reasoner.util.VariableVisitor;
import astra.term.Variable;

public class ScopedSubgoal extends AbstractStatement {
	String scope;
	Goal goal;
	
	public ScopedSubgoal(String scope, Goal goal) {
		this.goal = goal;
	}
	
	public ScopedSubgoal(String clazz, int[] data, String scope, Goal goal) {
		setLocation(clazz, data[0], data[1], data[2], data[3]);
		this.scope = scope;
		this.goal = goal;
	}
	
	@Override
	public StatementHandler getStatementHandler() {
		return new AbstractStatementHandler() {
			Goal gl;
			
			int index = 0;
			@Override
			public boolean execute(Intention intention) {
				switch (index) {
				case 0:
					// System.out.println("++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++");
					// System.out.println("goal: " + goal);

					// Parent is the rule in which this subgoal was declared.
					executor = intention.executor();
					// System.out.println("all variables: " +executor.getAllBindings());
					// System.out.println("variables: " +executor.bindings());

					// gl = (Goal) goal.accept(new BindingsEvaluateVisitor(executor.getAllBindings(), intention.agent));
					gl = (Goal) goal.accept(new ContextEvaluateVisitor(intention));
					// System.out.println("Gl:" + gl);
					
					// Get Unbound Variables from Goal
					VariableVisitor visitor = new VariableVisitor();
					gl.accept(visitor);

					for (Variable variable : visitor.variables()) {
						executor.addVariable(variable);
					}

					intention.addEvent(new ScopedGoalEvent(GoalEvent.ADDITION, new ScopedGoal(scope, gl), executor));
					intention.suspend();
					index = 1; 
					return true;
				case 1:
					intention.addEvent(new ScopedGoalEvent(GoalEvent.REMOVAL, new ScopedGoal(scope, gl)));
				}
				return false;
			}

			@Override
			public boolean onFail(Intention intention) {
				intention.addEvent(new GoalEvent(GoalEvent.REMOVAL, gl));
				// Returns true if the failure event is added (there is a rule to handle it) or false otherwise
				return intention.addEvent(new GoalEvent(GoalEvent.FAILURE, gl, intention.executor()));
			}
			
			@Override
			public Statement statement() {
				return ScopedSubgoal.this;
			}
			
			public String toString() {
				if (gl == null) return scope+"::"+goal.toString();
				return scope+"::"+gl.toString();
			}

			public void addGoals(Queue list, Goal goal) {
				if (goal.formula().id() == gl.formula().id()) list.add(gl);
			}
		};
	}
	

}