31     const view = this;  constant
32     view.textListNode = view.divNode.getElementsByTagName('ul')[0];
33     view.patterns = null;
34     view.instructionIdToHtmlElementsMap = new Map();
35     view.nodeIdToHtmlElementsMap = new Map();
36     view.blockIdToHtmlElementsMap = new Map();
37     view.blockIdToNodeIds = new Map();
38     view.nodeIdToBlockId = [];
39     view.selection = new MySelection(anyToString);
40     view.blockSelection = new MySelection(anyToString);
41     view.broker = broker;
42     view.sourceResolver = broker.sourceResolver;
45         view.selection.clear();
46         view.updateSelection();
50         view.selection.select(nodeIds, selected);
51         view.updateSelection();
52         broker.broadcastNodeSelect(selectionHandler, view.selection.selectedKeys(), selected);
55         const firstSelect = view.blockSelection.isEmpty();
56         view.selection.select(nodeIds, selected);
57         view.updateSelection(firstSelect);
60         view.selection.clear();
61         view.updateSelection();
66     view.divNode.addEventListener('click', e => {
68         view.selectionHandler.clear();
75         view.blockSelection.clear();
76         view.updateSelection();
80         view.blockSelection.select(blockIds, selected);
81         view.updateSelection();
85         const firstSelect = view.blockSelection.isEmpty();
86         view.blockSelection.select(blockIds, selected);
87         view.updateSelection(firstSelect);
90         view.blockSelection.clear();
91         view.updateSelection();
97     view.registerAllocationSelection = new MySelection(anyToString);
100         view.registerAllocationSelection.clear();
101         view.updateSelection();
105         view.registerAllocationSelection.select(instructionIds, selected);
106         view.updateSelection();
110         const firstSelect = view.blockSelection.isEmpty();
111         view.registerAllocationSelection.select(instructionIds, selected);
112         view.updateSelection(firstSelect);
115         view.registerAllocationSelection.clear();
116         view.updateSelection();
120     view.registerAllocationSelectionHandler = registerAllocationSelectionHandler;
170     const view = this;  constant
171     const elementsToSelect = view.divNode.querySelectorAll(`[data-pc-offset]`);
176       const isSelected = view.blockSelection.isSelected(blockId);
188     for (const instrId of view.registerAllocationSelection.selectedKeys()) {
202     for (const nodeId of view.selection.selectedKeys()) {
244     const view = this;  constant
249       for (const pattern of view.patterns[patternSet]) {
256               const fragment = view.createFragment(matches[0], style);
282     const view = this;  constant
289       const fragments = view.processLine(line);
293       view.textListNode.appendChild(li);