Examples of RTOApp3

org.openquark.cal.internal.runtime.lecc.RTOApp3
This is a specialized representation of an oversaturated application in three arguments. It is used when it is known that the function will take one argument and produce another function which takes exactly two arguments. This means that this node can be treated like a fully saturated application. (i.e. the arity and arg count are zero). @author RCypher

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

   * This version of the logic returns an unboxed value.
   */
  public final boolean fUnboxed3S(RTValue $dictvarCal_Core_Prelude_Eq_44, RTValue entry, RTValue p, RTExecutionContext $ec) throws CALExecutorException {
    // Top level supercombinator logic
    return 
      (new RTOApp3(
        $dictvarCal_Core_Prelude_Eq_44, 
        _lambda__map__1.$L1_Int_0, 
        new RTRecordSelection.Ordinal(p, 2), 
        (((RTRecordValue)(java.lang.Object)
          entry.getValue())).getOrdinalFieldValue(

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

   * This method implements the function logic of the CAL function Cal.Utilities.DirectedGraph.$lambda$findPermutation$1
   */
  public final RTValue f3S(RTValue $dictvarCal_Core_Prelude_Eq_4, RTValue elem1, RTValue elem2, RTExecutionContext $ec) throws CALExecutorException {
    // Top level supercombinator logic
    return 
      new RTOApp3(
        $dictvarCal_Core_Prelude_Eq_4, 
        _lambda__find_Permutation__1.$L1_Int_0, 
        elem1, 
        elem2);
  }

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

        // Decompose data type to access members.
        RTValue value = $case1.get_value();
        RTValue leftSet = $case1.get_leftSet();
        RTValue rightSet = $case1.get_rightSet();


        switch ((new RTOApp3($dictvarCal_Core_Prelude_Ord_1, Split_Member.$L1_Int_5, x, value)).evaluate($ec).getOrdinalValue()) {


          case 0: {
            // Cal.Core.Prelude.LT
            RTValue letVar_pattern_found_lt_gt = 
              Split_Member.$pattern_found_lt_gt$9$def_Lazy(

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

        // Decompose data type to access members.
        RTValue value = $case1.get_value();
        RTValue leftSet = $case1.get_leftSet();
        RTValue rightSet = $case1.get_rightSet();


        switch ((new RTOApp3($dictvarCal_Core_Prelude_Ord_0, Delete.$L1_Int_5, x.getValue(), value)).evaluate($ec).getOrdinalValue()) {


          case 0: {
            // Cal.Core.Prelude.LT
            return 
              new RTFullApp.General._3._L(

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

            //fieldDict indexOfNotEqualsClassMethod xField yField


            //the commented out version also works, but is less optimal
            //if (fieldDict.apply(indexOfNotEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue()) {


            if ((new RTOApp3(fieldDict, indexOfNotEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue())) {
                return RTData.CAL_Boolean.TRUE;
            }
        }


        return RTData.CAL_Boolean.FALSE;

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

            //fieldDict indexOfNotEqualsClassMethod xField yField


            //the commented out version also works, but is less optimal
            //if (fieldDict.apply(indexOfNotEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue()) {


            if ((new RTOApp3(fieldDict, indexOfNotEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue())) {
                return true;
            }
        }


        return false;

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

            //fieldDict indexOfEqualsClassMethod xField yField


            //the commented out version also works, but is less optimal
            //if (!fieldDict.apply(indexOfEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue()) {


            if (!(new RTOApp3(fieldDict, indexOfEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue())) {
                return RTData.CAL_Boolean.FALSE;
            }
        }


        return RTData.CAL_Boolean.TRUE;

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

            //fieldDict indexOfEqualsClassMethod xField yField


            //the commented out version also works, but is less optimal
            //if (!fieldDict.apply(indexOfEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue()) {


            if (!(new RTOApp3(fieldDict, indexOfEqualsClassMethod, xField, yField).evaluate($ec).isLogicalTrue())) {
                return false;
            }
        }


        return true;

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

            //this is just (after inlining Prelude.compare d = d indexOfCompareClassMethod)
            //(where indexOfCompareClassMethod is the dictionary index of the compare method. See
            //ClassInstance.getDictionaryIndex for details).
            //fieldDict indexOfCompareClassMethod xField yField


            switch (new RTOApp3(fieldDict, indexOfCompareClassMethod, xField, yField).evaluate($ec).getOrdinalValue()) {
                case 0 :
                {
                    //Prelude.LT
                    return Prelude_LT;
                }

View Full Code Here

Examples of org.openquark.cal.internal.runtime.lecc.RTOApp3

            //this is just (after inlining Prelude.compare d = d indexOfCompareClassMethod)
            //(where indexOfCompareClassMethod is the dictionary index of the compare method. See
            //ClassInstance.getDictionaryIndex for details).
            //fieldDict indexOfCompareClassMethod xField yField


            switch (new RTOApp3(fieldDict, indexOfCompareClassMethod, xField, yField).evaluate($ec).getOrdinalValue()) {
                case 0 :
                {
                    //Prelude.LT
                    return Prelude_LT_INT;
                }

View Full Code Here

0 1

TOP

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.