Package: VDMThread

VDMThread

nameinstructionbranchcomplexitylinemethod
VDMThread()
M: 6 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%

Coverage

1: package org.overture.codegen.runtime;
2:
3: /**
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.
7: *
8: * @author gkanos
9: */
10: public class VDMThread extends Thread
11: {
12:         public VDMThread()
13:         {
14:                 setDaemon(true);
15:         }
16: }