dmd.typesem

Semantic analysis for D types.

Authors

Walter Bright

License

Boost License 1.0

Source: typesem.d

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

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

typeToExpression

Declaration

Expression typeToExpression(Type t);

We've mistakenly parsed t as a type. Redo t as an Expression only if there are no type modifiers.

Parameters

Type t

mistaken type

Return Value

t redone as Expression, null if cannot

typeSemantic

Declaration

Type typeSemantic(Type type, const ref Loc loc, Scope* sc);

Perform semantic analysis on a type.

Parameters

`Type type`	Type AST node
`Loc loc`	the location of the `type`
`Scope* sc`	context

Return Value

Type with completed semantic analysis, Terror if errors were encountered

compileTypeMixin

Declaration

RootObject compileTypeMixin(TypeMixin tm, Loc loc, Scope* sc);

Compile the MixinType, returning the type or expression AST.

Discussion

Doesn't run semantic() on the returned object.

Parameters

`TypeMixin tm`	mixin to compile as a type or expression
`Loc loc`	location for error messages
`Scope* sc`	context

Return: null if error, else RootObject AST as parsed

merge

Declaration

Type merge(Type type);

If an identical type to type is in type.stringtable, return the latter one. Otherwise, add it to type.stringtable. Some types don't get merged and are returned as-is.

Parameters

Type type

Type to check against existing types

Return Value

the type that was merged

getProperty

Declaration

Expression getProperty(Type t, Scope* scope_, const ref Loc loc, Identifier ident, int flag);

Calculate built-in properties which just the type is necessary.

Parameters

`Type t`	the type for which the property is calculated
`Scope* scope_`	the scope from which the property is being accessed. Used for visibility checks only.
`Loc loc`	the location where the property is encountered
`Identifier ident`	the identifier of the property
`int flag`	if `flag` & 1, don'`t` report "not a property" error and just return NULL.

Return Value

expression representing the property, or null if not a property and (flag & 1)

resolve

Declaration

void resolve(Type mt, const ref Loc loc, Scope* sc, out Expression pe, out Type pt, out Dsymbol ps, bool intypeid = false);

Resolve type 'mt' to either type, symbol, or expression. If errors happened, resolved to Type.terror.

Parameters

`Type mt`	type to be resolved
`Loc loc`	the location where the type is encountered
`Scope* sc`	the scope of the type
`Expression pe`	is set if t is an expression
`Type pt`	is set if t is a type
`Dsymbol ps`	is set if t is a symbol
`bool intypeid`	`true` if in type id

dotExp

Declaration

Expression dotExp(Type mt, Scope* sc, Expression e, Identifier ident, int flag);

Access the members of the object e. This type is same as e.type.

Parameters

`Type mt`	type for which the dot expression is used
`Scope* sc`	instantiating scope
`Expression e`	expression to convert
`Identifier ident`	identifier being used
`int flag`	DotExpFlag bit flags

Return Value

resulting expression with e.ident resolved

defaultInit

Declaration

Expression defaultInit(Type mt, const ref Loc loc, const bool isCfile = false);

Get the the default initialization expression for a type.

Parameters

`Type mt`	the type for which the init expression is returned
`Loc loc`	the location where the expression needs to be evaluated
`bool isCfile`	default initializers are different with C

Return Value

The initialization expression for the type.