Package org.openquark.cal.compiler.IdentifierResolver

Examples of org.openquark.cal.compiler.IdentifierResolver.TypeVariableScope


       
        if (potentialDescendantScope == potentialAncestorScope) {
            return true;
        }
       
        TypeVariableScope parent = potentialDescendantScope.getParent();
        while (parent != null) {
            if (parent == potentialAncestorScope) {
                return true;
            }
            parent = parent.getParent();
        }
       
        return false;
    }
View Full Code Here


                // set the fields to remember the match
                typeContainerContainingTarget = currentTypeContainer;
                algebraicFunctionContainingTarget = currentAlgebraicFunction;
               
                // find all the local definitions that are shadowed
                TypeVariableScope scopeToCheck = scope;
                while (scopeToCheck != null) {
                    for (final Binding<IdentifierInfo.TypeVariable> bindingInScope : scopeToCheck.getBindings()) {
                        if (newName.equals(bindingInScope.getIdentifierInfo().getTypeVarName())) {
                            shadowedTypeVars.put(bindingInScope.getIdentifierInfo(), bindingInScope);
                        }
                    }
                   
                    scopeToCheck = scopeToCheck.getParent();
                }
            }
           
            typeVarsInCurrentTypeContainer.add(binding.getIdentifierInfo().getTypeVarName());
           
View Full Code Here

TOP

Related Classes of org.openquark.cal.compiler.IdentifierResolver.TypeVariableScope

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.