Package org.openquark.cal.compiler.TypeChecker

Examples of org.openquark.cal.compiler.TypeChecker.TypeCheckInfo


    /**
     * Check that the graph is valid
     * @return true if the graph is valid
     */
    private boolean graphIsValid() {
        TypeCheckInfo typeCheckInfo = calServices.getTypeCheckInfo(MonitorApp.TARGET_MODULE);
        return (gemGraph.checkGraphValid(typeCheckInfo));
    }
View Full Code Here


            qualificationResults.resetArgumentNames();
        }
       
        // Check and extract type of fully qualified code
       
        TypeCheckInfo info = typeChecker.getTypeCheckInfo(moduleTypeInfo.getModuleName());
        TypeExpr typeExpr = CodeAnalyser.typeCheckSource(qualificationResults.getQualifiedCode(), qualificationResults.getAllArgumentNames(), info, logger);
       
        // Align positions of identifiers and messages with visible code
       
        List<AnalysedIdentifier> offsetIdentifiers = adjustIdentifiersToVisibleCode(qualificationResults.getAnalysedIdentifiers());
View Full Code Here

TOP

Related Classes of org.openquark.cal.compiler.TypeChecker.TypeCheckInfo

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.