1. GENERAL INFORMATION

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_Statistics.html
Author: jenkins

2. RESOURCES USED

2.1. Model checked


3. METRICS

Total number of evaluated constraints: 153
Number of Success: 145
Number of Infos: 2
Number of Warnings: 2
Number of Errors: 2
Number of Failures: 2

4. LOGS

4.1. Infos

Resource Invariant Expression Severity Message
Resource: ecoreTest.ocl eclass2_constraint eclass2_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'ecoreTest: eclass2_constraint '+self.toString() }.status INFO null diagnostic 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

4.2. Warnings

Resource Invariant Expression Severity Message

4.3. Errors

Resource Invariant Expression Severity Message
Resource: ecoreTest.ocl eclass1_constraint eclass1_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'ecoreTest: eclass1_constraint '+self.toString() }.status ERROR null diagnostic message
Resource: ecore.ocl epackage_constraint_2 epackage_constraint_2 : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'epackage_constraint_2: Number of eClasses: ' + self.oclContents()->size().toString() }.status ERROR null diagnostic message

4.4. Failures

Resource Invariant Expression Severity Message
Resource: ecore.ocl epackage_constraint epackage_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'epackage_constraint: Number of eClasses: ' + self.oclContents()->size().toString() }.status FATAL null diagnostic message
Resource: ecore.ocl eclass_constraint eclass_constraint : Tuple{ status: Boolean = true, severity: Integer = -1, message : String = 'eclass_constraint: Number of eClasses: ' + self.ePackage?.oclContents()?->size().toString() }.status FATAL null diagnostic message