top | up | prev | next

ConceptParser Struct

Definition at line 14 of Concept.hpp

Member Functions

Match	AtomicConstraintExpr(CmajorLexer& lexer, ParsingContext* ctx) static
Match	Axiom(CmajorLexer& lexer, ParsingContext* ctx, ConceptNode* conceptNode) static
Match	AxiomBody(CmajorLexer& lexer, ParsingContext* ctx, AxiomNode* axiom) static
Match	AxiomStatement(CmajorLexer& lexer, ParsingContext* ctx) static
Match	Concept(CmajorLexer& lexer, ParsingContext* ctx) static
Match	ConceptBody(CmajorLexer& lexer, ParsingContext* ctx, ConceptNode* conceptNode) static
Match	ConceptBodyConstraint(CmajorLexer& lexer, ParsingContext* ctx, ConceptNode* conceptNode) static
Match	ConceptOrTypeName(CmajorLexer& lexer, ParsingContext* ctx) static
Match	ConjunctiveConstraintExpr(CmajorLexer& lexer, ParsingContext* ctx) static
Match	ConstraintExpr(CmajorLexer& lexer, ParsingContext* ctx) static
Match	ConstructorConstraint(CmajorLexer& lexer, ParsingContext* ctx, IdentifierNode* firstTypeParameter) static
Match	DestructorConstraint(CmajorLexer& lexer, ParsingContext* ctx, IdentifierNode* firstTypeParameter) static
Match	DisjunctiveConstraintExpr(CmajorLexer& lexer, ParsingContext* ctx) static
Match	EmbeddedConstraint(CmajorLexer& lexer, ParsingContext* ctx) static
Match	FunctionConstraint(CmajorLexer& lexer, ParsingContext* ctx) static
Match	IsConstraint(CmajorLexer& lexer, ParsingContext* ctx) static
Match	MemberFunctionConstraint(CmajorLexer& lexer, ParsingContext* ctx) static
Match	MultiParamConstraint(CmajorLexer& lexer, ParsingContext* ctx) static
Match	PredicateConstraint(CmajorLexer& lexer, ParsingContext* ctx) static
Match	PrimaryConstraintExpr(CmajorLexer& lexer, ParsingContext* ctx) static
Match	Refinement(CmajorLexer& lexer) static
Match	SignatureConstraint(CmajorLexer& lexer, ParsingContext* ctx, IdentifierNode* firstTypeParameter) static
Match	TypeNameConstraint(CmajorLexer& lexer, ParsingContext* ctx) static
Match	WhereConstraint(CmajorLexer& lexer, ParsingContext* ctx) static

Member Function Details

AtomicConstraintExpr Member Function

Match ConceptParser::AtomicConstraintExpr(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2584 of Concept.cpp
Declaration at line 32 of Concept.hpp

Calls: ConceptParser::IsConstraint , ConceptParser::MultiParamConstraint , ConceptParser::PredicateConstraint , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::SetPos

Called by: ConceptParser::PrimaryConstraintExpr

Axiom Member Function

Match ConceptParser::Axiom(CmajorLexer & lexer, ParsingContext * ctx, ConceptNode * conceptNode) static

Definition at line 3096 of Concept.cpp
Declaration at line 37 of Concept.hpp

Calls: ConceptParser::AxiomBody , IdentifierParser::Identifier , ParameterParser::ParameterList , sngcm::ast::ConceptNode::AddAxiom , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::ConceptBody

AxiomBody Member Function

Match ConceptParser::AxiomBody(CmajorLexer & lexer, ParsingContext * ctx, AxiomNode * axiom) static

Definition at line 3358 of Concept.cpp
Declaration at line 38 of Concept.hpp

Calls: ConceptParser::AxiomStatement , sngcm::ast::AxiomNode::AddStatement , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::SetPos

Called by: ConceptParser::Axiom

AxiomStatement Member Function

Match ConceptParser::AxiomStatement(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 3420 of Concept.cpp
Declaration at line 39 of Concept.hpp

Calls: ExpressionParser::Expression , soulng::lexer::Lexer::GetMatch , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::AxiomBody

Concept Member Function

Match ConceptParser::Concept(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 18 of Concept.cpp
Declaration at line 16 of Concept.hpp

Calls: ConceptParser::ConceptBody , ConceptParser::Refinement , ConceptParser::WhereConstraint , IdentifierParser::Identifier , ParsingContext::BeginParsingConcept , ParsingContext::EndParsingConcept , SpecifierParser::Specifiers , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: CompileUnitParser::ConceptDefinition

ConceptBody Member Function

Match ConceptParser::ConceptBody(CmajorLexer & lexer, ParsingContext * ctx, ConceptNode * conceptNode) static

Definition at line 811 of Concept.cpp
Declaration at line 18 of Concept.hpp

Calls: ConceptParser::Axiom , ConceptParser::ConceptBodyConstraint , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::SetPos

Called by: ConceptParser::Concept

ConceptBodyConstraint Member Function

Match ConceptParser::ConceptBodyConstraint(CmajorLexer & lexer, ParsingContext * ctx, ConceptNode * conceptNode) static

Definition at line 878 of Concept.cpp
Declaration at line 19 of Concept.hpp

Calls: ConceptParser::EmbeddedConstraint , ConceptParser::SignatureConstraint , ConceptParser::TypeNameConstraint , sngcm::ast::ConceptNode::AddConstraint , sngcm::ast::ConceptNode::TypeParameters , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::SetPos

Called by: ConceptParser::ConceptBody

ConceptOrTypeName Member Function

Match ConceptParser::ConceptOrTypeName(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2846 of Concept.cpp
Declaration at line 35 of Concept.hpp

Calls: TypeExprParser::TypeExpr , soulng::lexer::Lexer::GetPos

Called by: ConceptParser::IsConstraint

ConjunctiveConstraintExpr Member Function

Match ConceptParser::ConjunctiveConstraintExpr(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2305 of Concept.cpp
Declaration at line 30 of Concept.hpp

Calls: ConceptParser::PrimaryConstraintExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos

Called by: ConceptParser::DisjunctiveConstraintExpr

ConstraintExpr Member Function

Match ConceptParser::ConstraintExpr(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2127 of Concept.cpp
Declaration at line 28 of Concept.hpp

Calls: ConceptParser::DisjunctiveConstraintExpr , soulng::lexer::Lexer::GetPos

Called by: ConceptParser::PrimaryConstraintExpr , ConceptParser::WhereConstraint

ConstructorConstraint Member Function

Match ConceptParser::ConstructorConstraint(CmajorLexer & lexer, ParsingContext * ctx, IdentifierNode * firstTypeParameter) static

Definition at line 1242 of Concept.cpp
Declaration at line 22 of Concept.hpp

Calls: IdentifierParser::Identifier , ParameterParser::ParameterList , sngcm::ast::IdentifierNode::Str , soulng::lexer::Lexer::GetMatch , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::SignatureConstraint

DestructorConstraint Member Function

Match ConceptParser::DestructorConstraint(CmajorLexer & lexer, ParsingContext * ctx, IdentifierNode * firstTypeParameter) static

Definition at line 1403 of Concept.cpp
Declaration at line 23 of Concept.hpp

Calls: IdentifierParser::Identifier , sngcm::ast::IdentifierNode::Str , soulng::lexer::Lexer::GetMatch , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::SignatureConstraint

DisjunctiveConstraintExpr Member Function

Match ConceptParser::DisjunctiveConstraintExpr(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2170 of Concept.cpp
Declaration at line 29 of Concept.hpp

Calls: ConceptParser::ConjunctiveConstraintExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos

Called by: ConceptParser::ConstraintExpr

EmbeddedConstraint Member Function

Match ConceptParser::EmbeddedConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 1953 of Concept.cpp
Declaration at line 26 of Concept.hpp

Calls: ConceptParser::WhereConstraint , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::ConceptBodyConstraint

FunctionConstraint Member Function

Match ConceptParser::FunctionConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 1800 of Concept.cpp
Declaration at line 25 of Concept.hpp

Calls: FunctionParser::FunctionGroupId , ParameterParser::ParameterList , TypeExprParser::TypeExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::SignatureConstraint

IsConstraint Member Function

Match ConceptParser::IsConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2739 of Concept.cpp
Declaration at line 34 of Concept.hpp

Calls: ConceptParser::ConceptOrTypeName , TypeExprParser::TypeExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::AtomicConstraintExpr

MemberFunctionConstraint Member Function

Match ConceptParser::MemberFunctionConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 1610 of Concept.cpp
Declaration at line 24 of Concept.hpp

Calls: FunctionParser::FunctionGroupId , IdentifierParser::Identifier , ParameterParser::ParameterList , TypeExprParser::TypeExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::SignatureConstraint

MultiParamConstraint Member Function

Match ConceptParser::MultiParamConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2889 of Concept.cpp
Declaration at line 36 of Concept.hpp

Calls: IdentifierParser::QualifiedId , TypeExprParser::TypeExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::AtomicConstraintExpr

PredicateConstraint Member Function

Match ConceptParser::PredicateConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2695 of Concept.cpp
Declaration at line 33 of Concept.hpp

Calls: ExpressionParser::InvokeExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan

Called by: ConceptParser::AtomicConstraintExpr

PrimaryConstraintExpr Member Function

Match ConceptParser::PrimaryConstraintExpr(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2440 of Concept.cpp
Declaration at line 31 of Concept.hpp

Calls: ConceptParser::AtomicConstraintExpr , ConceptParser::ConstraintExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::ConjunctiveConstraintExpr

Refinement Member Function

Match ConceptParser::Refinement(CmajorLexer & lexer) static

Definition at line 568 of Concept.cpp
Declaration at line 17 of Concept.hpp

Calls: IdentifierParser::Identifier , IdentifierParser::QualifiedId , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::SetPos , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::Concept

SignatureConstraint Member Function

Match ConceptParser::SignatureConstraint(CmajorLexer & lexer, ParsingContext * ctx, IdentifierNode * firstTypeParameter) static

Definition at line 1097 of Concept.cpp
Declaration at line 21 of Concept.hpp

Calls: ConceptParser::ConstructorConstraint , ConceptParser::DestructorConstraint , ConceptParser::FunctionConstraint , ConceptParser::MemberFunctionConstraint , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::SetPos

Called by: ConceptParser::ConceptBodyConstraint

TypeNameConstraint Member Function

Match ConceptParser::TypeNameConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 974 of Concept.cpp
Declaration at line 20 of Concept.hpp

Calls: TypeExprParser::TypeExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ConceptParser::ConceptBodyConstraint

WhereConstraint Member Function

Match ConceptParser::WhereConstraint(CmajorLexer & lexer, ParsingContext * ctx) static

Definition at line 2037 of Concept.cpp
Declaration at line 27 of Concept.hpp

Calls: ConceptParser::ConstraintExpr , soulng::lexer::Lexer::GetPos , soulng::lexer::Lexer::GetSpan , soulng::lexer::Lexer::ThrowExpectationFailure

Called by: ClassParser::Class , ClassParser::Constructor , ClassParser::ConversionFunction , ClassParser::Destructor , ClassParser::MemberFunction , ClassParser::StaticConstructor , ConceptParser::Concept , ConceptParser::EmbeddedConstraint , FunctionParser::Function

top | up | prev | next