unknown property

  1. @TagNumber.new(3)
UnknownSet get unknown

The set of unknowns in the critical path of evaluation.

Unknown behaves identically to Error with regards to propagation. Specifically, only unknowns in the critical path are included, unknowns caused by the presence of other unknowns are not included, and multiple unknowns might be included included when evaluation could result in different unknowns. For example:

(<unknown[1]> || true) && <unknown[2]> -> <unknown[2]>
<unknown[1]> || <unknown[2]> -> <unknown[1,2]>
<unknown[1]>.foo -> <unknown[1]>
foo(<unknown[1]>) -> <unknown[1]>
<unknown[1]> + <unknown[2]> -> <unknown[1]> or <unknown[2[>

Unknown takes precidence over Error in cases where a Value can short circuit the result:

<error> || <unknown> -> <unknown>
<error> && <unknown> -> <unknown>

Errors take precidence in all other cases:

<unknown> + <error> -> <error>
foo(<unknown>, <error>) -> <error>

Implementation

@$pb.TagNumber(3)
UnknownSet get unknown => $_getN(2);
  1. @TagNumber.new(3)
set unknown (UnknownSet value)

Implementation

@$pb.TagNumber(3)
set unknown(UnknownSet value) => $_setField(3, value);