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.

Struct `dmd.dfa.fast.report.DFAReporter`

The interface for reporting DFA errors and warnings.


						
				struct DFAReporter;

This struct acts as the sink for all findings. It checks if a specific violation (like a null dereference) should be reported based on the variable's modellability and depth, then sends it to the global ErrorSink.

Methods

Name	Description
`onAssertIsFalse` (lr, loc)	Reports an error if an assertion is statically provable to be false.
`onDereference` (on, loc)	Reports an error if a variable is dereferenced while known to be null.
`onEndOfScope` (fd, loc)	Validates constraints at the end of a scope.
`onFunctionCallArgumentLessThan` (c, paramInfo, calling, loc)	Reports an error if a function argument violates the callee's expectations.

Authors

Richard (Rikki) Andrew Cattermole

License

Boost License 1.0