Display the source code in dmd/frontend.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.

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

Walter Bright

License

Boost License 1.0