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 v)

Implementation

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