Linux GNU 11.4.0 Code Coverage Report


Directory: ./
Coverage: low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%
Coverage Exec / Excl / Total
Lines: 50.0% 3 / 0 / 6
Functions: -% 0 / 1 / 1
Branches: -% 0 / 0 / 0

OMCompiler/Compiler/NFFrontEnd/NFLookupTree.mo
Line Branch Exec Source
1 /*
2 * This file is part of OpenModelica.
3 *
4 * Copyright (c) 1998-2026, Open Source Modelica Consortium (OSMC),
5 * c/o Linköpings universitet, Department of Computer and Information Science,
6 * SE-58183 Linköping, Sweden.
7 *
8 * All rights reserved.
9 *
10 * THIS PROGRAM IS PROVIDED UNDER THE TERMS OF AGPL VERSION 3 LICENSE OR
11 * THIS OSMC PUBLIC LICENSE (OSMC-PL) VERSION 1.8.
12 * ANY USE, REPRODUCTION OR DISTRIBUTION OF THIS PROGRAM CONSTITUTES
13 * RECIPIENT'S ACCEPTANCE OF THE OSMC PUBLIC LICENSE OR THE GNU AGPL
14 * VERSION 3, ACCORDING TO RECIPIENTS CHOICE.
15 *
16 * The OpenModelica software and the OSMC (Open Source Modelica Consortium)
17 * Public License (OSMC-PL) are obtained from OSMC, either from the above
18 * address, from the URLs:
19 * http://www.openmodelica.org or
20 * https://github.com/OpenModelica/ or
21 * http://www.ida.liu.se/projects/OpenModelica,
22 * and in the OpenModelica distribution.
23 *
24 * GNU AGPL version 3 is obtained from:
25 * https://www.gnu.org/licenses/licenses.html#GPL
26 *
27 * This program is distributed WITHOUT ANY WARRANTY; without
28 * even the implied warranty of MERCHANTABILITY or FITNESS
29 * FOR A PARTICULAR PURPOSE, EXCEPT AS EXPRESSLY SET FORTH
30 * IN THE BY RECIPIENT SELECTED SUBSIDIARY LICENSE CONDITIONS OF OSMC-PL.
31 *
32 * See the full OSMC Public License conditions for more details.
33 *
34 */
35
36 encapsulated package NFLookupTree
37 public
38 uniontype Entry
39 record CLASS
40 Integer index;
41 end CLASS;
42
43 record COMPONENT
44 Integer index;
45 end COMPONENT;
46
47 record IMPORT
48 Integer index;
49 end IMPORT;
50
51 function index
52 input Entry entry;
53 output Integer index;
54 algorithm
55 index := match entry
56 18604 case CLASS() then entry.index;
57 4454 case COMPONENT() then entry.index;
58 ✗ case IMPORT() then entry.index;
59 end match;
60 end index;
61
62 function isEqual
63 input Entry entry1;
64 input Entry entry2;
65 output Boolean isEqual = index(entry1) == index(entry2);
66 end isEqual;
67
68 function isImport
69 input Entry entry;
70 output Boolean isImport;
71 algorithm
72 isImport := match entry
73 case IMPORT() then true;
74 else false;
75 end match;
76 end isImport;
77 end Entry;
78
79 public
80 import BaseAvlTree;
81 extends BaseAvlTree(redeclare type Key = String,
82 redeclare type Value = Entry);
83
84 redeclare function extends keyStr
85 algorithm
86 outString := inKey;
87 end keyStr;
88
89 redeclare function extends valueStr
90 algorithm
91 outString := match inValue
92 ✗ case Entry.CLASS() then "class " + String(inValue.index);
93 ✗ case Entry.COMPONENT() then "comp " + String(inValue.index);
94 end match;
95 end valueStr;
96
97 redeclare function extends keyCompare
98 algorithm
99 45034746 outResult := stringCompare(inKey1, inKey2);
100 end keyCompare;
101
102 annotation(__OpenModelica_Interface="util");
103 end NFLookupTree;
104