Examples of org.openquark.cal.compiler.QualifiedName

org.openquark.cal.compiler.QualifiedName
A simple wrapper class for holding onto names qualified by their module source. There are also a variety of static constants representing the names of well known Prelude type constructors, data constructors and functions. This class must remain immutable. @author Bo Ilic

     * @param typeConsName
     */
    private void command_docType(String typeConsName) {
        if (this.workspaceManager != null) {
            synchronized (this.workspaceManager) {
                QualifiedName qualifiedTypeName = resolveTypeConsName(typeConsName);
                if (qualifiedTypeName != null) {
                    ModuleName moduleName = qualifiedTypeName.getModuleName();
                    ModuleTypeInfo typeInfo = workspaceManager.getModuleTypeInfo(moduleName);
                    if (typeInfo == null) {
                        iceLogger.log(Level.INFO, "The module " + moduleName + " does not exist.");
                    } else {
                        String typeName = qualifiedTypeName.getUnqualifiedName();
                        TypeConstructor typeCons = typeInfo.getTypeConstructor(typeName);
                        if (typeCons == null) {
                            iceLogger.log(Level.INFO, "The type constructor " + qualifiedTypeName + " does not exist.");
                        } else {
                            CALDocComment comment = typeCons.getCALDocComment();

View Full Code Here

     * @param expression
     */
    private void command_docDataConstructor (String expression) {
        if (this.workspaceManager != null) {
            synchronized (this.workspaceManager) {
                QualifiedName qualifiedDataConsName = resolveDataConsName(expression);
                if (qualifiedDataConsName != null) {
                    ModuleName moduleName = qualifiedDataConsName.getModuleName();
                    ModuleTypeInfo typeInfo = workspaceManager.getModuleTypeInfo(moduleName);
                    if (typeInfo == null) {
                        iceLogger.log(Level.INFO, "The module " + moduleName + " does not exist.");
                    } else {
                        String dataConsName = qualifiedDataConsName.getUnqualifiedName();
                        DataConstructor dataCons = typeInfo.getDataConstructor(dataConsName);
                        if (dataCons == null) {
                            iceLogger.log(Level.INFO, "The data constructor " + qualifiedDataConsName + " does not exist.");
                        } else {
                            ScopedEntityNamingPolicy scopedEntityNamingPolicy = new ScopedEntityNamingPolicy.UnqualifiedUnlessAmbiguous(typeInfo);

View Full Code Here

     * @param typeClassString
     */
    private void command_docTypeClass (String typeClassString) {
        if (this.workspaceManager != null) {
            synchronized (this.workspaceManager) {
                QualifiedName qualifiedTypeClassName = resolveTypeClassName(typeClassString);
                if (qualifiedTypeClassName != null) {
                    ModuleName moduleName = qualifiedTypeClassName.getModuleName();
                    ModuleTypeInfo typeInfo = workspaceManager.getModuleTypeInfo(moduleName);
                    if (typeInfo == null) {
                        iceLogger.log(Level.INFO, "The module " + moduleName + " does not exist.");
                    } else {
                        String typeClassName = qualifiedTypeClassName.getUnqualifiedName();
                        TypeClass typeClass = typeInfo.getTypeClass(typeClassName);
                        if (typeClass == null) {
                            iceLogger.log(Level.INFO, "The type class " + qualifiedTypeClassName + " does not exist.");
                        } else {
                            CALDocComment comment = typeClass.getCALDocComment();

View Full Code Here

                
                int nextSpace = args.indexOf(' ');
                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);

View Full Code Here

                args = args.substring(nextSpace).trim();
                nextSpace = args.indexOf(' ');
                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);

View Full Code Here

        
        String type = argument.trim();
        
        if (this.workspaceManager != null) {
            synchronized (this.workspaceManager) {
                QualifiedName qualifiedTypeName = resolveTypeConsName(type);
                if (qualifiedTypeName != null) {
                    ModuleName moduleName = qualifiedTypeName.getModuleName();
                    ModuleTypeInfo typeInfo = workspaceManager.getModuleTypeInfo(moduleName);
                    if (typeInfo == null) {
                        iceLogger.log(Level.INFO, "The module " + moduleName + " does not exist.");
                    } else {
                        String typeName = qualifiedTypeName.getUnqualifiedName();
                        TypeConstructor typeCons = typeInfo.getTypeConstructor(typeName);
                        if (typeCons == null) {
                            iceLogger.log(Level.INFO, "The type constructor " + qualifiedTypeName + " does not exist.");
                        } else if (typeCons.getNDataConstructors() == 0) {
                            iceLogger.log(Level.INFO, "The type " + typeCons.getName() + " is not an algebraic type.");

View Full Code Here

                            arguments.consumeArgument();
                            
                            final String entryPointNameString = arguments.getAndConsumeArgument();
                            final String mainClassName = arguments.getAndConsumeArgument();


                            QualifiedName entryPointName = resolveFunctionOrClassMethodName(entryPointNameString);
                            if (entryPointName == null) {
                                iceLogger.info("Invalid entry point: " + entryPointNameString);
                                return;
                            }
                            
                            // Try to resolve the module name
                            final ModuleName unresolvedModuleName = entryPointName.getModuleName();
                            final ModuleName resolvedModuleName = resolveModuleNameInProgram(unresolvedModuleName.toSourceText(), true);
                            
                            if (resolvedModuleName == null) {
                                return; // a message was already logged about this
                            }
                            
                            // Put in the resolved module name
                            entryPointName = QualifiedName.make(resolvedModuleName, entryPointName.getUnqualifiedName());
                            
                            try {
                                mainClassSpecs.add(MainClassSpec.make(mainClassName, entryPointName));
                                
                            } catch (final StandaloneJarBuilder.InvalidConfigurationException e) {

View Full Code Here

     * @return a QualifiedName for the resolved function, or null if the name cannot be resolved.
     */
    private QualifiedName resolveFunctionOrClassMethodName(String name) {
        ModuleTypeInfo moduleTypeInfo = getWorkspaceManager().getModuleTypeInfo(targetModule);
        
        QualifiedName resolvedName = CodeAnalyser.resolveEntityNameAccordingToImportUsingClauses(name, Category.TOP_LEVEL_FUNCTION_OR_CLASS_METHOD, moduleTypeInfo);
        
        if (resolvedName != null) {
            return resolvedName;
        } else {
            return qualifyExpression(name);

View Full Code Here

     * @return a QualifiedName for the resolved data constructor, or null if the name cannot be resolved.
     */
    private QualifiedName resolveDataConsName(String name) {
        ModuleTypeInfo moduleTypeInfo = getWorkspaceManager().getModuleTypeInfo(targetModule);
        
        QualifiedName resolvedName = CodeAnalyser.resolveEntityNameAccordingToImportUsingClauses(name, Category.DATA_CONSTRUCTOR, moduleTypeInfo);
        
        if (resolvedName != null) {
            return resolvedName;
        } else {
            return qualifyExpression(name);

View Full Code Here

     * @return a QualifiedName for the resolved type constructor, or null if the name cannot be resolved.
     */
    private QualifiedName resolveTypeConsName(String name) {
        ModuleTypeInfo moduleTypeInfo = getWorkspaceManager().getModuleTypeInfo(targetModule);
        
        QualifiedName resolvedName = CodeAnalyser.resolveEntityNameAccordingToImportUsingClauses(name, Category.TYPE_CONSTRUCTOR, moduleTypeInfo);
        
        if (resolvedName != null) {
            return resolvedName;
        } else {
            return qualifyType(name);

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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

org.openquark.cal.caldoc.AbstractDocumentationGenerator

org.openquark.cal.caldoc.AbstractDocumentationGenerator$ClassInstanceComparator

org.openquark.cal.caldoc.AbstractDocumentationGenerator$EnvEntityProcessorForArgAndReturnTypeIndices

org.openquark.cal.caldoc.CALDocToHTMLUtilities$CALFeatureCrossReferenceGenerator

org.openquark.cal.caldoc.HTMLDocumentationGenerator

org.openquark.cal.ICE

org.openquark.cal.ICE$TypeInfoStats

org.openquark.cal.internal.machine.BasicOpTuple

org.openquark.cal.internal.machine.DynamicRuntimeEnvironment

org.openquark.cal.internal.machine.g.CodeGenerator

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.