| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
| |
ISourceLocationProvider so that we can get the closest source location even if the location we have doesn't correspond to an exact source location.
|
| |
|
|
| |
statement that has a source location.
|
| | |
|
| |
|
|
|
|
| |
the "this" parameter.
If a method definition is marked with an attribute whose name is "AsyncAttribute", then all calls to that method have {: async } added as an attribute on the call.
|
| | |
|
| |
|
|
| |
tokens. Made it an extension method that takes any object implementing IObjectWithLocations. Much easier to use within the translator.
|
| |
|
|
| |
only for assigning the local copy of a method's parameter to the out parameter of the Boogie procedure. But now that is simplified: instead of three versions of each parameter (in, local, and out), there are only two: in and out. For a parameter that is *not* by reference and is *not* an out parameter (i.e., just a plain pass-by-value parameter), the "out" version is a local variable. Otherwise it is an out parameter of the Boogie procedure.
|
| |
|
|
| |
the traversers and which contains the information that they need to share with each other.
|
| |
|
mikebarnett