InlineProtocolEnv.java

package org.scribble.visit.env;

import org.scribble.ast.ScribNode;

public class InlineProtocolEnv extends Env<InlineProtocolEnv>
{
	private ScribNode inlined;
	
	public InlineProtocolEnv()
	{

	}

	@Override
	protected InlineProtocolEnv copy()
	{
		return new InlineProtocolEnv();
	}

	@Override
	public InlineProtocolEnv enterContext()
	{
		return copy();
	}

	public ScribNode getTranslation()
	{
		return this.inlined;
	}
	
	public InlineProtocolEnv setTranslation(ScribNode inlined)
	{
		InlineProtocolEnv copy = new InlineProtocolEnv();
		copy.inlined = inlined;
		return copy;
	}

	@Override
	public String toString()
	{
		return "inlined=" + this.inlined;
	}
}