CollectivePredecessor.java

package edu.udel.cis.vsl.tass.ast2model.impl;

import java.io.PrintWriter;
import java.util.Collection;
import java.util.Map;

import edu.udel.cis.vsl.tass.ast2model.IF.CollectivePredecessorIF;
import edu.udel.cis.vsl.tass.model.IF.CollectiveAssertionIF;
import edu.udel.cis.vsl.tass.model.IF.FunctionIF;
import edu.udel.cis.vsl.tass.model.IF.ModelIF;
import edu.udel.cis.vsl.tass.model.IF.ProcessIF;
import edu.udel.cis.vsl.tass.model.IF.SyntaxException;
import edu.udel.cis.vsl.tass.model.IF.expression.ExpressionIF;
import edu.udel.cis.vsl.tass.model.IF.location.LocationIF;
import edu.udel.cis.vsl.tass.model.IF.statement.StatementIF;
import edu.udel.cis.vsl.tass.util.Source;

public class CollectivePredecessor implements CollectivePredecessorIF {

	StatementIF statement;
	Collection<CollectiveAssertionIF> assertions;
	Map<CollectiveAssertionIF, ExpressionIF> expressionMap;
	
	public CollectivePredecessor(StatementIF statement,
			Collection<CollectiveAssertionIF> assertions)
			throws SyntaxException {
		this.statement = statement;
		this.assertions = assertions;
	}

	@Override
	public Source getSource() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public void setSource(Source source) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public StatementIF statement() {
		return statement;
	}

	@Override
	public Collection<CollectiveAssertionIF> assertions() {
		return assertions;
	}

	@Override
	public void setStatement(StatementIF statement) {
		this.statement = statement;
	}

	@Override
	public void setAssertions(Collection<CollectiveAssertionIF> assertions) {
		this.assertions = assertions;
	}

	@Override
	public StatementKind kind() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public FunctionIF function() {
		return statement.function();
	}

	@Override
	public ProcessIF process() {
		return statement.process();
	}

	@Override
	public ModelIF model() {
		return statement.model();
	}

	@Override
	public LocationIF sourceLocation() {
		return statement.sourceLocation();
	}

	@Override
	public LocationIF targetLocation() {
		return null;
	}

	@Override
	public ExpressionIF guard() {
		return statement.guard();
	}

	@Override
	public StatementIF next() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public boolean isLocal() {
		// TODO Auto-generated method stub
		return false;
	}

	@Override
	public void print(PrintWriter out) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public Map<CollectiveAssertionIF, ExpressionIF> expressionMap() {
		return expressionMap;
	}

	@Override
	public ExpressionIF getExpression(CollectiveAssertionIF assertion) {
		return expressionMap.get(assertion);
	}

	@Override
	public void setExpressionMap(Map<CollectiveAssertionIF, ExpressionIF> map) {
		this.expressionMap = map;
	}

	@Override
	public void setExpression(CollectiveAssertionIF assertion,
			ExpressionIF expression) {
		expressionMap.put(assertion, expression);
	}

}