Package org.destecs.vdm.utility

Examples of org.destecs.vdm.utility.SeqValueInfo

307
308
309
310
311
312
313
314
315
316
317
      setSeqValue(val, values, sizeOfSeq, name);
    } else
    {
      for (List<Integer> index : indexes)
      {
        SeqValueInfo seqVal = findNestedSeq(val, index);
        int sizeOfSeq = size.get(size.size() - 1);
        setSeqValue(seqVal, values, sizeOfSeq, name);
        values = values.subList(sizeOfSeq, values.size());
      }
    }
View Full Code Here
398
399
400
401
402
403
404
405
406
407
408
    {
      Value valToInspect = val.value.values.get(index).deref();

      if (valToInspect instanceof SeqValue)
      {
        SeqValueInfo valToInspectSeq = (SeqValueInfo) VDMClassHelper.createValue(val.name, val.classDef, (SeqValue) valToInspect, val.cpu);
        return findNestedSeq(valToInspectSeq, indexes.subList(1, indexes.size()));
      }
    }
    return null;
View Full Code Here
TOP

Related Classes of org.destecs.vdm.utility.SeqValueInfo

  • org.destecs.vdm.BasicSimulationManager
    • 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.