max property

  1. @TagNumber.new(12)
double get max

max is the maximum value over (start_time, end_time].

Implementation

@$pb.TagNumber(12)
$core.double get max => $_getN(10);
  1. @TagNumber.new(12)
set max (double value)

Implementation

@$pb.TagNumber(12)
set max($core.double value) => $_setDouble(10, value);