==== GENERAL INFORMATION ====
Output file name: /jobs/genie.ocl/ocl-neon-master/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.validity.test/bin/org/eclipse/ocl/examples/validity/test//testTEXTExport_ProducesAllLogHeadings.txt
Author: genie.ocl


==== RESOURCES USED ====
Model checked: 
				platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecoreTest.ecore
				platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecoreTest2.ecore
				platform:/plugin/org.eclipse.ocl.examples.validity.test/model/validityModelTest.ecoretest


==== METRICS ====
Total number of evaluated constraints: 4
- Number of Success: 0
- Number of Infos: 1
- Number of Warnings: 1
- Number of Errors: 1
- Number of Failures: 1


==== LOGS ====
- Informations:
			 Resource: platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecoreTest.ocl
			 Invariant: eclass2_constraint
			 Expression: eclass2_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'ecoreTest: eclass2_constraint '+self.toString() }.status
			 Severity: INFO
			 Message: null diagnostic message
				-------------
- Warnings:
			 Resource: platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecore.ocl
			 Invariant: eattribute_constraint
			 Expression: eattribute_constraint : Tuple{ status: Boolean = false, severity: Integer = -1, message : String = 'eattribute_constraint: Number of attributes: ' + self.oclContainer().oclContents()->size().toString() }.status
			 Severity: WARNING
			 Message: null diagnostic message
				-------------
- Errors:
			 Resource: platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecoreTest.ocl
			 Invariant: eclass1_constraint
			 Expression: eclass1_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'ecoreTest: eclass1_constraint '+self.toString() }.status
			 Severity: ERROR
			 Message: null diagnostic message
				-------------
- Failures:
			 Resource: platform:/plugin/org.eclipse.ocl.examples.validity.test/model/ecore.ocl
			 Invariant: epackage_constraint
			 Expression: epackage_constraint : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'epackage_constraint: Number of eClasses: ' + self.oclContents()->size().toString() }.status
			 Severity: FATAL
			 Message: null diagnostic message
				-------------
