effects.h | 30 enum Modality { POSSIBLE, DEFINITE }; 32 Modality modality; member in struct:v8::internal::Effect 35 Effect() : modality(DEFINITE) {} 36 explicit Effect(Bounds b, Modality m = DEFINITE) : modality(m), bounds(b) {} 49 if (e2.modality == DEFINITE) return e2; 50 return Effect(Bounds::Either(e1.bounds, e2.bounds, zone), e1.modality); 57 e1.modality == POSSIBLE ? POSSIBLE : e2.modality); [all...] |