Display the source code in dmd/dfa/fast/report.d from which thispage was generated on github.

If you spot a problem with this page, click here to create aGitHub 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 usinglocal clone.

Function `dmd.dfa.fast.report.DFAReporter.onEndOfScope`

Validates constraints at the end of a scope.


						
				void onEndOfScope(
				
  FuncDeclaration fd,
				
  ref const(Loc) loc
				

				);

This checks if output parameters (like out or ref parameters) meet their guaranteed post-conditions. For example, if a function parameter is marked to guarantee a non-null output, this ensures the variable is actually non-null when the scope exits.

Authors

Richard (Rikki) Andrew Cattermole

License

Boost License 1.0

API Documentation

Function dmd.dfa.fast.report.DFAReporter.onEndOfScope

Authors

License

Function `dmd.dfa.fast.report.DFAReporter.onEndOfScope`