souffle::ast::SubsetType Class Reference

Defines subset type class. More...

#include <SubsetType.h>

Inheritance diagram for souffle::ast::SubsetType:

Collaboration diagram for souffle::ast::SubsetType:

Public Member Functions
SubsetType *	clone () const override
const QualifiedName &	getBaseType () const
	Return base type. More...
	SubsetType (QualifiedName name, QualifiedName baseTypeName, SrcLocation loc={})
Public Member Functions inherited from souffle::ast::analysis::Type
const QualifiedName &	getName () const
const TypeEnvironment &	getTypeEnvironment () const
bool	operator!= (const Type &other) const
bool	operator< (const Type &other) const
bool	operator== (const Type &other) const
	Type (const Type &other)=delete
virtual	~Type ()=default

Protected Member Functions
bool	equal (const Node &node) const override
void	print (std::ostream &os) const override
Protected Member Functions inherited from souffle::ast::analysis::Type
	Type (const TypeEnvironment &environment, QualifiedName name)

Private Attributes
const QualifiedName	baseType
	Base type. More...

Additional Inherited Members
Protected Attributes inherited from souffle::ast::analysis::Type
const TypeEnvironment &	environment
	A reference to the type environment this type is associated to. More...
QualifiedName	name

Detailed Description

Defines subset type class.

Example: .type A <: B

Definition at line 42 of file SubsetType.h.

Constructor & Destructor Documentation

SubsetType()

souffle::ast::SubsetType::SubsetType ( QualifiedName  name, QualifiedName  baseTypeName, SrcLocation  loc = {}  )

inline

Definition at line 44 of file SubsetType.h.

                                             {

Member Function Documentation

clone()

SubsetType* souffle::ast::SubsetType::clone ( ) const

inlineoverride

Definition at line 47 of file SubsetType.h.

         :
    void print(std::ostream& os) const override {

equal()

bool souffle::ast::SubsetType::equal ( const Node &  node ) const

inlineoverrideprotected

Definition at line 61 of file SubsetType.h.

getBaseType()

const QualifiedName& souffle::ast::SubsetType::getBaseType ( ) const

inline

Return base type.

Definition at line 52 of file SubsetType.h.

                                                   : " << getBaseType();
    }
 

print()

void souffle::ast::SubsetType::print ( std::ostream &  os ) const

inlineoverrideprotectedvirtual

Reimplemented from souffle::ast::analysis::Type.

Definition at line 57 of file SubsetType.h.

       :
    /** Base type */

Field Documentation

baseType

const QualifiedName souffle::ast::SubsetType::baseType

private

Base type.

Definition at line 68 of file SubsetType.h.

---

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

• ast/SubsetType.h