Package org.overturetool.vdmj.expressions

Examples of org.overturetool.vdmj.expressions.RealLiteralExpression

866
867
868
869
870
871
872
873
874
875
876
  {
    boolean found = false;

    if (exp != null && exp instanceof RealLiteralExpression)
    {
      RealLiteralExpression rExp = ((RealLiteralExpression) exp);
      LexRealToken token = rExp.value;

      Field valueField = LexRealToken.class.getField("value");
      valueField.setAccessible(true);
View Full Code Here
891
892
893
894
895
896
897
898
899
900
901
    } else if (vDef.exp != null
        && vDef.exp instanceof IntegerLiteralExpression
        || vDef.exp instanceof UnaryMinusExpression)
    {
      RealLiteralExpression newReal = new RealLiteralExpression(new LexRealToken(newValue, vDef.location));
      Field valDefField = ValueDefinition.class.getField("exp");
      valDefField.setAccessible(true);
      valDefField.set(vDef, newReal);
      found = true;
    }
View Full Code Here
936
937
938
939
940
941
942
943
944
945
946
                && vDef.isValueDefinition()
                && vDef.getType() instanceof RealType)
            {
              if (vDef.exp instanceof RealLiteralExpression)
              {
                RealLiteralExpression exp = ((RealLiteralExpression) vDef.exp);
                LexRealToken token = exp.value;
                List<Double> value = new Vector<Double>();
                value.add(token.value);
                List<Integer> size = new Vector<Integer>();
                size.add(1);
View Full Code Here
TOP

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

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