VDMThread.java

package org.overture.codegen.runtime;

/**
 * This class was defined as intermediate layer class in order to extend through it the Thread class and activate the
 * daemon property for the threads that are started. The daemon property needs to be active in order for the Java
 * threads to have similar behavior as the VDM threads in respect to the JVM and the VDM debugger.
 * 
 * @author gkanos
 */
public class VDMThread extends Thread
{
	public VDMThread()
	{
		setDaemon(true);
	}
}