rba.tool.core/src/rba/tool/core/sort/SortValueManager.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

package rba.tool.core.sort;

import org.eclipse.core.resources.IProject;

import rba.tool.core.console.ConsoleManager;
import rba.tool.core.z3.Z3CodeManager;

public class SortValueManager {

    public static SortValueManager INSTANCE = new SortValueManager();

    private static final String CONSOLE_TITLE = "#### Execution of Constraint ####";

    private SortValue areaZorderSortValue = new SortValue();

    private SortValue visibilitySortValue = new SortValue();;

    private SortValue csPrioritySortValue = new SortValue();;

    private static final String NOTIFIER_ID = "rba.tool.core.CalculateSortValue";

    public boolean updateSortValue(IProject project) {

        try {
            ISortValueCalculation calc = Z3CodeManager.INSTNACE.getSortCaluculator(project);
            calc.setUp();
            areaZorderSortValue.setSortValue(calc.calculateArea_zorder());
            visibilitySortValue.setSortValue(calc.calculateAllocatable_visibility());
            csPrioritySortValue.setSortValue(calc.calculateContentState_priority());
            calc.close();

        } catch (RuntimeException e) {
            ConsoleManager.INSTANCE.output(CONSOLE_TITLE, NOTIFIER_ID);
            ConsoleManager.INSTANCE.output(e.getMessage(), NOTIFIER_ID);
            ConsoleManager.INSTANCE.output("##################", NOTIFIER_ID);

            areaZorderSortValue.clear();
            visibilitySortValue.clear();
            csPrioritySortValue.clear();
            return false;
        }
        return true;
    }

    public SortValue getAreaZorderSortValue() {
        return areaZorderSortValue;
    }

    public SortValue getAllocatableVisibilitySortValue() {
        return visibilitySortValue;
    }

    public SortValue getCsPrioritySortValue() {
        return csPrioritySortValue;
    }
}