Download 55 The SDL Analyzer

Transcript
Chapter
55
The SDL Analyzer
WARNING 267 Optional parameter of sort %1 omitted
WARNING 268 Gate must be connected
ERROR 269 Expression evaluates to error
ERROR 270 Selected definition not allowed here
ERROR 271 All packages must either be before or after the
system
The system should follow the package list according to SDL. For backwards compatibility the analyzer also accepts a package list after the
system, but not both at the same time. In the Organizer this means that
the icons for all packages used by a system should be above the system
icon.
WARNING 272 No analysis is performed when the infile is
empty
The SDL/PR input file cannot be empty.
WARNING 273 No semantic analysis is performed when the
input is not a system or a package
Semantic analysis can only be performed on a system or a package.
ERROR 274 Compile and link exited with error code
The code generated by the SDL to C Compiler caused compile or link
errors.
ERROR 275 Lost license
The connection to the license server is lost. You must wait until the Analyzer has regained access to the license server before resuming your
work. If required, contact your system manager to get the problem
solved.
ERROR 276 Cannot get license
No license was available when starting up Analyzer. You must wait until a license becomes available (which will occur when another user terminates his Analyzer).
2524
,um-st1
Telelogic Tau 4.5 User’s Manual
July 2003