Package org.overturetool.vdmj.expressions

Examples of org.overturetool.vdmj.expressions.SeqEnumExpression

752
753
754
755
756
757
758
759
760
761
762
                } else
                {
                  // dealing with a sequence
                  if (vDef.exp instanceof SeqEnumExpression)
                  {
                    SeqEnumExpression seqEnum = (SeqEnumExpression) vDef.exp;
                    found = createSeqEnum(vName.variableName, seqEnum, objValue, dimension);
                  }

                }
              }
View Full Code Here
825
826
827
828
829
830
831
832
833
834
835
      }
      for (Expression exp : seqEnum.members)
      {
        if (exp instanceof SeqEnumExpression)
        {
          SeqEnumExpression seqEnumInner = (SeqEnumExpression) exp;
          for (Expression expInner : seqEnumInner.members)
          {
            found = found
                && setValueForSDP((Double) objValue[index++], expInner);
          }
View Full Code Here
848
849
850
851
852
853
854
855
856
857
858
    for (Expression exp : seqEnum.members)
    {
      if (exp instanceof SeqEnumExpression)
      {
        SeqEnumExpression seqEnumInner = (SeqEnumExpression) exp;
        if (seqEnumInner.members.size() != dimensions.get(1))
          return false;
      }
    }
View Full Code Here
TOP

Related Classes of org.overturetool.vdmj.expressions.SeqEnumExpression

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