Lines Matching refs:binding

32 because `foo[i]` may have overwritten it! Thus, *binding to a region with a
81 Unlike binding invalidation, region invalidation occurs when the entire
107 type of binding called a "Default" binding. These are used to provide values to
109 explicitly specify a binding for each individual element.
111 When there is no Direct binding for a particular region, the store manager
112 looks at each super-region in turn to see if there is a Default binding. If so,
119   manyInts[1] = 42;   // Creates a Direct binding for manyInts[1].
120   print(manyInts[1]); // Retrieves the Direct binding for manyInts[1];
121   print(manyInts[0]); // There is no Direct binding for manyInts[1].
122                       // Is there a Default binding for the entire array?
130 distinguish a Default binding for an entire aggregate from a Default binding
139 LazyCompoundVal. When the store is asked for the "binding" for an entire
151 Retrieving a value from a lazy binding happens in the same way as any other
152 Default binding: since there is no direct binding, the store manager falls back
153 to super-regions to look for an appropriate default binding. LazyCompoundVal
154 differs from a normal default binding, however, in that it contains several
162     p.x = 42;       // A Direct binding is made to the FieldRegion 'p.x'.
165                     // used as a Default binding for the VarRegion 'p2'.
166     return p2.x;    // The binding for FieldRegion 'p2.x' is requested.
167                     // There is no Direct binding, so we look for a Default
168                     // binding to 'p2' and find the LCV.