[pivot] Add OperationCallExp::isVirtual

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0

0 stars 0 forks source link

[pivot] Add OperationCallExp::isVirtual #1677

Open eclipse-ocl-bot opened 3 hours ago

eclipse-ocl-bot commented 3 hours ago

| --- | --- | | Bugzilla Link | 489948 | | Status | NEW | | Importance | P3 normal | | Reported | Mar 18, 2016 10:45 EDT | | Modified | Mar 23, 2016 12:44 EDT | | Reporter | Ed Willink |

Description

http://issues.omg.org/browse/OCL25-92 and Bug 489273 address the problem that it may be ambiguous in the AS whether an OperationCallExp should be dispatched virtually or statically.

Add an isVirtual property, defaulting to true, so that in due course static dispatch may be supported.

eclipse-ocl-bot commented 3 hours ago

By Ed Willink on Mar 23, 2016 12:44

OperationCallExp::isVirtual (default true) added to the AS for M6.

CS code to set it, evaluation code to use it still to do.