Package org.overturetool.vdmj.values

Examples of org.overturetool.vdmj.values.OperationValue


    if (links.getEvents().keySet().contains(event))
    {
      Value val = getValue(event).value;
      if (val.deref() instanceof OperationValue)
      {
        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)
          {
View Full Code Here

TOP

Related Classes of org.overturetool.vdmj.values.OperationValue

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.