mlir::pdll::ast::Type Class Reference

#include "mlir/Tools/PDLL/AST/Types.h"

Inheritance diagram for mlir::pdll::ast::Type:

Classes
struct	Storage
class	TypeBase
	This class provides several utilities when defining derived type classes. More...

Public Member Functions
	Type (Storage *impl=nullptr)
bool	operator== (const Type &other) const
bool	operator!= (const Type &other) const
	operator bool () const
Storage *	getImpl () const
	Return the internal storage instance of this type. More...
TypeID	getTypeID () const
	Return the TypeID instance of this type. More...
void	print (raw_ostream &os) const
	Print this type to the given stream. More...
Type	refineWith (Type other) const
	Try to refine this type with the one provided. More...

Protected Member Functions
template<typename T >
const T *	getImplAs () const
	Return the internal storage instance of this type reinterpreted as the given derived storage type. More...

Detailed Description

Definition at line 40 of file Types.h.

Constructor & Destructor Documentation

Type()

mlir::pdll::ast::Type::Type ( Storage *  impl = nullptr )

inline

Definition at line 59 of file Types.h.

Member Function Documentation

getImpl()

Storage* mlir::pdll::ast::Type::getImpl ( ) const

inline

Return the internal storage instance of this type.

Definition at line 66 of file Types.h.

Referenced by llvm::CastInfo< To, From, std::enable_if_t< std::is_same_v< mlir::pdll::ast::Type, std::remove_const_t< From > >||std::is_base_of_v< mlir::pdll::ast::Type, From > > >::doCast(), llvm::DenseMapInfo< mlir::pdll::ast::Type >::getHashValue(), and mlir::pdll::ast::hash_value().

getImplAs()

template<typename T >

const T* mlir::pdll::ast::Type::getImplAs ( ) const

inlineprotected

Return the internal storage instance of this type reinterpreted as the given derived storage type.

Definition at line 85 of file Types.h.

getTypeID()

TypeID Type::getTypeID

(

)

const

Return the TypeID instance of this type.

Definition at line 31 of file Types.cpp.

Referenced by mlir::pdll::ast::Type::TypeBase< ImplT, BaseT >::classof().

operator bool()

mlir::pdll::ast::Type::operator bool ( ) const

inlineexplicit

Definition at line 63 of file Types.h.

operator!=()

bool mlir::pdll::ast::Type::operator!= ( const Type &  other ) const

inline

Definition at line 62 of file Types.h.

operator==()

bool mlir::pdll::ast::Type::operator== ( const Type &  other ) const

inline

Definition at line 61 of file Types.h.

print()

void mlir::pdll::ast::Type::print

(

raw_ostream &

os

)

const

Print this type to the given stream.

Referenced by mlir::pdll::ast::operator<<().

refineWith()

Type Type::refineWith

(

Type

other

)

const

Try to refine this type with the one provided.

Given two compatible types, this will return a merged type contains as much detail from the two types. For example, if refining two operation types and one contains a name, while the other doesn't, the refined type contains the name. If the two types are incompatible, null is returned.

Definition at line 33 of file Types.cpp.

---

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

• include/mlir/Tools/PDLL/AST/Types.h
• lib/Tools/PDLL/AST/Types.cpp