astra.ast.visitor.GoalCheckVisitor Maven / Gradle / Ivy

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

import astra.ast.core.ASTRAClassElement;
import astra.ast.core.IStatement;
import astra.ast.core.ParseException;
import astra.ast.element.GRuleElement;
import astra.ast.element.InitialElement;
import astra.ast.element.RuleElement;
import astra.ast.formula.BracketFormula;
import astra.ast.formula.GoalFormula;
import astra.ast.formula.ScopedGoalFormula;
import astra.ast.statement.BlockStatement;
import astra.ast.statement.ForAllStatement;
import astra.ast.statement.ForEachStatement;
import astra.ast.statement.IfStatement;
import astra.ast.statement.MaintainBlockStatement;
import astra.ast.statement.ScopedStatement;
import astra.ast.statement.SpawnGoalStatement;
import astra.ast.statement.SubGoalStatement;
import astra.ast.statement.SynchronizedBlockStatement;
import astra.ast.statement.TryRecoverStatement;
import astra.ast.statement.WhileStatement;

/**
 * This class iterates through the parse tree adding types where necessary.
 * 
 * @author Rem Collier
 *
 */
public class GoalCheckVisitor extends AbstractVisitor {

	
	public Object visit(ASTRAClassElement element, Object data) throws ParseException {
		for (InitialElement initial : element.getInitials()) {
			initial.accept(this, data);
		}
		
		for (RuleElement rule : element.getRules()) {
			rule.accept(this, data);
		}
		
		for (GRuleElement rule : element.getGRules()) {
			rule.accept(this, data);
		}

		return null;
	}

	public Object visit(RuleElement element, Object data) throws ParseException {
		element.statement().accept(this, data);
		return null;
	}

	
	public Object visit(GRuleElement element, Object data) throws ParseException {
		element.statement().accept(this, data);
		for(RuleElement rule : element.rules()) {
			rule.accept(this, data);
		}
		return null;
	}

	
	public Object visit(GoalFormula formula, Object data) throws ParseException {
//		((ComponentStore) data).checkForEvent(formula);
		return null;
	}

	
	public Object visit(BracketFormula formula, Object data)
			throws ParseException {
		formula.formula().accept(this, data);
		return null;
	}

	
	public Object visit(ScopedGoalFormula formula, Object data) throws ParseException {
		formula.goal().accept(this, data);
		return null;
	}

	
	public Object visit(SynchronizedBlockStatement statement, Object data) throws ParseException {
		for (IStatement s: statement.statements()) {
			s.accept(this, data);
		}
		return null;
	}
	
	
	public Object visit(MaintainBlockStatement statement, Object data) throws ParseException {
		for (IStatement s: statement.statements()) {
			s.accept(this, data);
		}
		return null;
	}
	
	
	public Object visit(BlockStatement statement, Object data) throws ParseException {
		for (IStatement s: statement.statements()) {
			s.accept(this, data);
		}
		return null;
	}

	
	public Object visit(WhileStatement statement, Object data)
			throws ParseException {
		statement.statement().accept(this, data);
		return null;
	}

	
	public Object visit(ForEachStatement statement, Object data)
			throws ParseException {
		statement.statement().accept(this, data);
		return null;
	}
	
	
	public Object visit(ForAllStatement statement, Object data)
			throws ParseException {
		statement.statement().accept(this, data);
		return null;
	}

	
	public Object visit(TryRecoverStatement statement, Object data)
			throws ParseException {
		statement.tryStatement().accept(this, data);
		statement.recoverStatement().accept(this, data);
		return null;
	}

	
	public Object visit(IfStatement statement, Object data)
			throws ParseException {
		statement.ifStatement().accept(this, data);
		if (statement.elseStatement() != null) statement.elseStatement().accept(this, data);
		return null;
	}

	
	public Object visit(SpawnGoalStatement statement, Object data)
			throws ParseException {
		statement.goal().accept(this, data);
		return null;
	}

	
	public Object visit(SubGoalStatement statement, Object data)
			throws ParseException {
		statement.goal().accept(this, data);
		return null;
	}

	
	public Object visit(ScopedStatement statement, Object data)
			throws ParseException {
		statement.statement().accept(this, data);
		return null;
	}

	
	public Object visit(InitialElement element, Object data) throws ParseException {
		element.formula().accept(this, data);
		return null;
	}
}