![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Performing Semantic AnalysisExecuting the Compile > Analyze, Compile > Code, Compile > Semanticize, or Compile > Link command analyzes the semantics of an unit. The analysis updates the unit's underlying structure with semantic information and verifies that this structure conforms to the semantic rules of the program language.
Specifically, the semantic analysis checks whether:
- Type compatibility is preserved among variables, expressions, and the like.
- Subprograms are used with the correct parameter profiles.
- Named objects have been declared. This includes checking the structures of units referenced in with clauses to make sure that all names can be resolved.
The semantic analysis also has these effects:
- It saves changes (Analyze, Code, Link commands only).
- If you perform a semantic analysis on a unit with syntactic errors, the analysis reports them first. No semantic errors are reported until you correct existing syntactic errors.
Rational Software Corporation http://www.rational.com support@rational.com techpubs@rational.com Copyright © 1993-2001, Rational Software Corporation. All rights reserved. |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |