Added missing configuration option

usethesource · Feb 18, 2024 · 71bc411 · 71bc411
1 parent 6f66577
commit 71bc411
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/doc/TypePal/Configuration/Configuration.md b/doc/TypePal/Configuration/Configuration.md
@@ -277,6 +277,12 @@ The function `createLogicalLoc` gives complete freedom in the way such logical l
 When a function is overloaded, measures have to be taken to create unique logical locations for each overloaded version of that function.
 :::
 
+#### roleNeedsLogicalLoc
+```rascal
+/* Configuration field */ set[IdRole] roleNeedsLogicalLoc = {};
+```
+The set `roleNeedsLogicalLoc` defines the IdRoles for which a logical location will be generated. Typically, these will be roles for names of high-level concepts such as modules, functions, data types and the like.
+
 ### Verbosity
 
 The verbosity of TypePal can be controlled with several configurations settings.

diff --git a/doc/TypePal/Configuration/TypePalConfig.graffle b/doc/TypePal/Configuration/TypePalConfig.graffle
diff --git a/doc/TypePal/Configuration/TypePalConfig.png b/doc/TypePal/Configuration/TypePalConfig.png