Functions
Intro
This section deals with the following specifications
- Specification of generic functions applicable in the Simantics framework
- Specification of functions attached to types (methods)
- Specification of functions with side-effects (operations or commands)
- Automatically generated code based on semantic model about functions (stubs)