top | up | prev | next

AxiomSymbol Class

Definition at line 84 of ConceptSymbol.hpp

Constructors

AxiomSymbol(const Span& span_, const boost::uuids::uuid& sourceModuleId, const std::u32string& name_)

Member Functions

const char*	ClassName() const override
SymbolAccess	DeclaredAccess() const override
std::u32string	Info() const override
bool	IsExportSymbol() const override

Constructor Details

AxiomSymbol Constructor

cmajor::symbols::AxiomSymbol::AxiomSymbol(const Span& span_, const boost::uuids::uuid& sourceModuleId, const std::u32string& name_)

Definition at line 350 of ConceptSymbol.cpp :
350 :
351 ContainerSymbol(SymbolType::axiomSymbol, span_, sourceModuleId, name_)
352 {
353 }

Declaration at line 87 of ConceptSymbol.hpp

Member Function Details

ClassName Member Function

const char * cmajor::symbols::AxiomSymbol::ClassName() const override

Definition at line 91 of ConceptSymbol.hpp :
91 { return "AxiomSymbol"; }

Base class overridden functions: cmajor::symbols::ContainerSymbol::ClassName , cmajor::symbols::Symbol::ClassName

DeclaredAccess Member Function

SymbolAccess cmajor::symbols::AxiomSymbol::DeclaredAccess() const override

Definition at line 88 of ConceptSymbol.hpp :
88 { return SymbolAccess::public_; }

Base class overridden functions: cmajor::symbols::Symbol::DeclaredAccess

Info Member Function

std::u32string cmajor::symbols::AxiomSymbol::Info() const override

Definition at line 90 of ConceptSymbol.hpp :
90 { return Name(); }

Base class overridden functions: cmajor::symbols::Symbol::Info

Calls: cmajor::symbols::Symbol::Name

IsExportSymbol Member Function

bool cmajor::symbols::AxiomSymbol::IsExportSymbol() const override

Definition at line 89 of ConceptSymbol.hpp :
89 { return false; }

Base class overridden functions: cmajor::symbols::Symbol::IsExportSymbol

top | up | prev | next