Examples of org.openquark.cal.compiler.TypeExpr

org.openquark.cal.compiler.TypeExpr
The internal representation of type expressions. Some examples are (schematically) a -> b, Int, (Int, a -> Boolean).
From the point of view of client packages outside the compiler package, TypeExpr is an immutable class.
Replacing an instantiated type variable by its instantiation results in an equivalent type.
TypeExpr is not an immutable class, but its state transitions are limited. The only state transitions allowed are:
1. pruning (replacing instantiated type variables by their instantiations. This preserves the type equivalence class).
2. instantiating an uninstantiated type variable to a type constructor or to a type variable with more stringent type class constraints. This makes the type expression a specialization of the original type expression.
As a consequence, type expressions whose types do not depend on type variables will always represent the same type.
Creation date: (July 17, 2000) @author Bo Ilic


        // If the gem can't have inputs check if it is connectable.
        int numArgs = thisGem.getNInputs();
        if (numArgs == 0 || thisGem instanceof CollectorGem) {
            
            TypeExpr gemType = thisGem.getOutputPart().getType();
            if (TypeExpr.canUnifyType(gemType, typeToUnify, currentModuleTypeInfo)) {
                return AutoburnLogic.AutoburnAction.NOTHING;    
            } else {
                return AutoburnLogic.AutoburnAction.IMPOSSIBLE;
            }

View Full Code Here

     * 
     * @param gemEntity
     * @return Returns true iff the signature of the gem is suitable. In practice, this means that the gem returns Boolean.
     */
    protected boolean checkSignature (GemEntity gemEntity) {
        TypeExpr gemTypeExpr = gemEntity.getTypeExpr();
        
        return gemTypeExpr.getResultType().isNonParametricType(CAL_Prelude.TypeConstructors.Boolean);
    }

View Full Code Here

     * @param envEntity the FunctionalAgent being documented. Can be null if the comment is not for an FunctionalAgent.
     * @param scopedEntityNamingPolicy the naming policy to use for generating qualified/unqualified names.
     * @return a plain text representation for the comment.
     */
    public static String getTextFromCALDocComment(final CALDocComment caldoc, final FunctionalAgent envEntity, final ScopedEntityNamingPolicy scopedEntityNamingPolicy) {
        TypeExpr typeExpr;
        if (envEntity == null) {
            typeExpr = null;
        } else {
            typeExpr = envEntity.getTypeExpr();
        }

View Full Code Here

     * @param caldoc the associated CALDoc. Can be null.
     * @param envEntity the associated entity. Can be null.
     * @param scopedEntityNamingPolicy the naming policy to use for generating qualified/unqualified names.
     */
    public static String getTextForArgumentsAndReturnValue(final CALDocComment caldoc, final FunctionalAgent envEntity, final ScopedEntityNamingPolicy scopedEntityNamingPolicy) {
        TypeExpr typeExpr;
        if (envEntity == null) {
            typeExpr = null;
        } else {
            typeExpr = envEntity.getTypeExpr();
        }

View Full Code Here

        }
    }
    
    private QualifiedName qualifyTypeClass(String typeClassName) {
        CompilerMessageLogger logger = new MessageLogger();
        TypeExpr typeExpr = getTypeChecker().getTypeFromString(typeClassName + " a => a", targetModule, logger);
        
        if (logger.getNErrors() > 0) {
            dumpCompilerMessages(logger);
            return null;
        }
        
        String typeString = typeExpr.toString(ScopedEntityNamingPolicy.FULLY_QUALIFIED);
        
        String qualifiedTypeClassName = typeString.substring(0, typeString.indexOf(' '));
        
        if (qualifiedTypeClassName.indexOf('.') != -1) {
            return QualifiedName.makeFromCompoundName(qualifiedTypeClassName);

View Full Code Here

                String typeClassName = args.substring(0, nextSpace);
                String instanceTypeString = args.substring(nextSpace).trim();
                
                QualifiedName qualifiedTypeClassName = resolveTypeClassName(typeClassName);
                CompilerMessageLogger logger = new MessageLogger();
                TypeExpr instanceTypeExpr = getTypeChecker().getTypeFromString(instanceTypeString, targetModule, logger);
                
                if (logger.getNErrors() > 0) {
                    dumpCompilerMessages(logger);
                } else if (qualifiedTypeClassName != null) {
                    ClassInstanceIdentifier id;

View Full Code Here

                String typeClassName = args.substring(0, nextSpace);
                String instanceTypeString = args.substring(nextSpace).trim();
                
                QualifiedName qualifiedTypeClassName = resolveTypeClassName(typeClassName);
                CompilerMessageLogger logger = new MessageLogger();
                TypeExpr instanceTypeExpr = getTypeChecker().getTypeFromString(instanceTypeString, targetModule, logger);
                
                if (logger.getNErrors() > 0) {
                    dumpCompilerMessages(logger);
                } else if (qualifiedTypeClassName != null) {
                    ClassInstanceIdentifier id;
                    if (instanceTypeExpr instanceof RecordType) {
                        
                        RecordType recordType = (RecordType)instanceTypeExpr;
                        if (recordType.isRecordPolymorphic()) {
                            id = new UniversalRecordInstance(qualifiedTypeClassName);
                        } else {
                            throw new IllegalArgumentException();
                        }
                    } else if (instanceTypeExpr instanceof TypeConsApp) {
                        id = new TypeConstructorInstance(qualifiedTypeClassName, ((TypeConsApp)instanceTypeExpr).getName());
                    } else {
                        throw new IllegalArgumentException();        
                    }
                    
                    ModuleTypeInfo typeInfo = workspaceManager.getModuleTypeInfo(targetModule);
                    if (typeInfo == null) {
                        iceLogger.log(Level.INFO, "The module " + targetModule + " does not exist.");
                    } else {
                        ClassInstance instance = typeInfo.getVisibleClassInstance(id);
                        
                        if (instance == null) {
                            iceLogger.log(Level.INFO, "The instance " + id + " does not exist.");
                        } else {
                            ScopedEntityNamingPolicy scopedEntityNamingPolicy = new ScopedEntityNamingPolicy.UnqualifiedUnlessAmbiguous(typeInfo);
                            
                            TypeExpr instanceMethodTypeExpr = instance.getInstanceMethodType(methodName);
                            
                            iceLogger.log(Level.INFO, methodName + " :: " + instanceMethodTypeExpr.toString(scopedEntityNamingPolicy) + "\n");
                            
                            ClassMethod classMethod = instance.getTypeClass().getClassMethod(methodName);
                            
                            try {
                                CALDocComment comment = instance.getMethodCALDocComment(methodName);

View Full Code Here

            }
            
            String scDef = qualificationResults.getQualifiedCode();
            scDef = targetName + " = \n" + scDef + "\n;";
            
            TypeExpr te = getTypeChecker().checkFunction(new AdjunctSource.FromText(scDef), targetModule, logger);
            if (te == null) {
                iceLogger.log(Level.INFO, "Attempt to type expression has failed because of errors: ");
                dumpCompilerMessages(logger);
                return;
            } 
            
            //we want to display the type using fully qualified type constructor names, but also making use of 
            //preferred names of type are record variables
            iceLogger.log(Level.INFO, "  " + te.toString(true, ScopedEntityNamingPolicy.FULLY_QUALIFIED) + "\n");
        }
    }

View Full Code Here

        InputListItem item = getSelectedInputListItem ();


        propertyCombo.removeAllItems ();


        if (item != null) {
            TypeExpr inputTypeExpr = item.typeExpr;


            int inputDataType = typeExprToDataType (inputTypeExpr);


            propertyCombo.initialise(jobDescription.getMessagePropertyDescriptions (), inputDataType);
        }

View Full Code Here

            BasicCALServices calServices = MonitorApp.getInstance().getCalServices();
 
            //for all message properties consider which metrics are suitable
            Collection<MessagePropertyDescription> msgProperties = jobDescription.getMessagePropertyDescriptions(); 
            for (final MessagePropertyDescription propertyInfo : msgProperties) {
                TypeExpr propertyType = propertyInfo.getCalType(calServices);
                               
                Set<GemEntity> gemEntities = new MetricGemFilter(propertyType, inputItem.typeExpr).getMatchingGems();
                for (final GemEntity gemEntity : gemEntities) {
                    metricCombo.addItem(new MetricComboItem (new MetricDescription(gemEntity.getName(), propertyInfo )));

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of org.openquark.cal.compiler.TypeExpr

org.openquark.cal.caldoc.CALDocToJavaDocUtilities

org.openquark.cal.caldoc.CALDocToTextUtilities

org.openquark.cal.caldoc.HTMLDocumentationGenerator

org.openquark.cal.ICE

org.openquark.cal.internal.javamodel.JavaBindingGenerator

org.openquark.cal.internal.machine.DynamicRuntimeEnvironment

org.openquark.cal.internal.machine.lecc.JavaDefinitionBuilder$DataConsDefinitionBuilder

org.openquark.cal.internal.machine.lecc.JavaDefinitionBuilder$DataTypeDefinitionBuilder

org.openquark.cal.internal.machine.lecc.SCJavaDefn

org.openquark.cal.internal.machine.lecc.SCJavaDefn$UnboxedReturnCopier

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.