# btp_expression_function.BTPExpressionFunction

## Properties
Name | Type | Description | Notes
------------ | ------------- | ------------- | -------------
**space_in_empty_list** | [**btp_space.BTPSpace**](BTPSpace.md) |  | [optional] 
**precondition** | [**btp_statement.BTPStatement**](BTPStatement.md) |  | [optional] 
**space_after_arglist** | [**btp_space.BTPSpace**](BTPSpace.md) |  | [optional] 
**space_after_function** | [**btp_space.BTPSpace**](BTPSpace.md) |  | [optional] 
**return_type** | [**btp_type_name.BTPTypeName**](BTPTypeName.md) |  | [optional] 
**body** | [**btp_statement_block.BTPStatementBlock**](BTPStatementBlock.md) |  | [optional] 
**arguments** | [**[btp_argument_declaration.BTPArgumentDeclaration]**](BTPArgumentDeclaration.md) |  | [optional] 
**short_descriptor** | **str** |  | [optional] 
**atomic** | **bool** |  | [optional] 
**start_source_location** | **int** |  | [optional] 
**end_source_location** | **int** |  | [optional] 
**documentation_type** | **str** |  | [optional] 
**space_before** | [**btp_space.BTPSpace**](BTPSpace.md) |  | [optional] 
**space_after** | [**btp_space.BTPSpace**](BTPSpace.md) |  | [optional] 
**space_default** | **bool** |  | [optional] 
**node_id** | **str** |  | [optional] 
**bt_type** | **str** |  | [optional] 

[[Back to Model list]](../README.md#documentation-for-models) [[Back to API list]](../README.md#documentation-for-api-endpoints) [[Back to README]](../README.md)