Download 55 The SDL Analyzer

Description of Analyzer Commands
Env-Header-Literal-Name
Parameters:
[<name>]
Configuration of literal names in environment header file (.ifc). %n is
the name of the entity in SDL, %s is the name of the scope. Omit
<name> to exclude the definitions completely from the file. Default is
%n.
Env-Header-Operators
Parameters:
[On/Off]
Configure if operators should be present in environment header file
(.ifc). Default is On.
Env-Header-Signal-Name
Parameters:
[<name>]
Configuration of signal names in environment header file (.ifc). %n is
the name of the entity in SDL, %s is the name of the scope. Omit
<name> to exclude the definitions completely from the file. Default is
%n.
Env-Header-Synonym-Name
Parameters:
[<name>]
Configuration of synonym names in environment header file (.ifc). %n
is the name of the entity in SDL, %s is the name of the scope. Omit
<name> to exclude the definitions completely from the file. Default is
%n.
Env-Header-Type-Name
Parameters:
[<name>]
Configuration of type names in environment header file (.ifc). %n is the
name of the entity in SDL, %s is the name of the scope. Type definitions
are always present in the file. Default is %n.
July 2003
Telelogic Tau 4.5 User’s Manual
,um-st1
2409