The numeric type represents integer and floating-point types of different precision and scale. More...

#include <Type.hpp>

Inheritance diagram for m::Numeric:

Collaboration diagram for m::Numeric:

Public Types
template<typename T >
using	Pooled = m::Pooled< T, Pool< Type > >

Public Member Functions
	M_DECLARE_ENUM (kind_t) kind
	the kind of numeric type

	Numeric (Numeric &&)=default

void	accept (TypeVisitor &v) override

void	accept (ConstTypeVisitor &v) const override

bool	operator== (const Type &other) const override

uint64_t	size () const override
	Compute the size in bits of an instance of this type.

uint64_t	alignment () const override
	Compute the alignment requirement in bits of an instance of this type.

uint64_t	hash () const override
	Compute the 64 bit hash of this `Type`.

void	print (std::ostream &out) const override
	Print a textual representation of this `Type` to `out`.

void	dump (std::ostream &out) const override

virtual const PrimitiveType *	as_scalar () const override
	Convert this `PrimitiveType` to its scalar equivalent.

virtual const PrimitiveType *	as_vectorial () const override
	Convert this `PrimitiveType` to its vectorial equivalent.

virtual void	dump (std::ostream &out) const=0

void	dump () const

bool	is_scalar () const
	Returns `true` iff this `PrimitiveType` is scalar, i.e. if it is for a single value.

bool	is_vectorial () const
	Returns `true` iff this `PrimitiveType` is vectorial, i.e. if it is for a sequence of values.

	M_DECLARE_ENUM (category_t)
	a category for whether this type is scalar or vectorial

bool	operator!= (const Type &other) const

bool	is_error () const

bool	is_none () const

bool	is_primitive () const
	Returns `true` iff this `Type` is a `PrimitiveType`.

bool	is_boolean () const

bool	is_bitmap () const

bool	is_character_sequence () const

bool	is_date () const

bool	is_date_time () const

bool	is_numeric () const
	Returns `true` iff this `Type` is a `Numeric` type.

bool	is_integral () const

bool	is_decimal () const

bool	is_floating_point () const
	Returns `true` iff this type is a floating-point type, i.e. `f32` or `f64`.

bool	is_float () const
	Returns `true` iff this type is a 32 bit floating-point type.

bool	is_double () const
	Returns `true` iff this type is a 64 bit floating-point type.

Static Public Member Functions
static M_LCOV_EXCL_STOP Pooled< ErrorType >	Get_Error ()
	Returns a `ErrorType`.

static Pooled< NoneType >	Get_None ()
	Returns a `NoneType`.

static Pooled< Boolean >	Get_Boolean (category_t category)
	Returns a `Boolean` type of the given `category`.

static Pooled< Bitmap >	Get_Bitmap (category_t category, std::size_t length)
	Returns a `Bitmap` type of the given `category` and `length`.

static Pooled< CharacterSequence >	Get_Char (category_t category, std::size_t length)
	Returns a `CharacterSequence` type of the given `category` and fixed `length`.

static Pooled< CharacterSequence >	Get_Varchar (category_t category, std::size_t length)
	Returns a `CharacterSequence` type of the given `category` and varying `length`.

static Pooled< Date >	Get_Date (category_t category)
	Returns a `Date` type of the given `category`.

static Pooled< DateTime >	Get_Datetime (category_t category)
	Returns a `DateTime` type of the given `category`.

static Pooled< Numeric >	Get_Decimal (category_t category, unsigned digits, unsigned scale)
	Returns a `Numeric` type for decimals of given `category`, decimal `digits`, and `scale`.

static Pooled< Numeric >	Get_Integer (category_t category, unsigned num_bytes)
	Returns a `Numeric` type for integrals of given `category` and `num_bytes` bytes.

static Pooled< Numeric >	Get_Float (category_t category)
	Returns a `Numeric` type of given `category` for 32 bit floating-points.

static Pooled< Numeric >	Get_Double (category_t category)
	Returns a `Numeric` type of given `category` for 64 bit floating-points.

static Pooled< FnType >	Get_Function (const Type return_type, std::vector< const Type > parameter_types)
	Returns a `FnType` for a function with parameter types `parameter_types` and return type `return_type`.

Data Fields
unsigned	precision
	The precision gives the maximum number of digits that can be represented by that type.

unsigned	scale
	the number of decimal digits right of the decimal point

category_t	category
	whether this type is scalar or vector

Static Public Attributes
static constexpr std::size_t	MAX_DECIMAL_PRECISION = 19
	The maximal number of decimal digits that can be accurately represented by DECIMAL(p,s).

static constexpr float	DECIMAL_TO_BINARY_DIGITS = 3.32192f
	How many binary digits fit into a single decimal digit.

Static Protected Attributes
static constexpr const char *	CATEGORY_TO_STR_ [] = { M_ENUM_TO_STR(category_t) }
	‍declaration for constexpr static field, see C++17 inline variables

static Pool< Type >	types_
	a pool of internalized, parameterized types

Private Member Functions
	Numeric (category_t category, kind_t kind, unsigned precision, unsigned scale)

Static Private Attributes
static constexpr const char *	KIND_TO_STR_ [] = { M_ENUM_TO_STR(kind_t) }

Friends
struct	Type

Detailed Description

The numeric type represents integer and floating-point types of different precision and scale.

Definition at line 392 of file Type.hpp.

Member Typedef Documentation

◆ Pooled

template<typename T >

using m::Type::Pooled = m::Pooled<T, Pool<Type> >

inherited

Definition at line 58 of file Type.hpp.

Constructor & Destructor Documentation

◆ Numeric() [1/2]

m::Numeric::Numeric	(	category_t	category,
		kind_t	kind,
		unsigned	precision,
		unsigned	scale
	)

inlineprivate

Definition at line 418 of file Type.hpp.

◆ Numeric() [2/2]

m::Numeric::Numeric ( Numeric && )

default

Member Function Documentation

◆ accept() [1/2]

void m::Numeric::accept ( ConstTypeVisitor & v ) const

overridevirtual

Implements m::Type.

◆ accept() [2/2]

void m::Numeric::accept ( TypeVisitor & v )

overridevirtual

Implements m::Type.

◆ alignment()

uint64_t m::Numeric::alignment ( ) const

inlineoverridevirtual

Compute the alignment requirement in bits of an instance of this type.

Reimplemented from m::Type.

Definition at line 442 of file Type.hpp.

◆ as_scalar()

virtual const PrimitiveType * m::Numeric::as_scalar ( ) const

overridevirtual

Convert this PrimitiveType to its scalar equivalent.

Implements m::PrimitiveType.

◆ as_vectorial()

virtual const PrimitiveType * m::Numeric::as_vectorial ( ) const

overridevirtual

Convert this PrimitiveType to its vectorial equivalent.

Implements m::PrimitiveType.

◆ dump() [1/3]

M_LCOV_EXCL_START void Type::dump ( ) const

Definition at line 104 of file Type.cpp.

◆ dump() [2/3]

void m::Numeric::dump ( std::ostream & out ) const

overridevirtual

Implements m::Type.

◆ dump() [3/3]

virtual void m::Type::dump ( std::ostream & out ) const

virtual

Implements m::Type.

◆ Get_Bitmap()

Type::Pooled< Bitmap > Type::Get_Bitmap	(	category_t	category,
		std::size_t	length
	)

staticinherited

Returns a Bitmap type of the given category and length.

Definition at line 70 of file Type.cpp.

References m::Type::types_.

Referenced by m::wasm::ChainedHashTable< IsGlobal >::ChainedHashTable(), m::storage::RowLayoutFactory::make(), m::storage::PAXLayoutFactory::make(), and m::wasm::OpenAddressingHashTable< IsGlobal, ValueInPlace >::OpenAddressingHashTable().

◆ Get_Boolean()

Type::Pooled< Boolean > Type::Get_Boolean ( category_t category )

staticinherited

Returns a Boolean type of the given category.

Definition at line 68 of file Type.cpp.

References m::Type::types_.

Referenced by M_LCOV_EXCL_STOP::apply_timestamp_filter(), and m::ast::Parser::parse_data_type().

◆ Get_Char()

Type::Pooled< CharacterSequence > Type::Get_Char	(	category_t	category,
		std::size_t	length
	)

staticinherited

Returns a CharacterSequence type of the given category and fixed length.

Definition at line 75 of file Type.cpp.

References m::Type::types_.

Referenced by m::ast::Parser::parse_data_type().

◆ Get_Date()

Type::Pooled< Date > Type::Get_Date ( category_t category )

staticinherited

Returns a Date type of the given category.

Definition at line 85 of file Type.cpp.

References m::Type::types_.

Referenced by m::ast::Parser::parse_data_type().

◆ Get_Datetime()

Type::Pooled< DateTime > Type::Get_Datetime ( category_t category )

staticinherited

Returns a DateTime type of the given category.

Definition at line 87 of file Type.cpp.

References m::Type::types_.

Referenced by m::ast::Parser::parse_data_type().

◆ Get_Decimal()

Type::Pooled< Numeric > Type::Get_Decimal	(	category_t	category,
		unsigned	digits,
		unsigned	scale
	)

staticinherited

Returns a Numeric type for decimals of given category, decimal digits, and scale.

Definition at line 89 of file Type.cpp.

References m::Type::types_.

Referenced by m::arithmetic_join(), and m::ast::Parser::parse_data_type().

◆ Get_Double()

Type::Pooled< Numeric > Type::Get_Double ( category_t category )

staticinherited

Returns a Numeric type of given category for 64 bit floating-points.

Definition at line 104 of file Type.cpp.

Referenced by m::arithmetic_join(), compute_aggregate_info(), m::get_runtime_type(), and m::ast::Parser::parse_data_type().

◆ Get_Error()

Type::Pooled< ErrorType > Type::Get_Error ( )

staticinherited

Returns a ErrorType.

Definition at line 64 of file Type.cpp.

References m::Type::types_.

Referenced by m::ast::Parser::parse_data_type().

◆ Get_Float()

Type::Pooled< Numeric > Type::Get_Float ( category_t category )

staticinherited

Returns a Numeric type of given category for 32 bit floating-points.

Definition at line 99 of file Type.cpp.

References m::Type::types_.

Referenced by m::arithmetic_join(), m::get_runtime_type(), and m::ast::Parser::parse_data_type().

◆ Get_Function()

Type::Pooled< FnType > Type::Get_Function	(	const Type *	return_type,
		std::vector< const Type * >	parameter_types
	)

staticinherited

Returns a FnType for a function with parameter types parameter_types and return type return_type.

Definition at line 109 of file Type.cpp.

References m::Type::types_.

◆ Get_Integer()

Type::Pooled< Numeric > Type::Get_Integer	(	category_t	category,
		unsigned	num_bytes
	)

staticinherited

Returns a Numeric type for integrals of given category and num_bytes bytes.

Definition at line 94 of file Type.cpp.

References m::Type::types_.

Referenced by M_LCOV_EXCL_STOP::apply_timestamp_filter(), m::arithmetic_join(), m::wasm::ChainedHashTable< IsGlobal >::ChainedHashTable(), compute_aggregate_info(), m::wasm::HashBasedGroupJoin::execute(), generate_training_suite_filter(), generate_training_suite_group_by(), generate_training_suite_join(), m::get_runtime_type(), m::MultiVersioningTable::MultiVersioningTable(), m::wasm::OpenAddressingHashTable< IsGlobal, ValueInPlace >::OpenAddressingHashTable(), and m::ast::Parser::parse_data_type().

◆ Get_None()

Type::Pooled< NoneType > Type::Get_None ( )

staticinherited

Returns a NoneType.

Definition at line 66 of file Type.cpp.

References m::Type::types_.

◆ Get_Varchar()

Type::Pooled< CharacterSequence > Type::Get_Varchar	(	category_t	category,
		std::size_t	length
	)

staticinherited

Returns a CharacterSequence type of the given category and varying length.

Definition at line 80 of file Type.cpp.

References m::Type::types_.

Referenced by m::ast::Parser::parse_data_type().

◆ hash()

uint64_t m::Numeric::hash ( ) const

overridevirtual

Compute the 64 bit hash of this Type.

Implements m::Type.

◆ is_bitmap()

bool m::Type::is_bitmap ( ) const

inlineinherited

Definition at line 76 of file Type.hpp.

Referenced by m::storage::DataLayout::INode::add_leaf().

◆ is_boolean()

bool m::Type::is_boolean ( ) const

inlineinherited

Definition at line 75 of file Type.hpp.

Referenced by m::storage::DataLayout::INode::add_leaf(), m::StackMachine::emit_Ld(), m::StackMachine::emit_St(), m::is_comparable(), and tystr().

◆ is_character_sequence()

bool m::Type::is_character_sequence ( ) const

inlineinherited

Definition at line 77 of file Type.hpp.

Referenced by m::StackMachine::emit_Cast(), m::is_comparable(), and tystr().

◆ is_date()

bool m::Type::is_date ( ) const

inlineinherited

Definition at line 78 of file Type.hpp.

Referenced by m::StackMachine::emit_Print(), m::is_comparable(), and tystr().

◆ is_date_time()

bool m::Type::is_date_time ( ) const

inlineinherited

Definition at line 79 of file Type.hpp.

Referenced by m::StackMachine::emit_Print(), m::is_comparable(), and tystr().

◆ is_decimal()

bool m::Type::is_decimal ( ) const

inlineinherited

Definition at line 506 of file Type.hpp.

◆ is_double()

bool m::Type::is_double ( ) const

inlineinherited

Returns true iff this type is a 64 bit floating-point type.

Definition at line 524 of file Type.hpp.

References m::and.

◆ is_error()

bool m::Type::is_error ( ) const

inlineinherited

Definition at line 71 of file Type.hpp.

◆ is_float()

bool m::Type::is_float ( ) const

inlineinherited

Returns true iff this type is a 32 bit floating-point type.

Definition at line 518 of file Type.hpp.

References m::and.

◆ is_floating_point()

bool m::Type::is_floating_point ( ) const

inlineinherited

Returns true iff this type is a floating-point type, i.e. f32 or f64.

Definition at line 512 of file Type.hpp.

◆ is_integral()

const M_TYPE_LIST bool m::Type::is_integral ( ) const

inlineinherited

Definition at line 500 of file Type.hpp.

Referenced by m::generate_primary_keys().

◆ is_none()

bool m::Type::is_none ( ) const

inlineinherited

Definition at line 72 of file Type.hpp.

Referenced by m::StackMachine::emit_Print(), m::StackMachine::emit_St_Tup(), and m::wasm::ExprCompiler::operator()().

◆ is_numeric()

bool m::Type::is_numeric ( ) const

inlineinherited

Returns true iff this Type is a Numeric type.

Definition at line 81 of file Type.hpp.

Referenced by m::StackMachine::emit_Cast(), and m::is_comparable().

◆ is_primitive()

bool m::Type::is_primitive ( ) const

inlineinherited

Returns true iff this Type is a PrimitiveType.

Definition at line 74 of file Type.hpp.

◆ is_scalar()

bool m::PrimitiveType::is_scalar ( ) const

inlineinherited

Returns true iff this PrimitiveType is scalar, i.e. if it is for a single value.

Definition at line 168 of file Type.hpp.

◆ is_vectorial()

bool m::PrimitiveType::is_vectorial ( ) const

inlineinherited

Returns true iff this PrimitiveType is vectorial, i.e. if it is for a sequence of values.

Definition at line 170 of file Type.hpp.

Referenced by m::Attribute::Attribute().

◆ M_DECLARE_ENUM() [1/2]

m::Type::M_DECLARE_ENUM ( category_t )

inherited

a category for whether this type is scalar or vectorial

◆ M_DECLARE_ENUM() [2/2]

m::Numeric::M_DECLARE_ENUM ( kind_t )

the kind of numeric type

◆ operator!=()

bool m::Type::operator!= ( const Type & other ) const

inlineinherited

Definition at line 69 of file Type.hpp.

◆ operator==()

bool m::Numeric::operator== ( const Type & other ) const

overridevirtual

Implements m::Type.

◆ print()

void m::Numeric::print ( std::ostream & out ) const

overridevirtual

Print a textual representation of this Type to out.

Implements m::Type.

◆ size()

uint64_t m::Numeric::size ( ) const

inlineoverridevirtual

Compute the size in bits of an instance of this type.

Reimplemented from m::Type.

Definition at line 433 of file Type.hpp.

References M_unreachable.

Referenced by convert_in_place().

Friends And Related Function Documentation

◆ Type

friend struct Type

friend

Definition at line 394 of file Type.hpp.

Field Documentation

◆ category

category_t m::PrimitiveType::category

inherited

whether this type is scalar or vector

Definition at line 160 of file Type.hpp.

Referenced by m::arithmetic_join().

◆ CATEGORY_TO_STR_

constexpr const char * Type::CATEGORY_TO_STR_ = { M_ENUM_TO_STR(category_t) }

staticconstexprprotectedinherited

‍declaration for constexpr static field, see C++17 inline variables

Definition at line 50 of file Type.hpp.

◆ DECIMAL_TO_BINARY_DIGITS

constexpr float m::Numeric::DECIMAL_TO_BINARY_DIGITS = 3.32192f

staticconstexpr

How many binary digits fit into a single decimal digit.

Used to compute precision.

Definition at line 400 of file Type.hpp.

Referenced by m::storage::DataLayout::INode::print().

◆ KIND_TO_STR_

constexpr const char * Numeric::KIND_TO_STR_ = { M_ENUM_TO_STR(kind_t) }

staticconstexprprivate

Definition at line 405 of file Type.hpp.

◆ MAX_DECIMAL_PRECISION

constexpr std::size_t m::Numeric::MAX_DECIMAL_PRECISION = 19

staticconstexpr

The maximal number of decimal digits that can be accurately represented by DECIMAL(p,s).

Definition at line 397 of file Type.hpp.

◆ precision

unsigned m::Numeric::precision

The precision gives the maximum number of digits that can be represented by that type.

Its interpretation depends on the kind: For INT, precision is the number of bytes. For FLOAT and DOUBLE, precision is the size of the type in bits, i.e. 32 and 64, respectively. For DECIMAL, precision is the number of decimal digits that can be represented. the number of bits used to represent the number

Definition at line 414 of file Type.hpp.

Referenced by m::arithmetic_join().

◆ scale

unsigned m::Numeric::scale

the number of decimal digits right of the decimal point

Definition at line 415 of file Type.hpp.

Referenced by m::arithmetic_join().

◆ types_

Pool< Type > Type::types_

staticprotectedinherited

a pool of internalized, parameterized types

Definition at line 54 of file Type.hpp.

Referenced by m::ErrorType::dump(), m::Type::Get_Bitmap(), m::Type::Get_Boolean(), m::Type::Get_Char(), m::Type::Get_Date(), m::Type::Get_Datetime(), m::Type::Get_Decimal(), m::Type::Get_Error(), m::Type::Get_Float(), m::Type::Get_Function(), m::Type::Get_Integer(), m::Type::Get_None(), and m::Type::Get_Varchar().

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

include/mutable/catalog/Type.hpp
src/catalog/Type.cpp

Public Types

Public Member Functions

Static Public Member Functions

Data Fields

Static Public Attributes

Static Protected Attributes

Private Member Functions

Static Private Attributes

Friends

Detailed Description

Member Typedef Documentation

◆ Pooled

Constructor & Destructor Documentation

◆ Numeric() [1/2]

◆ Numeric() [2/2]

Member Function Documentation

◆ accept() [1/2]

◆ accept() [2/2]

◆ alignment()

◆ as_scalar()

◆ as_vectorial()

◆ dump() [1/3]

◆ dump() [2/3]

◆ dump() [3/3]

◆ Get_Bitmap()

◆ Get_Boolean()

◆ Get_Char()

◆ Get_Date()

◆ Get_Datetime()

◆ Get_Decimal()

◆ Get_Double()

◆ Get_Error()

◆ Get_Float()

◆ Get_Function()

◆ Get_Integer()

◆ Get_None()

◆ Get_Varchar()

◆ hash()

◆ is_bitmap()

◆ is_boolean()

◆ is_character_sequence()

◆ is_date()

◆ is_date_time()

◆ is_decimal()

◆ is_double()

◆ is_error()

◆ is_float()

◆ is_floating_point()

◆ is_integral()

◆ is_none()

◆ is_numeric()

◆ is_primitive()

◆ is_scalar()

◆ is_vectorial()

◆ M_DECLARE_ENUM() [1/2]

◆ M_DECLARE_ENUM() [2/2]

◆ operator!=()

◆ operator==()

◆ print()

◆ size()

Friends And Related Function Documentation

◆ Type

Field Documentation

◆ category

◆ CATEGORY_TO_STR_

◆ DECIMAL_TO_BINARY_DIGITS

◆ KIND_TO_STR_

◆ MAX_DECIMAL_PRECISION

◆ precision

◆ scale

◆ types_