« Bugzilla Issues Index
#3403 — "Assert:" Isn't formally defined in the spec
- bug_id:
3403
- creation_ts:
2014-12-05 15:21:00 -0800
- short_desc:
"Assert:" Isn't formally defined in the spec
- delta_ts:
2014-12-07 14:35:07 -0800
- product:
Draft for 6th Edition
- component:
technical issue
- version:
Rev 28: October 14, 2014 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
enhancement
- everconfirmed:
true
- reporter:
Rick Waldron
- assigned_to:
Allen Wirfs-Brock
- cc:
waldron.rick
- commentid:
10805
- comment_count:
0
- who:
Rick Waldron
- bug_when:
2014-12-05 15:21:38 -0800
The "Assert:" mechanism should be defined:
1. what happens when the assertion is correct
2. what happens when the assertion is no correct
- commentid:
10806
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2014-12-05 15:27:53 -0800
see http://people.mozilla.org/~jorendorff/es6-draft.html#sec-algorithm-conventions
about 3 paragraphs past the algorithm level outline
- commentid:
10807
- comment_count:
2
- who:
Rick Waldron
- bug_when:
2014-12-05 15:54:44 -0800
For reference.
A step may assert an invariant condition of its algorithm. Such assertions are used to make explicit algorithmic invariants that would otherwise be implicit. Such assertions add no additional semantic requirements and hence need not be checked by an implementation. They are used simply to clarify algorithms.
What do you think about adding some words about their actual appearance "ASSERT: ..."?
- commentid:
10809
- comment_count:
3
- who:
Allen Wirfs-Brock
- bug_when:
2014-12-06 15:29:31 -0800
fixed in rev29 editor's draft
- commentid:
10906
- comment_count:
4
- who:
Allen Wirfs-Brock
- bug_when:
2014-12-07 14:35:07 -0800
fixed in rev29