![]() |
![]() |
![]() |
![]() |
![]() |
Description of Analyzer Commands
In this section, the Analyzer commands are listed in alphabetical order, along with their parameters and a description.
Alphabetical List of Commands
! (shell escape)
<operating system command>Escape to the shell to do command.
Add-Input
<Filespec>Add a file to the list of files to be converted to PR. The file will be processed according to the setting of Input-Mode.
Analyze
(None)This command orders the Analyzer to perform the passes according to the Analyzer options as they are defined.
The current analysis options can be printed using the command
Show-Analyze-Options (see Show-Analyze-Options).The order in which the passes are performed is:
- Conversion to PR, if the input is C header, ASN.1 or SDL/GR diagrams.
- Macro expansion (optional).
- Syntactic analysis (optional).
- Pretty-printing of a PR file (optional).
- PR to GR conversion (optional). This pass converts an SDL/PR input file to SDL/GR diagrams, using the native format of the SDL Suite.
- Semantic analysis (optional).
- Cross reference generation (optional).
ASN1-Coder-Name
<name>The prefix of encode and decode functions for ASN.1 types. Default is BER.
ASN1-Keyword-File
<file>Change keywords in files output by asn1util according to file. Default is no file, in this case the keywords in file asn1util_kwd.txt in the SDT installation is used.
Asn1Util
<options>Invoke asn1util through the post master. Same options as the command line interface.
Cd
<directory>Change current working directory to <directory>.
Clear
(None)Force the Analyzer to perform all passes from scratch as defined in the Analyzer options on the previously selected input. See also the New command described in New.
Coder-Buffer-In-Sdl
Octet-String | Coder-Buf | Custom-Coder-Buf | NonePick representation of ASN.1 Buffer in SDL, None means no encoding available in SDL. Default is Octet-String. For more information see Buffer Management System.
ComplexityMeasurement-File
[<file spec>]Specifies where the complexity measurements file is stored if the Set-ComplexityMeasurement command is set.
See Complexity Measurements for more information.
Component
[<SDL qualifier>]Add a new item to a program. See Partitioning.
Cpp2sdl
Invoke cpp2sdl through the post master. Same options as the command line interface.
Env-Header-Channel-Name
[<name>]Configuration of channel 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-Literal-Name
[<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
[On/Off]Configure if operators should be present in environment header file (.ifc). Default is On.
Env-Header-Signal-Name
[<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
[<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
[<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.
Error-File
[<file spec>]An optional file to store analyzer messages in. Default is no error file.
Exit
(None)Terminates the Analyzer and returns you to the Operating System prompt.
Filter
[Command]This command allows filtering or preprocessing files before they are read by the Analyzer. The command should be an executable file, preferably found in $PATH. The Analyzer appends three parameters to the supplied command. The first parameter is the name of the file, the second parameter tells what the Analyzer is about to do with the file, and the third is the Source Directory. Currently the following are available:
- use (before SDL package dependencies are resolved, this phase is only activated when the environment variable SDTSAN_FILTER_USE is set)
- import (before converting to SDL PR)
- macro (before macro expansion)
- parse (before syntax analysis)
- include (before syntax analysis)
The command is supposed to modify the file given in the parameter and leave the result in the same file. Note that the files passed are your original files.
Generate-Advanced-C
(None)This command invokes the Cadvanced SDL to C Compiler, which will produce one / multiple C program(s), as well as a makefile. This C program is then compiled and linked in order to build up an executable application. The Cadvanced SDL to C Compiler uses the options which have been previously defined using the various Generate Options commands. See also Generate-Basic-C.
Generate-Basic-C
(None)This command invokes the Cbasic SDL to C Compiler, which will produce one / multiple C program(s), as well as a makefile. This C program is then compiled and linked in order to build up an executable application. The Cbasic SDL to C Compiler uses the options which have been previously defined using the various Generate Options commands. This command cannot be used when building applications, but otherwise it is identical to Generate-Advanced-C.
Generate-Micro-C
Parameters: 1
(None)This command invokes the Cmicro SDL to C Compiler, which will produce one / multiple C program(s), as well as a makefile. This C program is then compiled and linked in order to build up an executable application. The Cmicro SDL to C Compiler uses the options which have been previously defined using the various Generate Options commands. See also Generate-Advanced-C.
GR-PR-File
[<file spec>]This command specifies where the output of the conversion to PR pass is stored. Default is <infile>.pr.
GR2PR
<GR-File> <PR-File>The command converts the file designated by the file specifier GR-File to a textual (i.e. PR) description of the diagram, storing the results in the file designated by the file specifier PR-File.
The file GR-File should contain an SDL diagram stored in binary format.
Help
[Command]The command issues on-line help for the Analyzer commands. Depending on if a command is specified or not, the following happens:
- By typing this command without parameters, the available commands are listed with their parameters. Control is then transferred to the Analyzer on-line help, where additional information about all commands is available. The on-line help prompt looks like this:
Topic?- Typing the Help command followed by a command name, on-line for that command will be displayed. Control is then transferred to the Analyzer on-line help utility.
You can abbreviate any topic name, although ambiguous abbreviations result in all matches being displayed.
Include-Directory
[<directory>]Where the analyzer looks for include files. An empty <directory> clears the list.Subsequent commands adds more directories to the list. Default is an empty list.
Include-File
<file spec>Execute analyzer commands in <file spec>.
Include-Map
<logical name> <file spec>Maps logical names to file names for graphical includes when converting graphical SDL (GR) to text (PR). This command should be preceded by commands to specify input mode to GR and a GR file. Subsequent commands adds more maps to the list. Default is an empty list.
Input-Mode
ASN.1 | C-Header | GR | PRSelect filter to convert input to PR. Default is PR.
Instance-File
[<file spec>]Where the instance tree is stored. Default is <system name>.ins. See SDL Instance Information for more information.
Macro-PR-File
[<file spec>]This command specifies where the output of the macro expander is stored. Default is <infile>.prm.
Make-File
[<file spec>]Name of makefile. Default is <system name>.m.
Make-Template-File
[<file spec>]Name of make template file. Default is no template.
New
(None)This command initializes the Analyzer. Following the New command, you will need to specify an input to the Analyzer using the Set-Input command.
See also Clear.
Operating-System
(None)Creates a subprocess which returns you temporarily to the Operating System. Once you terminate this process, control is returned to the Analyzer.
Organizer-Object
Level Type Name File Sep SepName Selected [Depend]Pass the Organizers info on a diagram to the Analyzer. This command is used by the Organizer.
Pretty-PR-File
<Filespec>This command specifies where the output of the pretty printer is stored. Default is <infile>.sdl.
Program
[<name>]Name of program built from components. See Partitioning.
Quit
(None)SDL-Coder-Name
<name>The prefix of encode and decode functions for SDL types. Default is ASCII.
SDL-Keyword-File
[<file spec>]Produce a list of SDL keywords and SDT Ref in a file. Default is no list.
SDT-Ref
[<sdt ref>]Use <sdt ref> in error messages from command parser overriding any other <sdt ref>.
SDT-SYSTEM-6.3
(None)The Organizer uses this to make sure the right version of the analyzer is running.
Set-ASN1-Coder
[On/Off]Generates encoder and decoder from ASN.1 modules (requires separate license).
Set-C-Compiler-Driver
[On/Off]This option informs the SDL to C compilers if the SDL C Compiler Driver should be invoked. See SDL C Compiler Driver (SCCD).
Set-C-Plus-Plus
[On/Off]SDL to C compilers generate code to be compiled with C++ compiler if on. Default is off.
Set-Case-Sensitive
[On/Off]Case sensitive SDL names if On. Keywords must be all upper or lower case if on.
Set-Compile-Link
[On/Off]This option informs the Code Generator (SDL to C compilers) whether the generated code should be compiled and linked automatically (by executing the generated makefile).
Set-ComplexityMeasurement
[On/Off]This option will generate a complexity measurement file. Following the Set-ComplexityMeasurement command, you may specify a file name using the ComplexityMeasurement-File command.
See Complexity Measurements for more information.
Set-Echo
[On/Off]This option will print (echo) all Analyzer commands as they are executed. Default is off.
Set-Env-Function
[On/Off]This option informs the code generators (SDL to C compilers) if environment functions should be generated or not.
Set-Env-Header
[On/Off]This option is applicable to the SDL to C compilers only. With this parameter turned on, a header file containing the definitions of the SDL system's interface to the environment is created. This file is identified by the .ifc file name extension.
Set-Error-Limit
<Errorlimit>This command sets the limit of reported errors after which the Analyzer will stop its execution. Use 0 to turn off the limit.
Default is a limit of 30 diagnostics.
Set-Expand-Include
[On/Off]This option specifies whether include directives should be handled and expanded when reading input files. See Including PR Files.
Set-Expression-Limit
<Depth>This command instructs the Analyzer to issue a warning when the semantic analyzer encounters an SDL expression which is at least Depth deep.
Default is 0, meaning that no warnings will be issued.
Set-External-Type-Free-Function
[On/Off]This option informs the code generators if GenericFree should be called for variables of externally defined types (of struct kind).
Set-File-Prefix
[<file name prefix>]Prefix for files generated by the code generators. Default is no prefix.
Set-Full
[On/Off]Redo everything if on. Default is off.
Set-Generate-All-Files
[On/Off]Existing files will not be touched by C code generators if the new version is identical to the existing one and this option if Off. Default is On.
Set-Ignore-Hidden
[On/Off]Decides if PR should be generated for hidden SDL symbols. Default is On.
Set-Implicit-Type-Conversion
[On/Off]When this option is on, the Analyzer allows implicit type conversion of reference data types (generators Own, ORef, and Ref). Note that analyzing large expressions with this option on is slow. Default is off.
For more information, see Implicit Type Conversions.
Set-Input
<Filespec>The Analyzer will use the file specified in filespec as input file. The file will be processed according to the setting of Input-Mode (see Input-Mode). Use Add-Input to process a system stored in several files.
Set-Instance
[On/Off]With this option on, a file containing the SDL instance tree will be generated. Default is off. See SDL Instance Information for more information.
Set-Kernel
<Kernel>This option is applicable to the SDL to C compilers only. This option allows you to select the appropriate kernel with predefined runtime libraries. The makefile generated by the SDL to C compilers contains instructions which link the generated and compiled code with object modules of the selected library. The effect of this will be that the code which is generated by the SDL to C compilers will have different properties, reflecting the purpose of its usage (simulation, application generation, etc.). The allowed values of the parameter kernel vary from one configuration to another. The definitions are made in the file sdtsct.knl. The definitions for Cadvanced are made in the file sdtsct.knl, whereas the definitions for Cmicro are made in the file scmsct.knl.
The following values are recognized for Cadvanced:
SCTADEBCOM SCTADEBCLCOM SCTAPERFSIM SCTAAPPLCLENV SCTADEBCLENVApplication debug (simulation with environment, only Cadvanced)
SCTAVALIDATOR SCTATTCNLINKThe following values are recognized for Cmicro:
SCMADEBCOM SCMADEBCLCOM SCMADEBCLENVCOMSDL Target Tester, communication, user's env and real time clock
SCMAAPPLCLENVMIN SCMAAPPLCLENV
The predefined kernels for Cmicro cannot be used with any C compiler. They require GCC 2.95.2 on UNIX or Microsoft Visual C++ 6.0 in Windows.
Set-Lower-Case
[On/Off]SDL does not distinguish between lower case letters (a..z) and upper case letters (A..Z), but the high level programming language C does. With this parameter turned on, the names of, for instance, variables in the generated C code is written in lower case letters only. Otherwise, the case of an item in the SDL definition is used.
Set-Macro
[On/Off]Turns on or off the macro expansion pass. This option must be turned on if your diagram contains references to macro(s).
Set-Make
[On/Off]This command affects an option which enables or disables the generation of a makefile in conjunction with generation of C code.
Set-Modularity
[Modularity]Allows to specify the modularity of the code generated by the code generators, e.g. the SDL to C compilers. This option affects how many files will be generated.
Three options for the parameter Modularity are available:
- No - One single code module is generated.
- User - User defined, according to the definitions in the Organizer. See Edit Separation.
- Full - Multiple code modules will be generated.
Set-Optional-Make-Operator
[On/Off]Optional and default struct parameters are included in the make operator (invoked by (. .)) if On. Default is Off.
Set-Output
<Filespec>Allows you to save the information generated by the Analyzer in files with a different name, using Filespec as the base name.
File name extensions are appended automatically by the Analyzer.
Set-Pr2Gr
[On/Off]Turning this option on, the Analyzer will perform the PR to GR conversion pass. The steps are:
- The Analyzer creates diagram files with temporary names.
- The Analyzer lets the SDL Editor do tidy up on the diagram files.
- The Organizer renames/moves diagram files according to its preference.
Step 3 is only performed when a PR to GR conversion is run from the Organizer. The request to put temporary files in the current working directory is ignored on the Windows platform (they end up in some temp directory).
Set-Predefined-XRef
[On/Off]Include predefined data in SDL cross reference file if On. Default is Off.
Set-Prefix
[Prefix]Allows you to specify what prefix the code generators add to SDL names in the generated code.
Possible values for the parameter prefix are:
Set-Pretty
[On/Off]Turning this switch on, a pretty printed PR file will be generated.
Set-References
[On/Off]This option allows you to disable the verification that exactly one reference corresponds to each remote definition.
Set-SDL-Coder
[On/Off]Generate encoder and decoder from SDL (requires separate license).
Set-Sdt-Ref
[On/Off]Decides if SDT references should be included in the generated code as comments for easier navigation to its source. As default, SDT references in comments are included. Note that omitting SDT references in comments by using this command is not supported by standard IBM Rational code generators.
Set-Semantic
[On/Off]With this option turned on, the semantic check pass will be performed. Otherwise, the Analyzer will stop after the syntactic check.
See also Optimizing a System to Reduce Analysis Time.
Set-Signal-Number
[On/Off]Code generators will generate a file with signal numbers if on.
Set-Source
[On/Off]This command informs the code generators whether to generate C code or not when a generate code command is given. The reason for disabling code generation is that you may want to produce a makefile only, without generating code.
Set-Synonym
[On/Off]Decides if the specified synonym file should be used or not. Default is Off.
Set-Syntax
[On/Off]This option turns on or off the syntax analysis pass.
Set-TAEX-Make
[On/Off]This command controls the generation of a makefile for Targeting Expert in conjunction to generation of C code.
Set-Upcase-Keyword-Pretty
[On/Off]Select between upper or lower case keywords in pretty printings.
Default is off (i.e. lower case letters).
Set-Warn-Else-Answer
[On/Off]Print a message if a decision or transition option does not have an else answer and the Analyzer is unable to decide that it is not needed.
Set-Warn-Match-Answer
[On/Off]Print a message if a decision or transition option does not have an answer for some value. The analyzer is not able to do this in all situations.
Set-Warn-Parameter-Mismatch
[On/Off]Print a message if the types of the actual and formal parameters are implemented with different typedef, i.e. they may be of different size. This is only checked for functions that cannot handle length mismatch. No warning is given if the actual parameter is a literal.
Set-Warn-Optional-Parameter
[On/Off]Print a message if an optional actual parameter is omitted.
Set-Warn-Output
[On/Off]Print a warning message if an SDL signal output has a different semantic meaning between SDL 88 and 92.
This command is particularly useful when working with SDT 2.X diagrams in an SDT 3.X environment (SDT 2.X supports SDL-88, while SDT 3.X supports SDL-92).
Set-Warn-Parameter-Count
[On/Off]Print a message if trailing actual parameters are omitted.
Set-Warn-Usage
[On/Off]Print a message if an SDL definition is not used.
Set-Xref
[On/Off]With this option on, a file containing SDL Cross References will be generated. See SDL Cross-References.
Show-Analyze-Options
(None)This command lists the current Analyzer options.
Show-Commands
(None)Similar to Help. The commands are listed without the command parameters.
Show-Generate-Options
(None)This command displays the code generator options as currently defined.
Show-License
(None)This command returns information about:
- The total amount of software licenses
- How many licenses are currently in use, together with the user identification, the host name and the checkout time
- How many licenses are available
Show-Version
(None)This command displays the version number of the Analyzer.
Source-Directory
[<directory>]The analyzer looks for include files in this directory.
Default is current working directory.
Synonym-File
[<file spec>]Specifies the synonym file (containing values of external synonyms). Default is no synonym file.
TAEX-Make-File
[<file spec>]Name of makefile for Targeting Expert. See Set-TAEX-Make.
Target-Directory
[<directory>]Specifies the directory where the code generators puts their files.
Default is current working directory.
Thread
<name> <stacksize> <stackprio> <maxqueuesize> <maxmessize>Use this command to distribute components of a program over several threads. Components following this command belongs to this thread. Parameters at the end may be omitted. Omitted parameters will use default values. The word default can be used to indicate that the default value is desired for a parameter. For more information see Threaded Integration.
XRef-File
[<file spec>]Specifies where the cross references are stored.
Miscellaneous Analyzer Commands
The following commands can be used for instance in the case of malfunction or unexpected behavior. They are not described further within the scope of the user documentation.
zzMake-Options
(None)zzSet-Access-Path-Tab
(None)zzSet-Optimize
(None)zzSet-Organizer-File
(None)zzSet-Over-View
(None)zzSet-SDT
(None)zzSet-Verbose
(None)zzSet-Warn-Oper-Usage
(None)zzShow-Error
(None)zzShow-Organizer
(None)zzTransport
(None)zzWrite-Name-List
(None)zzWrite-Path
(None)zzWrite-Pretty
(None)zzWrite-Symbol
(None)zzWrite-Syntax
(None)1The exact syntax is subject to change since the tool is still under development.
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |