| function_term |
::= |
| |
type_ identifier |
| |
function_identifier |
| |
``('' |
| |
parameter_list |
| |
``)'' |
| |
function_contract |
| |
|
| parameter_list |
::= |
| |
variable_term | ``,'' parameter_list |
| |
|
| function_contract |
::= |
| |
function_quality_of_service |
| |
function_performance |
| |
|
| function_quality_of_service |
::= |
| |
``errors tolerated,'' | ``highly available,'' | ``fault tolerant,'' |
| |
|
| function_performance |
::= |
| |
``performance'' | ``latency'' | ``error rate'' |
| |
``('' |
| |
``min'' ``='' <integer> |
| |
``max'' ``='' <integer> |
| |
``avg'' ``='' <integer> |
| |
``rms'' ``='' <float> |
| |
``)'' |
| |
``certainty'' <integer> |
| |
`` '' | ``,'' function_performance |
| |
|
|