Package org.overturetool.vdmj.values

Examples of org.overturetool.vdmj.values.Value.deref()

249
250
251
252
253
254
255
256
257
258
259
  {
    boolean evaluated = false;
    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
View Full Code Here
290
291
292
293
294
295
296
297
298
299
300
    {
      List<String> varName = links.getQualifiedName(name);

      Value value = VDMClassHelper.digForVariable(varName.subList(1, varName.size()), list).value;

      if (value.deref() instanceof UndefinedValue)
      {
        throw new RemoteSimulationException("Value: " + name
            + " not initialized");
      }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.