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% 1 / 0 / 2
Functions: -% 0 / 1 / 1
Branches: -% 0 / 0 / 0

OMCompiler/Compiler/FrontEnd/FHashTableStringToUnit.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 FHashTableStringToUnit "
37 This file is an extension to OpenModelica.
38
39 Copyright (c) 2013 TU Dresden
40
41 All rights reserved.
42
43 file: FHashTableStringToUnit.mo
44 package: FHashTableStringToUnit
45 description: String to Unit.Unit
46
47
48 "
49
50 /* Below is the instance specific code. For each hashtable the user must define:
51
52 Key - The key used to uniquely define elements in a hashtable
53 Value - The data to associate with each key
54 hashFunc - A function that maps a key to a positive integer.
55 keyEqual - A comparison function between two keys, returns true if equal.
56 */
57
58 /* HashTable instance specific code */
59
60 public import BaseHashTable;
61 public import FUnit;
62 public import Util;
63
64 public type Key = String;
65 public type Value = FUnit.Unit;
66
67 public type HashTableCrefFunctionsType = tuple<FuncHashKey,FuncKeyEqual,FuncKeyStr,FuncValueStr>;
68 public type HashTable = tuple<
69 array<list<tuple<Key,Integer>>>,
70 tuple<Integer,Integer,array<Option<tuple<Key,Value>>>>,
71 Integer,
72 HashTableCrefFunctionsType
73 >;
74
75 partial function FuncHashKey
76 input Key cr;
77 output Integer res;
78 end FuncHashKey;
79
80 partial function FuncKeyEqual
81 input Key cr1;
82 input Key cr2;
83 output Boolean res;
84 end FuncKeyEqual;
85
86 partial function FuncKeyStr
87 input Key cr;
88 output String res;
89 end FuncKeyStr;
90
91 partial function FuncValueStr
92 input Value exp;
93 output String res;
94 end FuncValueStr;
95
96 public function emptyHashTable
97 "
98 Returns an empty HashTable.
99 Using the default bucketsize..
100 "
101 output HashTable hashTable;
102 algorithm
103 ✗ hashTable := emptyHashTableSized(BaseHashTable.defaultBucketSize);
104 end emptyHashTable;
105
106 public function emptyHashTableSized
107 "
108 Returns an empty HashTable.
109 Using the bucketsize size.
110 "
111 input Integer size;
112 output HashTable hashTable;
113 algorithm
114 12 hashTable := BaseHashTable.emptyHashTableWork(size, (stringHashDjb2, stringEq, Util.id, FUnit.unit2string));
115 end emptyHashTableSized;
116
117 annotation(__OpenModelica_Interface="frontend");
118 end FHashTableStringToUnit;
119