Lastly the output_format specifies what the output matches to (or should match to). I have created a function for converting lambda bytecode to human readable form already, so this is a multi-purpose argument (both for checking postconditions programmatically and for generating documentation). The RESTOutput takes a conditional_lambda, which is a lambda function taking the input and returning True if its output format should be applied. This is not very useful when using RESTInput for runtime precondition checking, but mostly for humans reading generated documentation. Lastly, each input should have a description.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |