#include <types.h>

Inheritance diagram for v8::internal::TypeImpl< Config >::UnionType:

Collaboration diagram for v8::internal::TypeImpl< Config >::UnionType:

Public Member Functions
bool	Wellformed ()

Public Member Functions inherited from v8::internal::TypeImpl< Config >
bool	IsInhabited ()

bool	Is (TypeImpl *that)

template<class TypeHandle >
bool	Is (TypeHandle that)

bool	Maybe (TypeImpl *that)

template<class TypeHandle >
bool	Maybe (TypeHandle that)

bool	Equals (TypeImpl *that)

template<class TypeHandle >
bool	Equals (TypeHandle that)

bool	Contains (i::Object *val)

bool	Contains (i::Handle< i::Object > val)

bool	NowIs (TypeImpl *that)

template<class TypeHandle >
bool	NowIs (TypeHandle that)

bool	NowContains (i::Object *val)

bool	NowContains (i::Handle< i::Object > val)

bool	NowStable ()

bool	IsClass ()

bool	IsConstant ()

bool	IsRange ()

bool	IsContext ()

bool	IsArray ()

bool	IsFunction ()

ClassType *	AsClass ()

ConstantType *	AsConstant ()

RangeType *	AsRange ()

ContextType *	AsContext ()

ArrayType *	AsArray ()

FunctionType *	AsFunction ()

double	Min ()

double	Max ()

int	NumClasses ()

int	NumConstants ()

Iterator< i::Map >	Classes ()

Iterator< i::Object >	Constants ()

void	PrintTo (OStream &os, PrintDimension dim=BOTH_DIMS)

template<class OtherType >
TypeImpl< Config >::TypeHandle	Convert (typename OtherType::TypeHandle type, Region *region)

Static Public Member Functions
static UnionHandle	New (int length, Region *region)

static UnionType *	cast (TypeImpl *type)

Static Public Member Functions inherited from v8::internal::TypeImpl< Config >
static TypeHandle	Class (i::Handle< i::Map > map, Region *region)

static TypeHandle	Constant (i::Handle< i::Object > value, Region *region)

static TypeHandle	Range (i::Handle< i::Object > min, i::Handle< i::Object > max, Region *region)

static TypeHandle	Context (TypeHandle outer, Region *region)

static TypeHandle	Array (TypeHandle element, Region *region)

static FunctionHandle	Function (TypeHandle result, TypeHandle receiver, int arity, Region *region)

static TypeHandle	Function (TypeHandle result, Region *region)

static TypeHandle	Function (TypeHandle result, TypeHandle param0, Region *region)

static TypeHandle	Function (TypeHandle result, TypeHandle param0, TypeHandle param1, Region *region)

static TypeHandle	Function (TypeHandle result, TypeHandle param0, TypeHandle param1, TypeHandle param2, Region *region)

static TypeHandle	Union (TypeHandle type1, TypeHandle type2, Region *reg)

static TypeHandle	Intersect (TypeHandle type1, TypeHandle type2, Region *reg)

static TypeHandle	Of (double value, Region *region)

static TypeHandle	Of (i::Object value, Region region)

static TypeHandle	Of (i::Handle< i::Object > value, Region *region)

static TypeHandle	NowOf (i::Object value, Region region)

static TypeHandle	NowOf (i::Handle< i::Object > value, Region *region)

static TypeImpl *	cast (typename Config::Base *object)

template<class OtherTypeImpl >
static TypeHandle	Convert (typename OtherTypeImpl::TypeHandle type, Region *region)

Additional Inherited Members
Public Types inherited from v8::internal::TypeImpl< Config >
enum	PrintDimension { BOTH_DIMS , SEMANTIC_DIM , REPRESENTATION_DIM }

typedef uint32_t	bitset

typedef Config::template Handle< TypeImpl >::type	TypeHandle

typedef Config::template Handle< ClassType >::type	ClassHandle

typedef Config::template Handle< ConstantType >::type	ConstantHandle

typedef Config::template Handle< RangeType >::type	RangeHandle

typedef Config::template Handle< ContextType >::type	ContextHandle

typedef Config::template Handle< ArrayType >::type	ArrayHandle

typedef Config::template Handle< FunctionType >::type	FunctionHandle

typedef Config::template Handle< UnionType >::type	UnionHandle

typedef Config::Region	Region

Protected Member Functions inherited from v8::internal::TypeImpl< Config >::StructuralType
int	Length ()

TypeHandle	Get (int i)

void	Set (int i, TypeHandle type)

void	Shrink (int length)

template<class V >
i::Handle< V >	GetValue (int i)

template<class V >
void	SetValue (int i, i::Handle< V > x)

Protected Member Functions inherited from v8::internal::TypeImpl< Config >
TypeImpl *	unhandle ()

bool	IsNone ()

bool	IsAny ()

bool	IsBitset ()

bool	IsUnion ()

bitset	AsBitset ()

UnionType *	AsUnion ()

bitset	BitsetGlb ()

bitset	BitsetLub ()

bool	SlowIs (TypeImpl *that)

RangeType *	GetRange ()

bool	SimplyEquals (TypeImpl *that)

template<class TypeHandle >
bool	SimplyEquals (TypeHandle that)

Static Protected Member Functions inherited from v8::internal::TypeImpl< Config >::StructuralType
static TypeHandle	New (Tag tag, int length, Region *region)

Static Protected Member Functions inherited from v8::internal::TypeImpl< Config >
template<class T >
static Config::template Handle< T >::type	handle (T *type)

static bool	IsInteger (double x)

static bool	IsInteger (i::Object *x)

static Limits	Intersect (Limits lhs, Limits rhs)

static Limits	Union (Limits lhs, Limits rhs)

static bool	Overlap (RangeType lhs, RangeType rhs)

static bool	Contains (RangeType lhs, RangeType rhs)

static bool	Contains (RangeType range, i::Object val)

static int	UpdateRange (RangeHandle type, UnionHandle result, int size, Region *region)

static int	AddToUnion (TypeHandle type, UnionHandle result, int size, Region *region)

static int	IntersectAux (TypeHandle type, TypeHandle other, UnionHandle result, int size, Region *region)

static TypeHandle	NormalizeUnion (UnionHandle unioned, int size)

Detailed Description

template<class Config>
class v8::internal::TypeImpl< Config >::UnionType

Definition at line 692 of file types.h.

Member Function Documentation

◆ cast()

template<class Config >

static UnionType* v8::internal::TypeImpl< Config >::UnionType::cast ( TypeImpl * type )

inlinestatic

Definition at line 699 of file types.h.

                                          {
     DCHECK(type->IsUnion());
     return static_cast<UnionType*>(type);
   }

References DCHECK, and v8::internal::TypeImpl< Config >::IsUnion().

Referenced by v8::internal::TypeImpl< Config >::AsUnion().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ New()

template<class Config >

static UnionHandle v8::internal::TypeImpl< Config >::UnionType::New	(	int	length,
		Region *	region
	)

inlinestatic

Definition at line 694 of file types.h.

                                                      {
     return Config::template cast<UnionType>(
         StructuralType::New(StructuralType::kUnionTag, length, region));
   }

References v8::internal::TypeImpl< Config >::StructuralType::kUnionTag, and v8::internal::TypeImpl< Config >::StructuralType::New().

Referenced by v8::internal::TypeImpl< Config >::Convert(), and v8::internal::TypeImpl< Config >::Union().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Wellformed()

template<class Config >

bool v8::internal::TypeImpl< Config >::UnionType::Wellformed

Definition at line 573 of file types.cc.

                                            {
   DisallowHeapAllocation no_allocation;
   // This checks the invariants of the union representation:
   // 1. There are at least two elements.
   // 2. At most one element is a bitset, and it must be the first one.
   // 3. At most one element is a range, and it must be the second one
   //    (even when the first element is not a bitset).
   // 4. No element is itself a union.
   // 5. No element is a subtype of any other.
   DCHECK(this->Length() >= 2);  // (1)
   for (int i = 0; i < this->Length(); ++i) {
     if (i != 0) DCHECK(!this->Get(i)->IsBitset());  // (2)
     if (i != 1) DCHECK(!this->Get(i)->IsRange());  // (3)
     DCHECK(!this->Get(i)->IsUnion());  // (4)
     for (int j = 0; j < this->Length(); ++j) {
       if (i != j) DCHECK(!this->Get(i)->Is(this->Get(j)));  // (5)
     }
   }
   return true;
 }

References DCHECK, v8::internal::TypeImpl< Config >::Is(), v8::internal::TypeImpl< Config >::IsBitset(), v8::internal::TypeImpl< Config >::IsRange(), and v8::internal::TypeImpl< Config >::IsUnion().

Referenced by v8::internal::TypeImpl< Config >::BitsetType::Glb().

Here is the call graph for this function:

Here is the caller graph for this function:

The documentation for this class was generated from the following files:

/mnt/V8SourceCode/src/types.h
/mnt/V8SourceCode/src/types.cc

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

template<class Config> class v8::internal::TypeImpl< Config >::UnionType

Member Function Documentation

◆ cast()

◆ New()

◆ Wellformed()

template<class Config>
class v8::internal::TypeImpl< Config >::UnionType