Display the source code in dmd/func.d from which this page was generated on github.

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 using local clone.

Module `dmd.func`

Defines a function declaration.

Includes

- function/delegate literals - function aliases - (static/shared) constructors/destructors/post-blits - invariant - unittest

Documentation

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

Coverage

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

Functions

Name	Description
`addInvariant(ad, vthis)`	Generate Expression to call the invariant.
`errorSupplementalInferredSafety(fd, maxDepth, deprecation)`	Print the reason why `fd` was inferred `@system` as a supplemental error
`getIndirection(t)`	Returns an indirect type one step from t.
`MODMatchToBuffer(buf, lhsMod, rhsMod)`	Checks for mismatching modifiers between `lhsMod` and `rhsMod` and prints the mismatching modifiers to `buf`.
`overloadApply(fstart, dg, sc)`	Visit each overloaded function/template in turn, and call dg(s) on it. Exit when no more, or dg(s) returns nonzero.
`resolveFuncCall(loc, sc, s, tiargs, tthis, fargs, flags)`	Given a symbol that could be either a FuncDeclaration or a function template, resolve it to a function symbol.
`setUnsafe(sc, gag, loc, fmt, arg0, arg1, arg2)`	A statement / expression in this scope is not `@safe`, so mark the enclosing function as `@system`
`setUnsafePreview(sc, fs, gag, loc, msg, arg0, arg1, arg2)`	Like `setUnsafe`, but for safety errors still behind preview switches

Classes

Name	Description
`CtorDeclaration`
`DtorDeclaration`
`FuncAliasDeclaration`	Used as a way to import a set of functions from another scope into this one.
`FuncDeclaration`
`FuncLiteralDeclaration`
`InvariantDeclaration`
`NewDeclaration`
`PostBlitDeclaration`
`SharedStaticCtorDeclaration`
`SharedStaticDtorDeclaration`
`StaticCtorDeclaration`
`StaticDtorDeclaration`
`UnitTestDeclaration`

Structs

Name	Description
`AttributeViolation`	Stores a reason why a function failed to infer a function attribute like `@safe` or `pure`
`Ensure`	Tuple of result identifier (possibly null) and statement. This is used to store out contracts: out(id){ ensure }

Enums

Name	Description
`FuncResolveFlag`	Flag used by `resolveFuncCall`.
`ILS`	Inline Status

Authors

Walter Bright

License

Boost License 1.0