blob: de77024067d2ad63d38cfebfd2522820235ccfc8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
import 'file:/Users/Aren Babikian/git/VIATRA-Attributes/original.PLEDGE.case.studies/model/CD_Case_A.uml'
--e.g., import 'file:/Users/User_X/CD_Case_A.uml'
package Taxation
context Income inv x:
let involved_details:Set(Income_Detail)=self.details->select(i:Income_Detail| i.is_worked=true) in
involved_details.amount->sum()
context Expense inv inv11:
let max:Real = if((self.income.income_amount / 2)>50) then self.income.income_amount / 2 else 50 endif in
self.declared_amount >= 50 and self.declared_amount <= max
endpackage
|