max property

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

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

Implementation

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

Implementation

@$pb.TagNumber(13)
set max($core.double v) {
  $_setDouble(12, v);
}