JOSIF Main Page | JOSIF Framework | TIP Model Validator
| Table of Contents | ||||||||
|---|---|---|---|---|---|---|---|---|
|
Introduction
TIP Model Validator validates a TIP model project against some pre-defined error conditions. It shows all findings (errors, warnings, information) in Eclipse 'Problems' view.
...
Error Conditions
Please refer to to TIP _ Model _ Validator _ ErrorConditions for the errror conditions the validator supports.
...
1) the resources of the model project are marked if there are any errors or warnings related to them are found.
...
2) a dialog summarizes the validation results.
...