Lines Matching refs:zone
37 static Effect Unknown(Zone* zone) {
41 static Effect Forget(Zone* zone) {
46 static Effect Seq(Effect e1, Effect e2, Zone* zone) {
48 return Effect(Bounds::Either(e1.bounds, e2.bounds, zone), e1.modality);
52 static Effect Alt(Effect e1, Effect e2, Zone* zone) {
54 Bounds::Either(e1.bounds, e2.bounds, zone),
79 explicit EffectsMixin(Zone* zone) : Base(zone) {}
84 ? locator.value() : Effect::Unknown(Base::zone());
97 effect = Effect::Seq(locator.value(), effect, Base::zone());
111 effect = Effect::Alt(locator.value(), effect, Base::zone());
126 Effect::Forget(Base::zone()), Effects(Base::zone()) };
174 explicit EffectsBase(Zone* zone) : map_(new(zone) Mapping(zone)) {}
183 Zone* zone() { return map_->allocator().zone(); }
224 explicit Effects(Zone* zone)
225 : EffectsMixin<Var, EffectsBase<Var, kNoVar>, Effects<Var, kNoVar> >(zone)
233 explicit NestedEffectsBase(Zone* zone) : node_(new(zone) Node(zone)) {}
253 Zone* zone() { return node_->zone; }
255 void push() { node_ = new(node_->zone) Node(node_->zone, node_); }
279 Zone* zone;
282 explicit Node(Zone* zone, Node* previous = NULL)
283 : zone(zone), effects(zone), previous(previous) {}
312 explicit NestedEffects(Zone* zone) :
314 zone) {}
