Operacja select – przykłady context Company inv: employee->select(age > 50)->notEmpty() context Company inv: employee->select(p | p.age > 50)->notEmpty() context Company inv: employee->select(p: Person | p.age > 50)->notEmpty()
{}