The expressions above read these as $const. They are the figures the annual refresh replaces, so they live as data rather than being written into the formulas — which is what makes a year-on-year change a one-line diff instead of an edit to arithmetic.
Constant
Value
daysPerMonth
2.08
annualDays
25
monthsPerYear
12
Test vectors (7)
Every case is executed against this model on each build, by the Java engine and independently by a JavaScript one. A mismatch of a single cent fails the build, so the page cannot ship advertising a figure the model no longer produces.
Case 1 — N1 a full year is the 25 feriedage borger.dk states
given monthsWorked
12
given daysTaken
0
expect daysEntitled
25
Case 2 — N2 six months earn 12,48 at the stated monthly rate
given monthsWorked
6
given daysTaken
0
expect daysEntitled
12.48
Case 3 — N3 one month earns 2,08
given monthsWorked
1
given daysTaken
0
expect daysEntitled
2.08
Case 4 — N4 eleven months earn 22,88, just short of the full year
given monthsWorked
11
given daysTaken
0
expect daysEntitled
22.88
Case 5 — N5 no months earn nothing
given monthsWorked
0
given daysTaken
0
expect daysEntitled
0
Case 6 — N6 days already taken come off the remainder
given monthsWorked
12
given daysTaken
10
expect daysRemaining
15
Case 7 — N7 taking more than the entitlement never goes negative
The whole model as JSON — inputs, outputs, formulas, vectors and sources in one re-runnable document.
This model is published under CC BY 4.0: use it, adapt it, build on it, with attribution. The licence covers the model — the expression of each rule and the arrangement of the catalog. The rates and thresholds are law, and nobody licenses those; the sources above are where they come from.