eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[project] Use the OCL Nature #1947

Open eclipse-ocl-bot opened 2 hours ago

eclipse-ocl-bot commented 2 hours ago

| --- | --- | | Bugzilla Link | 529787 | | Status | NEW | | Importance | P3 normal | | Reported | Jan 13, 2018 04:57 EDT | | Modified | Feb 24, 2019 06:57 EDT | | Depends on | 529788, 529761, 529769 | | Reporter | Ed Willink |

Description

The new OCL nature (Bug 429479) supports auto-validation of embedded OCL. Add it to OCL projects to demonstrate its utility.

eclipse-ocl-bot commented 2 hours ago

By Ed Willink on Jan 13, 2018 11:38

org.eclipse.ocl.examples.codegen - fairly straightforward\ org.eclipse.ocl.xtext.* - fairly straightforward

org.eclipse.ocl - dreadful - 427 errors\ OCLCST.uml affected by Bug 529769\ OCL.uml has dubious embedded OCL\ => workaround suppress *.uml validation

org.eclipse.ocl.ecore - dreadful - 99 errors\ oclstdlib.ecore uses illegal operation names such as "="\ => need to activate the disabledPaths support

org.eclipse.ocl.uml - dreadful - 72 errors\ oclstdlib.uml - 'bad' opposites - Bug 529788\ OCLUML.uml - 3 errors (but only within UML Model Editot)

org.eclipse.ocl.pivot\ Pivot.uml, SubSuperstructure.uml - many errors - stale, rename with .old suffix\ PivotAnnotations.ecore - 8 spurious Ecore EAnnotation references - add to disabledPaths\ Lookup.ecore - 1 warning - Bug 529761

org.eclipse.ocl.pivot.uml - fairly straightforward

org.eclipse.ocl.examples.build - dreadful

org.eclipse.ocl.examples.impactanalyzer.testmodel.company

org.eclipse.ocl.examples.impactanalyzer.testmodel.npgm

org.eclipse.ocl.examples.validity.test - ok

org.eclipse.ocl.ecore.tests

org.eclipse.ocl.uml.tests

org.eclipse.ocl.examples.xtext.tests - 86 errors many files


Overall: .ocl, .ecore validation seems pretty useable, *.uml is not

About half the projects can have non-UML validation enabled. Other half need work.

eclipse-ocl-bot commented 2 hours ago

By Ed Willink on Feb 24, 2019 06:57

Most OCL and QVTd projects now use an OCL and/or QVTd nature. Some test projects need exclusion paths for some very vintage dubious files.

Few of the tests yet enable safe navigation as ERROR rather than the default IGNORE.

QVTd's LoadTestCase has an extra severity argument to faciltate selective enabling.