View source code
Display the source code in dmd/frontend.d from which this
page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a
Bugzilla issue.
Improve this page
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.
Struct dmd.frontend.ContractChecks
Indicates which contracts should be checked or not.
struct ContractChecks
;
Fields
Name | Type | Description |
---|---|---|
arrayBounds
|
ContractChecking | Array bound checks. |
assert_
|
ContractChecking | Assert checks. |
invariant_
|
ContractChecking | Invariant checks. |
postcondition
|
ContractChecking | Postcondition checks (out contract). |
precondition
|
ContractChecking | Precondition checks (in contract). |
switchError
|
ContractChecking | Switch error checks. |
Authors
License
Copyright © 1999-2022 by the D Language Foundation | Page generated by ddox.