souffle::ast::analysis::AlgebraicDataType::Branch Struct Reference

#include <TypeSystem.h>

Collaboration diagram for souffle::ast::analysis::AlgebraicDataType::Branch:

Public Member Functions
void	print (std::ostream &out) const

Data Fields
std::string	name
std::vector< const Type * >	types

Detailed Description

Definition at line 201 of file TypeSystem.h.

Member Function Documentation

print()

void souffle::ast::analysis::AlgebraicDataType::Branch::print ( std::ostream &  out ) const

inline

Definition at line 205 of file TypeSystem.h.

                                               {
        out << tfm::format("%s = %s", name,
                join(branches, " | ", [](std::ostream& out, const Branch& branch) { branch.print(out); }));
    }

References souffle::ast::analysis::AlgebraicDataType::branches, tinyformat::format(), souffle::join(), and souffle::ast::analysis::Type::name.

Here is the call graph for this function:

Field Documentation

name

std::string souffle::ast::analysis::AlgebraicDataType::Branch::name

Definition at line 202 of file TypeSystem.h.

Referenced by souffle::ast::analysis::RecordType::RecordType().

types

std::vector<const Type*> souffle::ast::analysis::AlgebraicDataType::Branch::types

Definition at line 203 of file TypeSystem.h.

Referenced by souffle::ast::analysis::RecordType::RecordType().

---

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

• ast/analysis/TypeSystem.h