RecursionDel.java

package org.scribble.del;

import org.scribble.ast.Recursion;
import org.scribble.ast.ScribNode;
import org.scribble.main.ScribbleException;
import org.scribble.sesstype.name.RecVar;
import org.scribble.visit.InlinedProtocolUnfolder;
import org.scribble.visit.ProtocolDefInliner;
import org.scribble.visit.env.UnfoldingEnv;
import org.scribble.visit.util.RecVarCollector;
import org.scribble.visit.wf.NameDisambiguator;

public abstract class RecursionDel extends CompoundInteractionNodeDel
{
	public RecursionDel()
	{

	}

	@Override
	public void enterDisambiguation(ScribNode parent, ScribNode child, NameDisambiguator disamb) throws ScribbleException
	{
		Recursion<?> rec = (Recursion<?>) child;
		RecVar rv = rec.recvar.toName();
		/*if (disamb.isBoundRecVar(rv))
		{
			throw new ScribbleException("Rec variable shadowing not currently allowed: " + rv); 
					// Inconsistent to disallow due to subprotocols and that NameDisambiguator is not an inlined or subprotocol visitor
		}*/
		//disamb.addRecVar(rv);
		disamb.pushRecVar(rv);
	}

	@Override
	public ScribNode leaveDisambiguation(ScribNode parent, ScribNode child, NameDisambiguator disamb, ScribNode visited) throws ScribbleException
	{
		Recursion<?> rec = (Recursion<?>) visited;
		/*RecVar rv = rec.recvar.toName();
		disamb.popRecVar(rv);*/
		RecVar rv = ((Recursion<?>) child).recvar.toName();  // visited may be already name mangled  // Not any more (refactored to inlining)
		disamb.popRecVar(rv);
		return rec;
	}

	@Override
	public void enterProtocolInlining(ScribNode parent, ScribNode child, ProtocolDefInliner inliner) throws ScribbleException
	{
		super.enterProtocolInlining(parent, child, inliner);
		Recursion<?> rec = (Recursion<?>) child;
		inliner.pushRecVar(rec.recvar.toName());
	}

	@Override
	public ScribNode leaveProtocolInlining(ScribNode parent, ScribNode child, ProtocolDefInliner inliner, ScribNode visited) throws ScribbleException
	{
		//Recursion<?> rec = (Recursion<?>) visited;
		RecVar origRV = ((Recursion<?>) child).recvar.toName();  // visited may be already name mangled
		inliner.popRecVar(origRV);
		return super.leaveProtocolInlining(parent, child, inliner, visited);
	}

	@Override
	public void enterInlinedProtocolUnfolding(ScribNode parent, ScribNode child, InlinedProtocolUnfolder unf) throws ScribbleException
	{
		super.enterInlinedProtocolUnfolding(parent, child, unf);
		Recursion<?> lr = (Recursion<?>) child;
		RecVar recvar = lr.recvar.toName();
		unf.setRecVar(recvar, lr);  // Cloned on use (on continue)
	}

	@Override
	public Recursion<?> leaveInlinedProtocolUnfolding(ScribNode parent, ScribNode child, InlinedProtocolUnfolder unf, ScribNode visited) throws ScribbleException
	{
		Recursion<?> rec = (Recursion<?>) visited;
		RecVar recvar = rec.recvar.toName();
		unf.removeRecVar(recvar);
		UnfoldingEnv merged = unf.popEnv().mergeContext((UnfoldingEnv) rec.block.del().env());
		unf.pushEnv(merged);
		return (Recursion<?>) super.leaveInlinedProtocolUnfolding(parent, child, unf, rec);
	}

	/*@Override
	public void enterChoiceUnguardedSubprotocolCheck(ScribNode parent, ScribNode child, ChoiceUnguardedSubprotocolChecker checker) throws ScribbleException
	{
		ScribDelBase.pushVisitorEnv(this, checker);
	}*/

	@Override
	public void enterRecVarCollection(ScribNode parent, ScribNode child, RecVarCollector coll)
	{
		coll.addName(((Recursion<?>) child).recvar.toName());
	}
}