Merge: Contract: Change mpropdef driving master
authorJean Privat <jean@pryen.org>
Wed, 16 Oct 2019 14:47:54 +0000 (10:47 -0400)
committerJean Privat <jean@pryen.org>
Wed, 16 Oct 2019 14:47:54 +0000 (10:47 -0400)
commit82e4df8f635dbb62c3a5fa8a9b17fdecd91e55b6
treeaab800ea72ea6799c36f0fcdeef0e302e095e4de
parent99cbebc98a566e0054334633e146463156d073e1
parentbfbe3cb8026f2e6b53d41f23c97cfd3060f87016
Merge: Contract: Change mpropdef driving

This pr change the driving strategy to resolve the problem when the static type has no contract and the dynamic has one.

Note: now when a mpropdef has a contract after the introduction a facet is added in the intro class. Indeed, as there is no way to know the dynamic type we are going to meet, we must always direct to the facet of contract even if it only redirects to the method and executes no contract.

I change at the same time the syntax of the keywords `ensures` by `ensure` and `expects` by `expect`. The doc will arrive in the next pr.

Pull-Request: #2799