rfc:dbc2
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
| rfc:dbc2 [2015/02/10 13:02] – krakjoe | rfc:dbc2 [2017/09/22 13:28] – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| * Date: 2015-02-10 | * Date: 2015-02-10 | ||
| * Author: Yasuo Ohgaki < | * Author: Yasuo Ohgaki < | ||
| - | * Status: | + | * Status: |
| * First Published at: http:// | * First Published at: http:// | ||
| ===== Important Note ===== | ===== Important Note ===== | ||
| + | |||
| + | This RFC is part of " | ||
| + | * https:// | ||
| This RFC is an alternative approach to " | This RFC is an alternative approach to " | ||
| - | http:// | + | * http:// |
| Contracts can be defined without modification to the language, however, the D documentation calls the resulting implementation " | Contracts can be defined without modification to the language, however, the D documentation calls the resulting implementation " | ||
| Line 82: | Line 85: | ||
| } | } | ||
| - | requre($this-> | + | require($this-> |
| } | } | ||
| </ | </ | ||
| Line 147: | Line 150: | ||
| * dbc=zero_cost - don't generate code for contracts. This may be set only in php.ini and can't be changed through ini_set(). | * dbc=zero_cost - don't generate code for contracts. This may be set only in php.ini and can't be changed through ini_set(). | ||
| - | The default value if " | + | The default value is " |
| ===Contracts Execution Order=== | ===Contracts Execution Order=== | ||
rfc/dbc2.txt · Last modified: 2018/03/01 23:19 by carusogabriel