Open Bug 1600366 Opened 5 years ago Updated 2 years ago

Make FunctionBox initialization verifiable and ensure correctness

Categories

(Core :: JavaScript Engine, enhancement, P2)

Product:
Core
Component:
JavaScript Engine
Type:
enhancement

Tracking

()

People

(Reporter: mgaudet, Unassigned)

References

(Blocks 1 open bug)

Details

FunctionBox has a two-phase initialization story: First, the constructor sets fields to default values, then depending on the context subsequently an initializer may be called.

Whether a value is sensible or is just the constructor default is not always clear.

This bug proposes replacing variably-initialized fields within FunctionBox with Maybe<T>, or a Maybe<T> like type; The intention would be to ensure that when a field is checked, it was actually initialized with a value that's trusted.

(As a follow up, it would be nice to then group these initializations together, to better understand what's available from the FunctionBox, and why)

Priority: -- → P3
Priority: P3 → P2
Severity: normal → S3
You need to log in before you can comment on or make changes to this bug.