v8::internal::Effect Struct Reference

#include <effects.h>

Collaboration diagram for v8::internal::Effect:

Public Types
enum	Modality { POSSIBLE , DEFINITE }

Public Member Functions
	Effect ()
	Effect (Bounds b, Modality m=DEFINITE)

Static Public Member Functions
static Effect	Unknown (Zone *zone)
static Effect	Forget (Zone *zone)
static Effect	Seq (Effect e1, Effect e2, Zone *zone)
static Effect	Alt (Effect e1, Effect e2, Zone *zone)

Public Attributes
Modality	modality
Bounds	bounds

Detailed Description

Definition at line 29 of file effects.h.

Member Enumeration Documentation

Modality

enum v8::internal::Effect::Modality

Enumerator
POSSIBLE
DEFINITE

Definition at line 30 of file effects.h.

{ POSSIBLE, DEFINITE };

Constructor & Destructor Documentation

Effect() [1/2]

v8::internal::Effect::Effect ( )

inline

Definition at line 35 of file effects.h.

: modality(DEFINITE) {}

Referenced by Alt(), Forget(), Seq(), and Unknown().

Here is the caller graph for this function:

Effect() [2/2]

v8::internal::Effect::Effect ( Bounds  b, Modality  m = DEFINITE  )

inlineexplicit

Definition at line 36 of file effects.h.

: modality(m), bounds(b) {}

Member Function Documentation

Alt()

static Effect v8::internal::Effect::Alt ( Effect  e1, Effect  e2, Zone *  zone  )

inlinestatic

Definition at line 54 of file effects.h.

                                                      {
    return Effect(
        Bounds::Either(e1.bounds, e2.bounds, zone),
        e1.modality == POSSIBLE ? POSSIBLE : e2.modality);
  }

References bounds, Effect(), v8::internal::BoundsImpl< ZoneTypeConfig >::Either(), modality, and POSSIBLE.

Referenced by v8::internal::EffectsMixin< Var, Base, Effects >::Alt().

Here is the call graph for this function:

Here is the caller graph for this function:

Forget()

static Effect v8::internal::Effect::Forget ( Zone *  zone )

inlinestatic

Definition at line 43 of file effects.h.

                                   {
    return Effect(Bounds::Unbounded(zone), DEFINITE);
  }

References DEFINITE, Effect(), and v8::internal::BoundsImpl< ZoneTypeConfig >::Unbounded().

Referenced by v8::internal::EffectsMixin< Var, Base, Effects >::Forget().

Here is the call graph for this function:

Here is the caller graph for this function:

Seq()

static Effect v8::internal::Effect::Seq ( Effect  e1, Effect  e2, Zone *  zone  )

inlinestatic

Definition at line 48 of file effects.h.

                                                      {
    if (e2.modality == DEFINITE) return e2;
    return Effect(Bounds::Either(e1.bounds, e2.bounds, zone), e1.modality);
  }

References bounds, DEFINITE, Effect(), v8::internal::BoundsImpl< ZoneTypeConfig >::Either(), and modality.

Referenced by v8::internal::EffectsMixin< Var, Base, Effects >::Seq().

Here is the call graph for this function:

Here is the caller graph for this function:

Unknown()

static Effect v8::internal::Effect::Unknown ( Zone *  zone )

inlinestatic

Definition at line 39 of file effects.h.

                                    {
    return Effect(Bounds::Unbounded(zone), POSSIBLE);
  }

References Effect(), POSSIBLE, and v8::internal::BoundsImpl< ZoneTypeConfig >::Unbounded().

Referenced by v8::internal::EffectsMixin< Var, Base, Effects >::Lookup().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

bounds

Bounds v8::internal::Effect::bounds

Definition at line 33 of file effects.h.

Referenced by Alt(), v8::internal::EffectsMixin< Var, Base, Effects >::LookupBounds(), and Seq().

modality

Modality v8::internal::Effect::modality

Definition at line 32 of file effects.h.

Referenced by Alt(), v8::internal::EffectsMixin< Var, Base, Effects >::AltWeakener< Self >::Call(), v8::internal::EffectsMixin< Var, Base, Effects >::LookupBounds(), and Seq().

---

The documentation for this struct was generated from the following file:

• /mnt/V8SourceCode/src/effects.h