Function Is Consistent
Code template contract to ensure repeated calls to a function yield the same result
Eiffel Software
consistent
Eiffel
code
contract
postcondition
The name of the function who's result should remain consistent
result_is_consistent: Result ~ ${feature_name}${end}