diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/guide/settings.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/guide/settings.md b/docs/guide/settings.md index e4677efd..252fb3dd 100644 --- a/docs/guide/settings.md +++ b/docs/guide/settings.md @@ -27,6 +27,8 @@ All settings are uniquely identified with an identifier string. Identifiers are **Note**: In order to facilitate reproducible analysis results, when opening a file for the first time, all of the analysis settings are automatically serialized into the _Resource Setting_ scope. This prevents subsequent _User_ and _Project_ setting modifications from unintentionally changing existing analysis results. +## All Settings + |Category|Setting|Description|Type|Default|Scope|Key| |---|---|---|---|---|---|---| |analysis|Alternate Type Propagation|Enable an alternate approach for function type propagation.|`boolean`|`True`|[`SettingsProjectScope`, `SettingsResourceScope`, `SettingsUserScope`]|<a id='analysis.alternateTypePropagation'>analysis.alternateTypePropagation</a>| @@ -461,4 +463,4 @@ All settings are uniquely identified with an identifier string. Identifiers are | | | |`enum`|`core.function.objectiveC`| | | | | | |`enum`|`core.module.defaultAnalysis`| | | |workflows|Module Workflow|Workflow selection for module-based analysis. Note: Module-based workflows incomplete.|`string`|`core.module.defaultAnalysis`|[`SettingsProjectScope`, `SettingsResourceScope`, `SettingsUserScope`]|<a id='workflows.moduleWorkflow'>workflows.moduleWorkflow</a>| -| | | |`enum`|`core.module.defaultAnalysis`| | |
\ No newline at end of file +| | | |`enum`|`core.module.defaultAnalysis`| | | |