Package org.openquark.cal.internal.javamodel.JavaExpression

Examples of org.openquark.cal.internal.javamodel.JavaExpression.MethodInvocation

7523
7524
7525
7526
7527
7528
7529
7530
7531
7532
7533
7534
            System.arraycopy(extraArgs, 0, args, 0, extraArgs.length);
            args[args.length-1] = SCJavaDefn.EXECUTION_CONTEXT_VAR;
            JavaTypeName[] argTypes = new JavaTypeName[args.length];
            Arrays.fill(argTypes, JavaTypeNames.RTVALUE);
            argTypes[argTypes.length-1] = JavaTypeNames.RTEXECUTION_CONTEXT;
            MethodInvocation fL = new MethodInvocation.Instance(rootExpression, "f" + (diff) + "L", args, argTypes, JavaTypeNames.RTVALUE, MethodInvocation.InvocationType.VIRTUAL);
            MethodInvocation eval = SCJavaDefn.createInvocation(fL, SCJavaDefn.EVALUATE, EXECUTION_CONTEXT_VAR);
            return new ExpressionContextPair(eval, b);
        }

        // Now we want to build the application chain. (As efficiently as possible).
        int nApplicationArguments = extraArgs.length;
View Full Code Here
7797
7798
7799
7800
7801
7802
7803
7804
7805
7806
7807
        argTypes[1] = JavaTypeName.STRING;
        args[2] = LiteralWrapper.make(currentModuleName.toSourceText());
        argTypes[2] = JavaTypeName.STRING;
        args[3] = LiteralWrapper.make(getFunctionName());
        argTypes[3] = JavaTypeName.STRING;
        MethodInvocation genMessage = new MethodInvocation.Static (JavaTypeNames.RTVALUE,
                                                            "generateForeignFunctionErrorMessage",
                                                            args,
                                                            argTypes,
                                                            argTypes[1]);
View Full Code Here
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
                String functionName = fgi.getFnNamePrefix(getFunctionName()) + "f";
                if (getArity() > 0) {
                    functionName = functionName + getArity() + "S";
                }

                MethodInvocation fNS =
                    new MethodInvocation.Instance(
                            null,
                            functionName,
                            argValues,
                            argTypes,
                            JavaTypeNames.RTVALUE,
                            MethodInvocation.InvocationType.VIRTUAL);

                LocalVariable result = new LocalVariable("$result", JavaTypeNames.RTVALUE);
                LocalVariableDeclaration resultDecl = new LocalVariableDeclaration(result, fNS);

                body.addStatement(resultDecl);

                for (int i = 0, n = getArity(); i < n; ++i) {
                    if (!isArgStrict(i) || !SCJavaDefn.canTypeBeUnboxed(getArgumentType(i))) {
                        // Null out the argument value.
                        Assignment nullOut =
                            new Assignment((JavaExpression.Nameable)argValues[i], LiteralWrapper.NULL);
                        body.addStatement(new ExpressionStatement(nullOut));
                    }
                }

                MethodInvocation eval = createInvocation(result, SCJavaDefn.EVALUATE, SCJavaDefn.EXECUTION_CONTEXT_VAR);
                JavaExpression unbox = SCJavaDefn.unboxValue(SCJavaDefn.typeExprToTypeName(resultType), eval);

                body.addStatement(new ReturnStatement(unbox));

                unboxedBodyCode = body;
View Full Code Here
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
                ExpressionContextPair arg = genS_C(appl.getE2(), variableContext);

                Block newContextBlock = target.getContextBlock();
                newContextBlock.addStatement(arg.getContextBlock());

                MethodInvocation applyMI = createInvocation(target.getJavaExpression(), APPLY, arg.getJavaExpression());
                MethodInvocation evaluateMI = createInvocation(applyMI, EVALUATE, EXECUTION_CONTEXT_VAR);//, ExecutionContextClassName));

                ecp = new ExpressionContextPair(evaluateMI, newContextBlock);
            }

            return ecp;
View Full Code Here
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
                ExpressionContextPair arg = genS_C(appl.getE2(), variableContext);

                JavaStatement.Block returnBlock = target.getContextBlock();
                returnBlock.addStatement(arg.getContextBlock());

                MethodInvocation mi = createInvocation(target.getJavaExpression(), APPLY, arg.getJavaExpression());
                return generateReturn (new ExpressionContextPair(mi, returnBlock), variableContext);
            }
        }

        //e is a record update
View Full Code Here
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
            }

            if (doCast) {
                target = new JavaExpression.CastExpression(JavaTypeNames.RTCONS, target);
            }
            MethodInvocation mi =
                new MethodInvocation.Instance (target,
                        "getFieldByIndex",
                        new JavaExpression[]{LiteralWrapper.make(new Integer(dcSelection.getDataConstructor().getOrdinal())),
                                             LiteralWrapper.make(new Integer(dcSelection.getFieldIndex())),
                                             getErrorInfo (dcSelection.getErrorInfo())},
                        new JavaTypeName[]{JavaTypeName.INT,
                                           JavaTypeName.INT,
                                           JavaTypeName.ERRORINFO},
                        JavaTypeNames.RTVALUE,
                        MethodInvocation.InvocationType.VIRTUAL);
            return new ExpressionContextPair (createInvocation(mi, EVALUATE, EXECUTION_CONTEXT_VAR), ecp.getContextBlock());
        }

        if (scheme == Scheme.R_SCHEME) {
            ExpressionContextPair ecp = genS_E (dcSelection.getDCValueExpr(), variableContext);
            JavaExpression target = ecp.getJavaExpression();
            if (!(target instanceof JavaExpression.ClassInstanceCreationExpression)) {
                target = new JavaExpression.CastExpression(JavaTypeNames.RTCONS, target);
            }
            MethodInvocation mi =
                new MethodInvocation.Instance (target,
                        "getFieldByIndex",
                        new JavaExpression[]{LiteralWrapper.make(new Integer(dcSelection.getDataConstructor().getOrdinal())),
                                             LiteralWrapper.make(new Integer(dcSelection.getFieldIndex())),
                                             getErrorInfo (dcSelection.getErrorInfo())},
View Full Code Here
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
2162
2163
2164
2165
2166
2167
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
2211
2212
2213
2214
2215
2216
2217
2218
2219
2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2249
2250
2251
2252
2253
2254
2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2271
2272
2273
2274
2275
                if (hasTupleOrdinalPart) {
                    //in the non-extension case, create code for:
                    //RTRecordValue.makeTupleMixedRecord(new RTValue[] {ordinalValues1, ..., ordinalValuesN},
                    //    new String[] {textualFieldName1, ..., textualFieldNameM},
                    //    new RTValue[] {textualFieldValue1, ..., textualFieldValueM}
                    MethodInvocation mi;
                    if (baseRecordExpr != null) {
                        mi = new MethodInvocation.Instance(
                            invocationTarget,
                            makeRecordCreationName("makeTupleMixedRecord", baseRecordExpr),
                            new JavaExpression[] {
                                createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext),
                                createTextualNamesArray(extensionFieldsData.getTextualNames()),
                                createTextualValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                            new JavaTypeName[] {JavaTypeNames.RTVALUE_ARRAY, JavaTypeName.STRING_ARRAY, JavaTypeNames.RTVALUE_ARRAY},
                            JavaTypeNames.RTRECORD_VALUE,
                            InvocationType.VIRTUAL);
                    } else {
                        //static invocation
                        mi = new MethodInvocation.Static(
                            JavaTypeNames.RTRECORD_VALUE,
                            makeRecordCreationName("makeTupleMixedRecord", null),
                            new JavaExpression[] {
                                createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext),
                                createTextualNamesArray(extensionFieldsData.getTextualNames()),
                                createTextualValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                            new JavaTypeName[] {JavaTypeNames.RTVALUE_ARRAY, JavaTypeName.STRING_ARRAY, JavaTypeNames.RTVALUE_ARRAY},
                            JavaTypeNames.RTRECORD_VALUE);
                    }
                    return new ExpressionContextPair (mi, recordExtensionBlock);
                }

                MethodInvocation mi;
                if (baseRecordExpr != null) {
                    mi = new MethodInvocation.Instance(
                        invocationTarget,
                        makeRecordCreationName("makeMixedRecord", baseRecordExpr),
                        new JavaExpression[] {
                            createOrdinalNamesArray(extensionFieldsData.getOrdinalNames()),
                            createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext),
                            createTextualNamesArray(extensionFieldsData.getTextualNames()),
                            createTextualValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                        new JavaTypeName[] {JavaTypeName.INT_ARRAY, JavaTypeNames.RTVALUE_ARRAY, JavaTypeName.STRING_ARRAY, JavaTypeNames.RTVALUE_ARRAY},
                        JavaTypeNames.RTRECORD_VALUE,
                        InvocationType.VIRTUAL);
                } else {
                    mi = new MethodInvocation.Static(
                        JavaTypeNames.RTRECORD_VALUE,
                        makeRecordCreationName("makeMixedRecord", null),
                        new JavaExpression[] {
                            createOrdinalNamesArray(extensionFieldsData.getOrdinalNames()),
                            createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext),
                            createTextualNamesArray(extensionFieldsData.getTextualNames()),
                            createTextualValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                        new JavaTypeName[] {JavaTypeName.INT_ARRAY, JavaTypeNames.RTVALUE_ARRAY, JavaTypeName.STRING_ARRAY, JavaTypeNames.RTVALUE_ARRAY},
                        JavaTypeNames.RTRECORD_VALUE);
                }

                return new ExpressionContextPair (mi, recordExtensionBlock);
            }

            if (hasTupleOrdinalPart) {

                MethodInvocation mi;
                if (baseRecordExpr != null) {
                    mi = new MethodInvocation.Instance(
                        invocationTarget,
                        makeRecordCreationName("makeTupleRecord", baseRecordExpr),
                        new JavaExpression[] {createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                        new JavaTypeName[] {JavaTypeNames.RTVALUE_ARRAY},
                        JavaTypeNames.RTRECORD_VALUE,
                        InvocationType.VIRTUAL);
                } else {
                    mi = new MethodInvocation.Static(
                        JavaTypeNames.RTRECORD_VALUE,
                        makeRecordCreationName("makeTupleRecord", null),
                        new JavaExpression[] {createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                        new JavaTypeName[] {JavaTypeNames.RTVALUE_ARRAY},
                        JavaTypeNames.RTRECORD_VALUE);
                }

                return new ExpressionContextPair(mi, recordExtensionBlock);
            }

            MethodInvocation mi;
            if (baseRecordExpr != null) {
                mi = new MethodInvocation.Instance(
                    invocationTarget,
                    makeRecordCreationName("makeOrdinalRecord", baseRecordExpr),
                    new JavaExpression[] {
                        createOrdinalNamesArray(extensionFieldsData.getOrdinalNames()),
                        createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                    new JavaTypeName[] {JavaTypeName.INT_ARRAY, JavaTypeNames.RTVALUE_ARRAY},
                    JavaTypeNames.RTRECORD_VALUE,
                    InvocationType.VIRTUAL);
            } else {
                mi = new MethodInvocation.Static(
                    JavaTypeNames.RTRECORD_VALUE,
                    makeRecordCreationName("makeOrdinalRecord", null),
                    new JavaExpression[] {
                        createOrdinalNamesArray(extensionFieldsData.getOrdinalNames()),
                        createOrdinalValuesArray(extensionFieldsData, recordExtensionBlock, variableContext)},
                    new JavaTypeName[] {JavaTypeName.INT_ARRAY, JavaTypeNames.RTVALUE_ARRAY},
                    JavaTypeNames.RTRECORD_VALUE);
            }

            return new ExpressionContextPair (mi, recordExtensionBlock);
        }

        if (nTextualFields > 0) {

            //create code for:
            //RTRecordValue.makeTextualRecord(new String[] {textualFieldName1, ..., textualFieldNameN},
            //    new RTValue[] {valueExpr1, ...., valueExprN})
            //or
            //baseRecordExpr.makeTextualRecordExtension(new String[] {textualFieldName1, ..., textualFieldNameN},
            //    new RTValue[] {valueExpr1, ...., valueExprN})

            MethodInvocation mi;
            if (baseRecordExpr != null) {
                mi = new MethodInvocation.Instance(
                    invocationTarget,
                    makeRecordCreationName("makeTextualRecord", baseRecordExpr),
                    new JavaExpression[] {createTextualNamesArray(extensionFieldsData.getTextualNames()),
View Full Code Here
8211
8212
8213
8214
8215
8216
8217
8218
8219
8220
8221
                    LocalVariableDeclaration letDecl = new LocalVariableDeclaration(letNameVariable, newIndirection);
                    declarationBlock.addStatement(letDecl);

                    // Emit let variable definition.
                    // letName.setResult(letDef);
                    MethodInvocation letInvocation = createInvocation(letNameVariable, SETRESULT, boxedVarDef);
                    definitionBlock.addStatement(new ExpressionStatement(letInvocation));
                } else
                if (info instanceof VarInfo.LetNonRec) {
                    // This variable is referenced multiple times.
                    // We need to declare/initialize a local java variable.
View Full Code Here
8322
8323
8324
8325
8326
8327
8328
8329
8330
8331
8332
                    varInfo.updateStrictReference(boxedReference);
                } else {
                    // Since we know that the argument is strict we can call getValue on the lazy reference
                    // for the strict reference.
                    varInfo.updateLazyReference(straightReference);
                    MethodInvocation getValue = new MethodInvocation.Instance(straightReference, "getValue", JavaTypeNames.RTVALUE, MethodInvocation.InvocationType.VIRTUAL);
                    varInfo.updateStrictReference(getValue);
                }
            } else {
                // Without an arg type the lazy reference is just the arg and there is no unboxed ref or strict ref.
                varInfo.updateLazyReference(straightReference);
View Full Code Here
TOP

Related Classes of org.openquark.cal.internal.javamodel.JavaExpression.MethodInvocation

  • org.openquark.cal.internal.javamodel.AsmJavaBytecodeGenerator
  • org.openquark.cal.internal.javamodel.JavaBindingGenerator
  • org.openquark.cal.internal.machine.lecc.JavaDefinitionBuilder$DataConsDefinitionBuilder
  • org.openquark.cal.internal.machine.lecc.JavaDefinitionBuilder$DataTypeDefinitionBuilder
  • org.openquark.cal.internal.machine.lecc.JavaDefinitionBuilder$SCDefinitionBuilder
  • org.openquark.cal.internal.machine.lecc.SCJavaDefn
  • org.openquark.cal.internal.machine.lecc.SCJavaDefn$UnboxedReturnCopier
  • org.openquark.cal.internal.machine.lecc.SCJavaDefn$VariableContext
    • 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.