ConcPrefixes.java

package org.overture.codegen.trans.conc;

public class ConcPrefixes
{
	public String sentinelClassName()
	{
		return "Sentinel";
	}

	public String vdmThreadClassName()
	{
		return "VDMThread";
	}

	public String initMethodName()
	{
		return "init";
	}

	public String instanceParamName()
	{
		return "instance";
	}

	public String evalPpTypeName()
	{
		return "EvaluatePP";
	}

	public String sentinelClassPostFix()
	{
		return "_sentinel";
	}

	public String funcSumConstFieldName()
	{
		return "function_sum";
	}

	public String nativeIntTypeName()
	{
		return "int";
	}

	public String enteringMethodName()
	{
		return "entering";
	}

	public String leavingMethodName()
	{
		return "leaving";
	}

	public String funcNumberParamName()
	{
		return "fnr";
	}

	public String sentinelInstanceName()
	{
		return "sentinel";
	}

	public String evalPpMethodName()
	{
		return "evaluatePP";
	}

	public String activeHistOpTypeName()
	{
		return "active";
	}

	public String stateChangedMethodName()
	{
		return "stateChanged";
	}
}