Examples with ResolverTree com.intellij.refactoring.typeCook.deductive.resolver.ResolverTree used on opensource projects

Example 1 with ResolverTree

use of com.intellij.refactoring.typeCook.deductive.resolver.ResolverTree in project intellij-community by JetBrains.

the class TypeCookProcessor method findUsages.

@NotNull
protected UsageInfo[] findUsages() {
    final SystemBuilder systemBuilder = new SystemBuilder(myProject, mySettings);
    final ReductionSystem commonSystem = systemBuilder.build(myElements);
    myResult = new Result(commonSystem);
    final ReductionSystem[] systems = commonSystem.isolate();
    for (final ReductionSystem system : systems) {
        if (system != null) {
            final ResolverTree tree = new ResolverTree(system);
            tree.resolve();
            final Binding solution = tree.getBestSolution();
            if (solution != null) {
                myResult.incorporateSolution(solution);
            }
        }
    }
    final Set<PsiElement> changedItems = myResult.getCookedElements();
    final UsageInfo[] usages = new UsageInfo[changedItems.size()];
    int i = 0;
    for (final PsiElement element : changedItems) {
        if (!(element instanceof PsiTypeCastExpression)) {
            usages[i++] = new UsageInfo(element) {

                public String getTooltipText() {
                    return myResult.getCookedType(element).getCanonicalText();
                }
            };
        } else {
            usages[i++] = new UsageInfo(element);
        }
    }
    return usages;
}

Example 2 with ResolverTree

use of com.intellij.refactoring.typeCook.deductive.resolver.ResolverTree in project intellij-community by JetBrains.

the class TypeCookTest method performAction.

private void performAction(String className, String rootDir, final boolean cookObjects) throws Exception {
    PsiClass aClass = myJavaFacade.findClass(className, GlobalSearchScope.allScope(myProject));
    assertNotNull("Class " + className + " not found", aClass);
    SystemBuilder b = new SystemBuilder(myPsiManager.getProject(), new Settings() {

        @Override
        public boolean dropObsoleteCasts() {
            return true;
        }

        @Override
        public boolean preserveRawArrays() {
            return false;
        }

        @Override
        public boolean leaveObjectParameterizedTypesRaw() {
            return false;
        }

        @Override
        public boolean exhaustive() {
            return false;
        }

        @Override
        public boolean cookObjects() {
            return cookObjects;
        }

        @Override
        public boolean cookToWildcards() {
            return false;
        }
    });
    final ReductionSystem commonSystem = b.build(aClass);
    //System.out.println("System built:\n" + commonSystem);
    final ReductionSystem[] systems = commonSystem.isolate();
    //System.out.println("Systems isolated:\n" + commonSystem);
    ReductionSystem system = null;
    for (ReductionSystem s : systems) {
        if (s != null && system == null) {
            //System.out.println(s);
            system = s;
        }
    }
    Binding binding = null;
    if (system != null) {
        final ResolverTree tree = new ResolverTree(system);
        tree.resolve();
        binding = tree.getBestSolution();
    }
    // d.resultString();
    String itemRepr = system != null ? system.dumpString() : commonSystem.dumpString();
    doStuff(rootDir, itemRepr, className + ".items");
    //d.resultString();
    itemRepr = system != null ? system.dumpResult(binding) : commonSystem.dumpString();
    doStuff(rootDir, itemRepr, className + ".1.items");
}