dmd.typesem

Type typeSemantic(Type t, Loc loc, Scope* sc);

Perform semantic analysis on a type.

Parameters:

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

Returns:

Type with completed semantic analysis, Terror if errors were encountered

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

Returns:

the type that was merged

Expression getProperty(Type t, ref const 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
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.

void resolve(Type mt, ref const Loc loc, Scope* sc, Expression* pe, Type* pt, 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

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

Returns:

resulting expression with e.ident resolved