The D Programming Language's Unofficial Docs
beta
The D Programming Language's Unofficial Docs
beta
in contracts
out contracts
lowered in contract
lowered out contract
function body
functions this function overrides
function that does the in contract
function that does the out contract
argument list for __require
argument list for __ensure
mangled symbol created from mangleExact()
result variable for out contracts
where the return goes
'this' parameter (member and nested)
has a dual-context 'this' parameter
'_arguments' parameter
'_argptr' variable
Array of VarDeclaration's for parameters
statement label symbol table
next in overload list
next in overload list (only used during IFTI)
location of closing curly bracket
for member functions, index into vtbl[]
true if naked
true if function was generated by the compiler rather than
supplied by the user +//// contains references to functions that must be inline
has attribute pragma(crt_constructor(1)/crt_destructor(2))
not set before the glue layer
!=0 if nested inline
true if no exception unwinding is needed
true if errors in semantic3 this function's frame ptr
if foreach body, this is the foreach
if virtual, but only appears in base interface vtbl[]
true if 'introducing' function
if !=NULL, then this is the type of the 'introducing' function this one is overriding
true if return type is to be inferred
storage class for template onemember's
1 if there's a return exp; statement 2 if there's a throw statement 4 if there's an assert(0) 8 if there's inline asm 16 if there are multiple return statements
true means we can do NRVO
variable to replace with shidden
hidden pointer passed to function
Gotos with forward references
set if this is a known, builtin function we can evaluate at compile time
set if someone took the address of this function
local variables in this function which are referenced by nested functions (They'll get put into the "closure" for this function.)
Outer variables which are referenced by this nested function (the inverse of closureVars)
Sibling nested functions which called this one
FUNCFLAG.xxxxx
Data for a function declaration that is needed for the Objective-C integration.
Resolve forward reference of function signature - parameter types, return type, and attributes.
Resolve forward reference of function body. Returns false if any errors exist in the body.
Check that this function type is properly resolved. If not, report "forward reference error" and return true.
Creates and returns the hidden parameters for this function declaration.
Determine if 'this' overrides fd. Return !=0 if it does.
Find index of function in vtbl[0..dim] that this function overrides. Prefer an exact match to a covariant one.
If function a function in a base class, return that base class.
Overload this FuncDeclaration with the new one f. Return true if successful; i.e. no conflict.
Find function in overload list that exactly matches t.
Find function in overload list that matches to the 'this' modifier. There's four result types.
find function template root in overload list
Returns true if function was declared directly or indirectly in a unittest block
Determine partial specialization order of 'this' vs g. This is very similar to TemplateDeclaration::leastAsSpecialized().
Labels are in a separate scope, one per function.
Determine lexical level difference from this to nested function fd.
Determine lexical level difference from this to nested function fd. Issue error if this cannot call fd.
for diagnostics, e.g. 'int foo(int x, int y) pure'
Override so it can work even if semantic() hasn't yet been run.
Decide if attributes for this function can be inferred from examining the function body.
Initialize for inferring the attributes of this function.
The function is doing something impure, so mark it as impure. If there's a purity error, return true.
The function is doing something unsafe, so mark it as unsafe. If there's a safe error, return true.
The function is doing something that may allocate with the GC, so mark it as not nogc (not no-how).
See if pointers from function parameters, mutable globals, or uplevel functions could leak into return value.
See if pointers from function parameters, mutable globals, or uplevel functions could leak into type t.
Determine if function needs a static frame pointer.
Determine if function is a non-static member function that has an implicit 'this' expression.
In the current function, we are calling 'this' function. 1. Check to see if the current function can call 'this' function, issue error if not. 2. If the current function is not the parent of 'this' function, then add the current function to the list of siblings of 'this' function. 3. If the current function is a literal, and it's accessing an uplevel scope, then mark it as a delegate. Returns true if error occurs.
Look at all the variables in this function that are referenced by nested functions, and determine if a closure needs to be created for them.
Check that the function contains any closure. If it's @nogc, report suitable errors. This is mostly consistent with FuncDeclaration::needsClosure().
Determine if function's variables are referenced by a function nested within it.
Declare result variable lazily.
Merge into this function the 'in' contracts of all it overrides. 'in's are OR'd together, i.e. only one of them needs to pass.
Merge into this function the 'in' contracts of all it overrides.
Determine whether an 'out' contract is declared inside the given function or any of its overrides.
Rewrite contracts as statements.
Merge into this function the 'out' contracts of all it overrides. 'out's are AND'd together, i.e. all of them need to pass.
Generate a FuncDeclaration for a runtime library function.
Check parameters and return type of D main() function. Issue error messages.
Check all return statements for a function to verify that returning using NRVO is possible.