GraphBuilderUtil.java

package org.scribble.model;

import java.util.Collections;
import java.util.Set;

import org.scribble.main.ScribbleException;
import org.scribble.sesstype.kind.ProtocolKind;
import org.scribble.sesstype.name.RecVar;

// Helper class for EndpointGraphBuilder -- can access the protected setters of S
public abstract class GraphBuilderUtil
		<L, A extends MAction<K>, S extends MState<L, A, S, K>, K extends ProtocolKind>
{
	protected S entry;
	protected S exit;   // Tracking exit is convenient for merges (otherwise have to generate dummy merge nodes)
	
	public GraphBuilderUtil()
	{

	}
	
	// Separated from constructor in order to use newState
	public void reset()
	{
		this.entry = newState(Collections.emptySet());
		this.exit = newState(Collections.emptySet());
	}
	
	public abstract S newState(Set<RecVar> labs);
	
	public void addEntryLabel(L lab)
	{
		this.entry.addLabel(lab);
	}

	public void addEdge(S s, A a, S succ)
	{
		addEdgeAux(s, a, succ);
	}

	// Simply a visibility workaround helper -- cf., addEdge: public method that may be overridden
	protected final void addEdgeAux(S s, A a, S succ)
	{
		s.addEdge(a, succ);
	}
	
	protected final void removeEdgeAux(S s, A a, S succ) throws ScribbleException  // Exception necessary?
	{
		s.removeEdge(a, succ);
	}

	public S getEntry()
	{
		return this.entry;
	}

	public void setEntry(S entry)
	{
		this.entry = entry;
	}

	public S getExit()
	{
		return this.exit;
	}

	public void setExit(S exit)
	{
		this.exit = exit;
	}
}