3 This section deals with the following specifications
\r
5 * Specification of generic functions applicable in the Simantics framework
\r
6 * Specification of functions attached to types (methods)
\r
7 * Specification of functions with side-effects (operations or commands)
\r
8 * Automatically generated code based on semantic model about functions (stubs)
\r
12 * Functions are objects implementing the interface `org.simantics.scl.runtime.function.Function`.
\r
13 * We have a type `Value` (?) that can be adapted to an SCL value (in particular to a function).
\r
14 * We have a relation `HasType` (?) Value -> String that specifies the SCL type of the value
\r
15 * Operations are functions that return an object implementing `WriteResult`.
\r