effects.h | 53 enum Modality { POSSIBLE, DEFINITE }; 55 Modality modality; member in struct:v8::internal::Effect 58 Effect() : modality(DEFINITE) {} 59 Effect(Bounds b, Modality m = DEFINITE) : modality(m), bounds(b) {} 72 if (e2.modality == DEFINITE) return e2; 73 return Effect(Bounds::Either(e1.bounds, e2.bounds, isolate), e1.modality); 80 e1.modality == POSSIBLE ? POSSIBLE : e2.modality); [all...] |