==== GENERAL INFORMATION ====
Output file name: /jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/log_test_listOfOCLFiles.txt
Author: genie.ocl


==== RESOURCES USED ====
Model checked: 
				file:/jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/EcoreTestFile.ecore


==== METRICS ====
Total number of evaluated constraints: 48
- Number of Success: 42
- Number of Infos: 2
- Number of Warnings: 2
- Number of Errors: 2
- Number of Failures: 0


==== LOGS ====
- Informations:
			 Resource: file:/jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/eclipse_ocl_rule.ocl
			 Invariant: package_num
			 Expression: package_num : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'Number of eClasses in the package: ' + self.oclContents()->size().toString() }.status
			 Severity: INFO
			 Message: Number of eClasses in the package: 3
				-------------
			 Resource: file:/jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/eclipse_ocl_rule_2.ocl
			 Invariant: package_num
			 Expression: package_num : Tuple{ status: Boolean = false, severity: Integer = 0, message : String = 'Number of eClasses in the package: ' + self.oclContents()->size().toString() }.status
			 Severity: INFO
			 Message: Number of eClasses in the package: 3
				-------------
- Warnings:
			 Resource: file:/jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/eclipse_ocl_rule.ocl
			 Invariant: class_num
			 Expression: class_num : Tuple{ status: Boolean = false, severity: Integer = 1, message : String = 'Number of eClasses: ' + self.ePackage.oclContents()->size().toString() }.status
			 Severity: WARNING
			 Message: Number of eClasses: 3
				-------------
			 Resource: file:/jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/eclipse_ocl_rule_2.ocl
			 Invariant: class_num
			 Expression: class_num : Tuple{ status: Boolean = false, severity: Integer = 1, message : String = 'Number of eClasses: ' + self.ePackage.oclContents()->size().toString() }.status
			 Severity: WARNING
			 Message: Number of eClasses: 3
				-------------
- Errors:
			 Resource: file:/jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/eclipse_ocl_rule.ocl
			 Invariant: attributes_num
			 Expression: attributes_num : Tuple{ status: Boolean = false, severity: Integer = -1, message : String = 'Number of attributes: ' + self.oclContainer().oclContents()->size().toString() }.status
			 Severity: ERROR
			 Message: Number of attributes: 1
				-------------
			 Resource: file:/jobs/genie.ocl/ocl-mars-maintenance/workspace/org.eclipse.ocl.git/tests/org.eclipse.ocl.examples.xtext.tests/bin/org/eclipse/ocl/examples/test/standalone/models/eclipse_ocl_rule_2.ocl
			 Invariant: attributes_num
			 Expression: attributes_num : Tuple{ status: Boolean = false, severity: Integer = -1, message : String = 'Number of attributes: ' + self.oclContainer().oclContents()->size().toString() }.status
			 Severity: ERROR
			 Message: Number of attributes: 1
				-------------
