All Downloads are FREE. Search and download functionalities are using the official Maven repository.

astra.ast.statement.MaintainBlockStatement Maven / Gradle / Ivy

There is a newer version: 1.4.3
Show newest version
package astra.ast.statement;

import java.util.List;

import astra.ast.core.AbstractElement;
import astra.ast.core.IElementVisitor;
import astra.ast.core.IFormula;
import astra.ast.core.IStatement;
import astra.ast.core.ParseException;
import astra.ast.core.Token;

public class MaintainBlockStatement extends AbstractElement implements IStatement {
	List statements;
	List recover;
	IFormula formula;
	
	public MaintainBlockStatement(IFormula formula, List statements, List recover, Token start, Token end, String source) {
		super(start, end, source);
		this.formula = formula;
		this.statements = statements;
		this.recover = recover;
	}

	public IStatement[] statements() {
		return statements.toArray(new IStatement[] {});
	}
	
	@Override
	public Object accept(IElementVisitor visitor, Object data) throws ParseException {
		return visitor.visit(this, data);
	}

	public String toString() {
		String out = "maintain (" + formula + ") { ";
		for (IStatement statement : statements) {
			out += statement + "; ";
		}
		if (!recover.isEmpty()) {
			out += "}  recover { ";
			for (IStatement statement : recover) {
				out += statement + "; ";
			}
		}
		return out + "}";
	}

	public IFormula formula() {
		return formula;
	}
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy