Package org.overturetool.vdmj.values

Examples of org.overturetool.vdmj.values.SeqValue

229
230
231
232
233
234
235
236
237
238
239
      value = ((TransactionValue) value).deref();
    }

    if (value instanceof SeqValue)
    {
      SeqValue seqValue = (SeqValue) value;
      result = getDoubleListFromSeq(seqValue);
      return result;
    }

    if (value.isNumeric())
View Full Code Here
328
329
330
331
332
333
334
335
336
337
338
  {
    List<Integer> result = new Vector<Integer>();

    if (value instanceof SeqValue)
    {
      SeqValue seqValue = (SeqValue) value;
      result.add(seqValue.values.size());
      if (seqValue.values.size() > 0)
      {
        if (seqValue.values.get(0) instanceof SeqValue)
        {
View Full Code Here
TOP

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

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