Skip to content
1: package org.overture.codegen.runtime;
4: * This class was defined as intermediate layer class in order to extend through it the Thread class and activate the
5: * daemon property for the threads that are started. The daemon property needs to be active in order for the Java
6: * threads to have similar behavior as the VDM threads in respect to the JVM and the VDM debugger.
8: * @author gkanos
10: public class VDMThread extends Thread
12:         public VDMThread()