Generating Software from Specifications WS 2013/14 - Solution 9
Solution for Exercise 24
For the solution of this exercise inspect the directory
blatt9/solution
:
- The file
QualNamesSol.fw
contains a specification where explanations are added. - The directory
Test
contains a little test suite with test cases which exhibit missing dependences in three parts of the specification:- There are no messages on multiple declarations.
- Uses of field names which are defined cause messages ("undefined").
- Messages are missing on assignments, that have incompatible types.
Solution for Exercise 25
No solution is provided for this exercise.
Solution for Exercise 26
No solution is provided for this exercise.
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 15.01.2014