#include <SemaActions.h>

Public Types
using	FormalVector = Formals::FormalVector

Public Member Functions
	Sema (std::string_view Src, std::vector< Diagnostic > &Diags)

void	checkFormalSep (const FormalVector &FV)
	Check if there is a seperator "," between formals.

void	checkFormalEllipsis (const FormalVector &FV)
	Check if ellipsis "...".

void	checkFormalEmpty (const FormalVector &FV)
	Diagnose empty formal i.e. single comma.

void	dedupFormal (std::map< std::string, const Formal * > &Dedup, const FormalVector &FV)
	Deduplicate formals.

std::shared_ptr< Formals >	onFormals (LexerCursorRange Range, FormalVector FV)

void	dupAttr (std::string Name, LexerCursorRange Range, LexerCursorRange Prev)

void	checkAttrRecursiveForMerge (const ExprAttrs &XAttrs, const ExprAttrs &YAttrs)
	Check if these two attrsets has the same "recursive" modifier.

void	mergeAttrSets (SemaAttrs &XAttrs, const SemaAttrs &YAttrs)
	Perform attrsets merging while duplicated fields are both attrsets.

void	insertAttr (SemaAttrs &SA, std::shared_ptr< AttrName > Name, std::shared_ptr< Expr > E, Attribute::AttributeKind Kind)

SemaAttrs *	selectOrCreate (SemaAttrs &SA, const std::vector< std::shared_ptr< AttrName > > &Path)

void	addAttr (SemaAttrs &Attr, const AttrPath &Path, std::shared_ptr< Expr > E)
	Insert the binding: `AttrPath = E;` into `Attr`.

void	lowerInheritName (SemaAttrs &SA, std::shared_ptr< AttrName > Name, std::shared_ptr< Expr > E, Attribute::AttributeKind InheritKind)

void	lowerInherit (SemaAttrs &Attr, const Inherit &Inherit)

void	lowerBinds (SemaAttrs &SA, const Binds &B)

std::shared_ptr< ExprAttrs >	onExprAttrs (LexerCursorRange Range, std::shared_ptr< Binds > Binds, std::shared_ptr< Misc > Rec)

std::shared_ptr< LambdaArg >	onLambdaArg (LexerCursorRange Range, std::shared_ptr< Identifier > ID, std::shared_ptr< Formals > F)

Static Public Member Functions
static void	removeFormal (Fix &F, const FormalVector::const_iterator &Rm, const FormalVector &FV)
	Make text edits to remove a formal.

static std::pair< std::shared_ptr< Expr >, Attribute::AttributeKind >	desugarInheritExpr (std::shared_ptr< AttrName > Name, std::shared_ptr< Expr > E)
	Desugar inherit (expr) a, inherit a, into select, or variable.

Detailed Description

Definition at line 16 of file SemaActions.h.

Member Typedef Documentation

◆ FormalVector

using nixf::Sema::FormalVector = Formals::FormalVector

Definition at line 24 of file SemaActions.h.

Constructor & Destructor Documentation

◆ Sema()

nixf::Sema::Sema	(	std::string_view	Src,
		std::vector< Diagnostic > &	Diags )

inline

Definition at line 21 of file SemaActions.h.

Member Function Documentation

◆ addAttr()

void nixf::Sema::addAttr	(	SemaAttrs &	Attr,
		const AttrPath &	Path,
		std::shared_ptr< Expr >	E )

Insert the binding: AttrPath = E; into Attr.

Definition at line 155 of file SemaActions.cpp.

References insertAttr(), nixf::Attribute::Plain, and selectOrCreate().

Referenced by lowerBinds().

◆ checkAttrRecursiveForMerge()

void nixf::Sema::checkAttrRecursiveForMerge	(	const ExprAttrs &	XAttrs,
		const ExprAttrs &	YAttrs )

Check if these two attrsets has the same "recursive" modifier.

Official nix implementation implicitly discards the second modifier, this is somehow error-prone, let's detect it.

Definition at line 22 of file SemaActions.cpp.

References nixf::ExprAttrs::isRecursive(), nixf::Node::range(), and nixf::ExprAttrs::rec().

Referenced by insertAttr().

◆ checkFormalEllipsis()

void nixf::Sema::checkFormalEllipsis ( const FormalVector & FV )

Check if ellipsis "...".

Definition at line 184 of file SemaActions.cpp.

References nixf::Formal::comma(), nixf::Fix::edit(), nixf::Diagnostic::fix(), nixf::Formal::isEllipsis(), nixf::TextEdit::mkInsertion(), nixf::Node::range(), nixf::Node::rCur(), removeFormal(), and nixf::Node::src().

Referenced by onFormals().

◆ checkFormalEmpty()

void nixf::Sema::checkFormalEmpty ( const FormalVector & FV )

Diagnose empty formal i.e. single comma.

Definition at line 229 of file SemaActions.cpp.

References nixf::Formal::comma(), nixf::Fix::edit(), nixf::Faded, nixf::Diagnostic::fix(), nixf::Formal::id(), nixf::Formal::isEllipsis(), nixf::TextEdit::mkRemoval(), nixf::Node::range(), and nixf::PartialDiagnostic::tag().

Referenced by onFormals().

◆ checkFormalSep()

void nixf::Sema::checkFormalSep ( const FormalVector & FV )

Check if there is a seperator "," between formals.

Definition at line 215 of file SemaActions.cpp.

References nixf::Formal::comma(), nixf::Fix::edit(), nixf::Diagnostic::fix(), nixf::Node::lCur(), nixf::TextEdit::mkInsertion(), and nixf::Node::range().

Referenced by onFormals().

◆ dedupFormal()

void nixf::Sema::dedupFormal	(	std::map< std::string, const Formal * > &	Dedup,
		const FormalVector &	FV )

Deduplicate formals.

Definition at line 251 of file SemaActions.cpp.

References nixf::Formal::id(), nixf::Identifier::name(), nixf::Diagnostic::note(), and nixf::Node::range().

Referenced by onFormals().

◆ desugarInheritExpr()

std::pair< std::shared_ptr< Expr >, Attribute::AttributeKind > nixf::Sema::desugarInheritExpr	(	std::shared_ptr< AttrName >	Name,
		std::shared_ptr< Expr >	E )