diff --git a/doc/TypePal/Configuration/Configuration.md b/doc/TypePal/Configuration/Configuration.md index 017d50d..1a54c32 100644 --- 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 index a585705..1036763 100644 Binary files a/doc/TypePal/Configuration/TypePalConfig.graffle and b/doc/TypePal/Configuration/TypePalConfig.graffle differ diff --git a/doc/TypePal/Configuration/TypePalConfig.png b/doc/TypePal/Configuration/TypePalConfig.png index a5e95c1..96b3fab 100644 Binary files a/doc/TypePal/Configuration/TypePalConfig.png and b/doc/TypePal/Configuration/TypePalConfig.png differ