diff options
author | 2011-03-05 19:37:44 +0000 | |
---|---|---|
committer | 2011-03-05 19:37:44 +0000 | |
commit | 70523a04090b435d09e890294ac57fd717e03296 (patch) | |
tree | 9b66698a59c146c85a6a76b94f2167fb5c91fca0 /Util/VS2010 | |
parent | 449513b54c573aa2b4ed4887c8727c5ce9cc9059 (diff) |
Changes needed to translate both contracts and method bodies. The Statement and Expression traversers need to have a mode that controls two things:
1. Parameters occurring in contracts are translated as the corresponding in-parameter of the corresponding procedure. Parameters occurring in method bodies are translated as the corresponding out-parameter of the corresponding procedure.
2. Method calls in method bodies are translated as call commands. Method calls in contracts are translated as function calls.
Diffstat (limited to 'Util/VS2010')
0 files changed, 0 insertions, 0 deletions