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 |
|
|
|