tu-wien/fprog2021WS
Archived
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix variable definitions in UE4 A.2

Browse Source
This commit is contained in:
Ivaylo Ivanov 2021-11-10 17:34:08 +01:00
parent bf7c7251a4
commit 0e34fc42a0
1 changed files with 16 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
code/Angabe4.lhs
View File

@ -323,17 +323,22 @@ Nur Werte zwischen 0 und 99 fuer cent!
> consolidate_payment_sum :: AP_Geschaeftsvorfall -> K_Geschaeftsvorfall > consolidate_payment_sum :: AP_Geschaeftsvorfall -> K_Geschaeftsvorfall
> consolidate_payment_sum g > consolidate_payment_sum g
> | is_p_credit g = K_Gutschrift res (gutschriftsdatum g) > | is_p_credit g =
> | otherwise = K_Zahlung res' (zahlungsdatum g) > let
> where > sum = toInteger(cents (gutschrift g))
> sum = toInteger(cents (gutschrift g)) > bills = fromIntegral(sum `div` 100) :: Nat1
> sum' = toInteger(cents (netto g)) > coins = fromIntegral(sum `mod` 100) :: Nat1
> bills = fromIntegral(sum `div` 100) :: Nat1 > res = EC bills coins
> bills' = fromIntegral(sum' `div` 100) :: Nat1 > in
> coins = fromIntegral(sum `mod` 100) :: Nat1 > K_Gutschrift res (gutschriftsdatum g)
> coins' = fromIntegral(sum `mod` 100) :: Nat1 > | otherwise =
> res = EC bills coins > let
> res' = EC bills' coins' > sum = toInteger(cents (netto g))
> bills = fromIntegral(sum `div` 100) :: Nat1
> coins = fromIntegral(sum `mod` 100) :: Nat1
> res = EC bills coins
> in
> K_Zahlung res (zahlungsdatum g)
> is_p_credit :: AP_Geschaeftsvorfall -> Bool > is_p_credit :: AP_Geschaeftsvorfall -> Bool
> is_p_credit g = > is_p_credit g =