dmd.opover

Compiler implementation of the D programming language.

Authors:

Walter Bright

License:

Boost License 1.0

Source

opover.d

Documentation

https://dlang.org/phobos/dmd_opover.html

Coverage

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

bool isCommutative(TOK op);

Determine if operands of binary op can be reversed to fit operator overload.

Objects* opToArg(Scope* sc, TOK op);

Helper function to turn operator into template argument list

Expression op_overload(Expression e, Scope* sc, TOK* pop = null);

Operator overload. Check for operator overload, if so, replace with function call.

Parameters:

Expression e	expression with operator
Scope* sc	context
TOK* pop	if not null, is set to the operator that was actually overloaded, which may not be e.op. Happens when operands are reversed to to match an overload

Returns:

null if not an operator overload, otherwise the lowered expression

Expression build_overload(ref const Loc loc, Scope* sc, Expression ethis, Expression earg, Dsymbol d);

Utility to build a function call out of this reference and argument.

Dsymbol search_function(ScopeDsymbol ad, Identifier funcid);

Search for function funcid in aggregate ad.

bool inferForeachAggregate(Scope* sc, bool isForeach, ref Expression feaggr, out Dsymbol sapply);

Figure out what is being foreach'd over by looking at the ForeachAggregate.

Parameters:

Scope* sc	context
bool isForeach	true for foreach, false for foreach_reverse
Expression feaggr	ForeachAggregate
Dsymbol sapply	set to function opApply/opApplyReverse, or delegate, or null. Overload resolution is not done.

Returns:

true if successfully figured it out; feaggr updated with semantic analysis. false for failed, which is an error.

bool inferApplyArgTypes(ForeachStatement fes, Scope* sc, ref Dsymbol sapply);

Given array of foreach parameters and an aggregate type, find best opApply overload, if any of the parameter types are missing, attempt to infer them from the aggregate type.

Parameters:

ForeachStatement fes	the foreach statement
Scope* sc	context
Dsymbol sapply	null or opApply or delegate

Returns:

false for errors