Examples of com.redhat.ceylon.compiler.typechecker.model.ConditionScope

Package com.redhat.ceylon.compiler.typechecker.model

Examples of com.redhat.ceylon.compiler.typechecker.model.ConditionScope

com.redhat.ceylon.compiler.typechecker.model.ConditionScope
The scope belonging to a condition in a condition list (of an assert, if, or while). This is not an ordinary scope because really things belonging to a condition scope are visible in the outer scope to which the condition list belongs. This is needed because each previous condition in the list can refine a declaration of the outer scope. And then in an assert statement, it is the refined declaration that is visible from the outer scope.

        exitScope(o);
    }
    
    @Override
    public void visit(Tree.Condition that) {
        ConditionScope cb = new ConditionScope();
        cb.setId(id++);
        that.setScope(cb);
        visitElement(that, cb);
        enterScope(cb);
        super.visit(that);
    }

View Full Code Here

TOP

Related Classes of com.redhat.ceylon.compiler.typechecker.model.ConditionScope

com.redhat.ceylon.compiler.typechecker.analyzer.DeclarationVisitor

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.