dmd.initsem

Semantic analysis of initializers.

Authors

Walter Bright

License

Boost License 1.0

Source: initsem.d

Documentation: https://dlang.org/phobos/dmd_initsem.html

Coverage: https://codecov.io/gh/dlang/dmd/src/master/src/dmd/initsem.d

toAssocArrayLiteral

Declaration

Expression toAssocArrayLiteral(ArrayInitializer ai);

If possible, convert array initializer to associative array initializer.

Parameters

ArrayInitializer ai

array initializer to be converted

Return Value

The converted associative array initializer or ErrorExp if ai is not an associative array initializer.

initializerSemantic

Declaration

Initializer initializerSemantic(Initializer init, Scope* sc, ref Type tx, NeedInterpret needInterpret);

Perform semantic analysis on init.

Parameters

`Initializer init`	Initializer AST node
`Scope* sc`	context
`Type tx`	type that the initializer needs to become. If `tx` is an incomplete type and the initializer completes it, it is updated to be the complete type. ImportC has incomplete types
`NeedInterpret needInterpret`	if CTFE needs to be run on this, such as if it is the initializer for a const declaration

Return Value

Initializer with completed semantic analysis, ErrorInitializer if errors were encountered

inferType

Declaration

Initializer inferType(Initializer init, Scope* sc);

Translate init to an Expression in order to infer the type.

Parameters

Initializer init

Initializer AST node

Scope* sc

context

Return Value

an equivalent ExpInitializer if successful, or ErrorInitializer if it cannot be translated

initializerToExpression

Declaration

Expression initializerToExpression(Initializer init, Type itype = null, const bool isCfile = false);

Translate init to an Expression.

Parameters

`Initializer init`	`Initializer` AST node
`Type itype`	if not `null`, type to coerce expression to
`bool isCfile`	default initializers are different with C

Return Value

Expression created, null if cannot, ErrorExp for other errors

resolveStructLiteralNamedArgs

Declaration

Expressions* resolveStructLiteralNamedArgs(StructDeclaration sd, Type t, Scope* sc, Loc iloc, Identifier[] names, scope Expression delegate(size_t i, Type fieldType) getExp, scope Loc delegate(size_t i) getLoc);

Given the names and values of a StructInitializer or CallExp, resolve it to a list of expressions to construct a StructLiteralExp.

Parameters

`StructDeclaration sd`	struct
`Type t`	type of struct (potentially including qualifiers such as `const` or `immutable`)
`Scope* sc`	scope of the expression initializing the struct
`Loc iloc`	location of expression initializing the struct
`Identifier[] names`	identifiers passed in argument list, `null` entries for positional arguments
`Expression delegate(size_t i, Type fieldType) getExp`	function that, given an index into `names` and destination type, returns the initializing expression
`Loc delegate(size_t i) getLoc`	function that, given an index into `names`, returns a location for error messages

Return Value

list of expressions ordered to the struct's fields, or null on error