Examples of org.openquark.gems.client.Gem.PartInput.inferType()

        final TypeExpr inputTypeExpr;
        TypeExpr outputTypeExpr = TypeExpr.makeParametricType();
        
        //determine the input type 
        if (inputPart.isConnected() ) {
            inputTypeExpr = inputPart.inferType(tableTop.getTypeCheckInfo()) ;
            if (recordFieldSelectionGem.getOutputPart().getConnection() != null) {
                outputTypeExpr = recordFieldSelectionGem.getOutputPart().inferType(tableTop.getTypeCheckInfo());
            }
        } else if (inputPart.isBurnt() && recordFieldSelectionGem.getOutputPart().getConnection() != null) {   
            TypeExpr outputType = recordFieldSelectionGem.getOutputPart().inferType(tableTop.getTypeCheckInfo());


            // Broken if the arg type doesn't unify with its inferred type, or
            // if the attached gem
            // is a value gem and the value system is unable to handle the type
            // of the argument.
            TypeExpr inferredInputType = input.inferType(typeCheckInfo);
            if (!GemGraph.typesWillUnify(argType, inferredInputType, typeCheckInfo)
                    || (input.getConnectedGem() instanceof ValueGem && !valueEditorManager.canInputDefaultValue(argType))) {


                incompatiblyConnectedPartToInferredTypeMap.put(input, inferredInputType);
            }

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.