Package org.destecs.vdmj.scheduler

Examples of org.destecs.vdmj.scheduler.EventThread


        OperationValue eventOp = (OperationValue) val;
        if (eventOp.paramPatterns.size() == 0)
        {
          try
          {
            EventThread eThread = new EventThread(Thread.currentThread());
            BasicSchedulableThread.add(eThread);
            CPUResource.vCPU.register(eThread, 1000);
            eventOp.eval(coSimLocation, new ValueList(), mainContext);
            eThread.setState(RunState.COMPLETE);
            BasicSchedulableThread.remove(eThread);
            evaluated = true;
          } catch (ValueException e)
          {
            debugErr(e);
View Full Code Here

TOP

Related Classes of org.destecs.vdmj.scheduler.EventThread

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.