Examples of SupertypeVisitor

com.redhat.ceylon.compiler.typechecker.analyzer.SupertypeVisitor
Detects and eliminates potentially undecidable supertypes, including: - supertypes containing intersections in type arguments, and - supertypes with incorrect variance. @author Gavin King

Examples of com.redhat.ceylon.compiler.typechecker.analyzer.SupertypeVisitor

        Boolean enabled = ProducedTypeCache.setEnabled(false);
        try {
            if (!typeDeclarationsScanned) {
                //System.out.println("Scan type declarations for " + fileName);
                compilationUnit.visit(new DefaultTypeArgVisitor());
                compilationUnit.visit(new SupertypeVisitor(false)); //TODO: move to a new phase!
                compilationUnit.visit(new TypeVisitor());
                typeDeclarationsScanned = true;
            }
        }
        finally {

View Full Code Here

Examples of com.redhat.ceylon.compiler.typechecker.analyzer.SupertypeVisitor

        try {
            if (!refinementValidated) {
                ProducedType.depth.set(0);
                //System.out.println("Validate member refinement for " + fileName);
                compilationUnit.visit(new AliasVisitor());
                compilationUnit.visit(new SupertypeVisitor(true)); //TODO: move to a new phase!
                compilationUnit.visit(new InheritanceVisitor());
                compilationUnit.visit(new RefinementVisitor());
                refinementValidated = true;
            }
        }

View Full Code Here

TOP

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.