This section describes functions in the PIE DSL.
A task is a function with some special semantics in regards to runtime behavior. The PIE DSL does not differentiate between functions and tasks. In the DSL, both are called functions.
describe legal function names, functions must be unique within a module (including function imports)
Foreign java functions¶
Parameters and values¶
describe how values and parameters behave
describe the return value
describe function invocations