InitThread.java

/*******************************************************************************
 *
 *	Overture.
 *
 *	Author: Kenneth Lausdahl
 *
 *	This file is part of VDMJ.
 *
 *	VDMJ is free software: you can redistribute it and/or modify
 *	it under the terms of the GNU General Public License as published by
 *	the Free Software Foundation, either version 3 of the License, or
 *	(at your option) any later version.
 *
 *	VDMJ is distributed in the hope that it will be useful,
 *	but WITHOUT ANY WARRANTY; without even the implied warranty of
 *	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *	GNU General Public License for more details.
 *
 *	You should have received a copy of the GNU General Public License
 *	along with VDMJ.  If not, see <http://www.gnu.org/licenses/>.
 *
 ******************************************************************************/

package org.overture.interpreter.scheduler;

import org.overture.ast.intf.lex.ILexLocation;
import org.overture.interpreter.runtime.Context;
import org.overture.interpreter.values.ObjectValue;
import org.overture.util.NotSupportedError;

/**
 * This class is used as a wrapper class for the main Java thread which initializes VDM, it should now be used in the
 * VDM evaluation.
 * 
 * @author kela
 */
public class InitThread implements ISchedulableThread
{
	private Thread thread;
	private long tid = 0;

	public InitThread(Thread t)
	{
		this.tid = BasicSchedulableThread.nextThreadID();
		this.thread = t;
	}

	public void duration(long pause, Context ctxt, ILexLocation location)
	{
		throw new NotSupportedError();
	}

	public CPUResource getCPUResource()
	{
		throw new NotSupportedError();
	}

	public long getDurationEnd()
	{
		throw new NotSupportedError();
	}

	public long getId()
	{
		return tid;
	}

	public String getName()
	{
		return this.thread.getName();
	}

	public ObjectValue getObject()
	{
		return null;
	}

	public RunState getRunState()
	{
		return RunState.RUNNING;
	}

	public long getSwapInBy()
	{
		throw new NotSupportedError();
	}

	public Thread getThread()
	{
		return this.thread;
	}

	public long getTimestep()
	{
		throw new NotSupportedError();
	}

	public void inOuterTimestep(boolean b)
	{
		throw new NotSupportedError();
	}

	public boolean inOuterTimestep()
	{
		throw new NotSupportedError();
	}

	public boolean isActive()
	{
		throw new NotSupportedError();
	}

	public boolean isAlive()
	{
		throw new NotSupportedError();
	}

	public boolean isPeriodic()
	{
		return false;
	}

	public boolean isVirtual()
	{
		throw new NotSupportedError();
	}

	public void locking(Context ctxt, ILexLocation location)
	{
		throw new NotSupportedError();
	}

	public void run()
	{
		throw new NotSupportedError();
	}

	public void runslice(long slice)
	{
		throw new NotSupportedError();
	}

	public void setName(String name)
	{
		throw new NotSupportedError();
	}

	public void setSignal(Signal sig)
	{
		throw new NotSupportedError();
	}

	public void setState(RunState newstate)
	{
		throw new NotSupportedError();
	}

	public void setSwapInBy(long swapInBy)
	{
		throw new NotSupportedError();
	}

	public void setTimestep(long step)
	{
		throw new NotSupportedError();
	}

	public void start()
	{
		throw new NotSupportedError();
	}

	public void step(Context ctxt, ILexLocation location)
	{
		throw new NotSupportedError();
	}

	public void suspendOthers()
	{
		throw new NotSupportedError();
	}

	public void waiting(Context ctxt, ILexLocation location)
	{
		throw new NotSupportedError();
	}

	public void alarming(long expected)
	{
		throw new NotSupportedError();
	}

	public long getAlarmWakeTime()
	{
		throw new NotSupportedError();
	}

	public void clearAlarm()
	{
		throw new NotSupportedError();
	}

	public boolean stopThread()
	{
		throw new NotSupportedError();
	}

	public void reschedule(Context ctxt, ILexLocation location)
	{
		throw new NotSupportedError();
	}
}