Package org.overturetool.vdmj.definitions

Examples of org.overturetool.vdmj.definitions.ValueDefinition

738
739
740
741
742
743
744
745
746
747
748
749
750
          }
          for (Definition def : cd.definitions)
          {
            if (def instanceof ValueDefinition)
            {
              ValueDefinition vDef = (ValueDefinition) def;
              if (vDef.pattern.toString().equals(vName.variableName)
                  && vDef.isValueDefinition())
              {
                if (dimension.length == 1
                    && ((Integer) dimension[0] == 1))
                {
                  Double newValue = (Double) objValue[0];
View Full Code Here
929
930
931
932
933
934
935
936
937
938
939
940
941
942
        }
        for (Definition def : cd.definitions)
        {
          if (def instanceof ValueDefinition)
          {
            ValueDefinition vDef = (ValueDefinition) def;
            if (vDef.pattern.toString().equals(vName.variableName)
                && vDef.isValueDefinition()
                && vDef.getType() instanceof RealType)
            {
              if (vDef.exp instanceof RealLiteralExpression)
              {
                RealLiteralExpression exp = ((RealLiteralExpression) vDef.exp);
                LexRealToken token = exp.value;
View Full Code Here
TOP

Related Classes of org.overturetool.vdmj.definitions.ValueDefinition

  • 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.