Library Reference

version 2.112.0

Internal API

If you spot a problem with this page, click here to create a Bugzilla issue.

Quickly fork, edit online, and submit a pull request for this page.Requires a signed-in GitHub account. This works well for small changes.If you'd like to make larger changes you may want to consider usinga local clone.

dmd.statementsem

Does semantic analysis for statements.

SpecificationStatements

Authors:

Walter Bright

License:

Boost License 1.0

Sourcestatementsem.d

Documentationhttps://dlang.org/phobos/dmd_statementsem.html

Coveragehttps://codecov.io/gh/dlang/dmd/src/master/compiler/src/dmd/statementsem.d

StatementstatementSemantic(Statements, Scope*sc);

Performs semantic analysis in Statement AST nodes

Parameters:

Statement`s`	statement to perform semantic analysis on
Scope*`sc`	scope in which statement resides

Returns:

statements after semantic analysis. Can benull, for example withpragma(msg, "")

boolthrowSemantic(Locloc, ref Expressionexp, Scope*sc);

Run semantic onthrow <exp>.

Parameters:

Loc`loc`	location of thethrow
Expression`exp`	value to be thrown
Scope*`sc`	enclosing scope

Returns:

true if thethrow is valid, or false if an error was found

StatementscopeCode(Statementstatement, Scope*sc, out Statementsentry, out Statementsexception, out Statementsfinally);

Ifstatement has code that needs to run in a finally clause at the end of the current scope, return that code in the form of a Statement.

Parameters:

Statement`statement`	the statement
Scope*`sc`	context
Statement`sentry`	set to code executed upon entry to the scope
Statement`sexception`	set to code executed upon exit from the scope via exception
Statement`sfinally`	set to code executed in finally block

Returns:

code to be run in the finally clause

automakeTupleForeach(Scope*sc, boolisStatic, boolisDecl, ForeachStatementfs, Dsymbols*dbody, boolneedExpansion);

Type check and unrollforeach over an expression tuple as well asstatic foreach statements andstatic foreach declarations. Forstatic foreach statements and `static foreach` declarations, the visitor interface is used (and the result is written into theresult field.) For `static foreach` declarations, the resulting Dsymbols* are returned directly.

The unrolled body is wrapped into a

UnrolledLoopStatement, forforeach over an expression tuple.
ForwardingStatement, forstatic foreach statements.
ForwardingAttribDeclaration, forstatic foreach declarations.

static foreach variables are declared asSTC.local, such that they are inserted into the local symbol tables of the forwarding constructs instead of forwarded. For `static foreach` with multiple foreach loop variables whose aggregate has been lowered into a sequence of tuples, this function expands the tuples into multipleSTC.localstatic foreach variables.

boolcheckLabel(GotoStatementgs);

Check for skipped variable declarations.

Parameters:

GotoStatementgs statement to check

Returns:

true for error

Movatterモバイル変換

Library Reference

dmd.statementsem