API for PRL-PRG/contractR
What the Package Does (One Line, Title Case)
| Global functions | |
|---|---|
| .onDetach | Source code |
| .onLoad | Source code |
| add_injected_function | Source code |
| add_package_prefix | Source code |
| capture_contracts | Source code |
| check_type | Source code |
| clear_contracts | Source code |
| combine_sigs | Source code |
| concatenate_call_trace | Source code |
| create_argval_contract_code | Source code |
| create_retval_contract_code | Source code |
| format.tastr | Source code |
| get_annotated_function_name | Source code |
| get_autoinject | Source code |
| get_autoinject_blacklist | Source code |
| get_classes | Source code |
| get_contracts | Source code |
| get_injected_function | Source code |
| get_injected_function_count | Source code |
| get_injected_function_ids | Source code |
| get_next_call_id | Source code |
| get_package_name | Source code |
| get_parameter_type | Source code |
| get_severity | Source code |
| get_typed_function_names | Source code |
| get_typed_package_names | Source code |
| has_contract | Source code |
| has_injected_function | Source code |
| ignore_contracts | Source code |
| import_type_declarations | Source code |
| infer_type | Source code |
| insert_contract | Source code |
| insert_environment_contract | Source code |
| insert_function_contract | Source code |
| insert_package_contract | Source code |
| is_class_type | Source code |
| is_environment | Source code |
| is_function | Source code |
| is_function_type | Source code |
| is_function_typed | Source code |
| is_package_typed | Source code |
| is_scalar_character | Source code |
| is_scalar_integer | Source code |
| is_scalar_logical | Source code |
| is_subtype | Source code |
| is_type_well_formed | Source code |
| is_vector_character | Source code |
| minimize_list_of_sigs | Source code |
| minimize_signature | Source code |
| modify_function | Source code |
| parse_type | Source code |
| print.tastr | Source code |
| remove_contract | Source code |
| remove_function_contract | Source code |
| remove_injected_function | Source code |
| remove_package_prefix | Source code |
| roclet_output.roclet_type | Source code |
| roclet_process.roclet_type | Source code |
| roxy_tag_parse.roxy_tag_type | Source code |
| set_autoinject | Source code |
| set_severity | Source code |
| set_type_declaration | Source code |
| show_function_type_declaration | Source code |
| show_package_type_declarations | Source code |
| show_type_declarations | Source code |
| sig_distance | Source code |
| type_roclet | Source code |
