> For the complete documentation index, see [llms.txt](https://docs.r.xyz/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.r.xyz/glider-ide/api/contracts.md).

# Contracts

- [Contracts.exec()](https://docs.r.xyz/glider-ide/api/contracts/contracts.exec.md): Executes the formed query and returns the list of Contract objects.
- [Contracts.functions()](https://docs.r.xyz/glider-ide/api/contracts/contracts.functions.md): Returns the Functions object for the functions of the contracts.
- [Contracts.interface\_contracts()](https://docs.r.xyz/glider-ide/api/contracts/contracts.interface_contracts.md): Adds a filter to get contracts that are interface.
- [Contracts.mains()](https://docs.r.xyz/glider-ide/api/contracts/contracts.mains.md): Adds a filter to get contracts that are main.
- [Contracts.non\_interface\_contracts()](https://docs.r.xyz/glider-ide/api/contracts/contracts.non_interface_contracts.md): Adds a filter to get contracts that are not interface.
- [Contracts.state\_variables()](https://docs.r.xyz/glider-ide/api/contracts/contracts.state_variables.md): Returns the State Variables object for the state variables of the contracts.
- [Contracts.with\_address()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_address.md): Adds a filter to get contracts associated with the given address.
- [Contracts.with\_all\_function\_names()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_all_function_names.md): Adds a filter to get contracts that have functions with all the given names.
- [Contracts.with\_all\_function\_signatures()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_all_function_signatures.md): Adds a filter to get contracts that have all functions with the given signatures.
- [Contracts.with\_compiler\_range()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_compiler_range.md): Adds a filter to get contracts whose compilation version is in the given range.
- [Contracts.with\_compiler\_range\_not()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_compiler_range_not.md): Adds a filter to get contracts whose compilation version isn't in the given range.
- [Contracts.with\_error\_name()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_error_name.md): Adds a filter to get contracts that have an error with the given name.
- [Contracts.with\_error\_prefix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_error_prefix.md): Adds a filter to get contracts that have an error whose name has the given prefix.
- [Contracts.with\_error\_regex()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_error_regex.md): Adds a filter to get contracts that have an error whose name matches the given regex.
- [Contracts.with\_error\_signature()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_error_signature.md): Adds a filter to get contracts that have an error with the given signature.
- [Contracts.with\_error\_suffix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_error_suffix.md): Adds a filter to get contracts that have an error whose name has the given suffix.
- [Contracts.with\_event\_name()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_event_name.md): Adds a filter to get contracts that have an event with the given name.
- [Contracts.with\_event\_prefix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_event_prefix.md): Adds a filter to get contracts that have an event whose name has the given prefix.
- [Contracts.with\_event\_regex()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_event_regex.md): Adds a filter to get contracts that have an event whose name matches the given regex.
- [Contracts.with\_event\_signature()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_event_signature.md): Adds a filter to get contracts that have an event with the given signature.
- [Contracts.with\_event\_suffix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_event_suffix.md): Adds a filter to get contracts that have an event whose name has the given suffix.
- [Contracts.with\_function\_name()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_function_name.md): Adds a filter to get contracts that have a function with the given name.
- [Contracts.with\_function\_name\_not()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_function_name_not.md): Adds a filter to get contracts that don't have any function with the given name.
- [Contracts.with\_function\_name\_prefix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_function_name_prefix.md): Adds a filter to get contracts that have a function whose name has the given prefix.
- [Contracts.with\_function\_name\_regex()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_function_name_regex.md): Adds a filter to get contracts that have a function whose name matches the specified regex.
- [Contracts.with\_function\_name\_suffix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_function_name_suffix.md): Adds a filter to get contracts that have a function whose name has the given suffix.
- [Contracts.with\_function\_signature()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_function_signature.md): Adds a filter to get contracts that have a function with the given signature.
- [Contracts.with\_name()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_name.md): Adds a filter to get contracts with the given name.
- [Contracts.with\_name\_not()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_name_not.md): Adds a filter to get contracts that don't have the given name.
- [Contracts.with\_name\_prefix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_name_prefix.md): Adds a filter to get contracts whose names have the given prefix.
- [Contracts.with\_name\_regex()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_name_regex.md): Adds a filter to get contracts whose names match the given regex.
- [Contracts.with\_name\_suffix()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_name_suffix.md): Adds a filter to get contracts that names have the given suffix.
- [Contracts.with\_one\_of\_the\_function\_names()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_one_of_the_function_names.md): Adds a filter to get contracts that have at least one function from the given names.
- [Contracts.with\_one\_of\_the\_function\_signatures()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_one_of_the_function_signatures.md)
- [Contracts.with\_struct\_field\_name()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_struct_field_name.md): Adds a filter to get contracts that have a struct with the given field name.
- [Contracts.with\_struct\_field\_type()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_struct_field_type.md): Adds a filter to get contracts that have a struct with the given field type.
- [Contracts.with\_struct\_fields\_count()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_struct_fields_count.md): Adds a filter to get contracts that have a struct with the given fields count.
- [Contracts.with\_struct\_name()](https://docs.r.xyz/glider-ide/api/contracts/contracts.with_struct_name.md): Adds a filter to get contracts that have a struct with the given name.
- [Contracts.without\_function\_signature()](https://docs.r.xyz/glider-ide/api/contracts/contracts.without_function_signature.md): Adds a filter to get contracts that do not have a function with the given signature.
- [Contracts.without\_function\_signatures()](https://docs.r.xyz/glider-ide/api/contracts/contracts.without_function_signatures.md): Adds a filter to get contracts that do not have a function with the given signatures.