The Stream Library contains higher-order methods. The current grammar provides a SysML-specific syntax for map and filter methods, SysMLCollectExpression and resp. SysMLSelectExpression, which includes an implicit lambda construct but no typecheck implementation for it.
- Import lambdas from the MontiCore expression library such that inline functions can be defined in stream expressions
- Implement TypeCheck for both MC Lambdas and SysML higher-order functions
The Stream Library contains higher-order methods. The current grammar provides a SysML-specific syntax for map and filter methods, SysMLCollectExpression and resp. SysMLSelectExpression, which includes an implicit lambda construct but no typecheck implementation for it.