Output file name: | /home/jenkins/agent/workspace/ocl-master/tests/org.eclipse.ocl.examples.validity.test/target/classes/org/eclipse/ocl/examples/validity/test/testHTMLExport_LoggingMetricsWithErrorSeverity.html |
Author: | jenkins |
Total number of evaluated constraints: | 4 |
Number of Success: | 1 |
Number of Infos: | 1 |
Number of Warnings: | 1 |
Number of Errors: | 1 |
Number of Failures: | 0 |
Resource | Invariant | Expression | Severity | Message |
Resource: ecore.ocl | eattribute_constraint | eattribute_constraint : Tuple{ status: Boolean = false, severity: Integer = -1, message : String = 'eattribute_constraint: Number of attributes: ' + self.oclContainer()?.oclContents()?->size().toString() }.status | INFO | null diagnostic message |
Resource | Invariant | Expression | Severity | Message |
Resource | Invariant | Expression | Severity | Message |