diff options
author | Rustan Leino <unknown> | 2014-02-24 22:54:32 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2014-02-24 22:54:32 -0800 |
commit | 9a172309c91360449dd6211b39b96fdff0a7d2d0 (patch) | |
tree | 54cc884e9f63c1e7dbe9167d50ab59b87ce8c4e7 /Source/Concurrency/OwickiGries.cs | |
parent | d9dc7b51a3c1af9177f5b70cf7425b1990d25e77 (diff) |
(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of its methods now demand the return value to equal the given node.
Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor.
Diffstat (limited to 'Source/Concurrency/OwickiGries.cs')
0 files changed, 0 insertions, 0 deletions