Example #1
0
        private void adjustButton_Click(object sender, EventArgs e)
        {
            var sensorName = sensorNameSelector.EditValue as string;

            if(String.IsNullOrEmpty(sensorName)) {
                MessageBox.Show("You must specify a sensor. No action has been taken.", "Invalid operation.");
                return;
            }

            var sourceTimeRange = new TimeRange(dateTimeRangePickerData.From, dateTimeRangePickerData.To);
            var spanOffset = dateTimePickerNewStart.DateTime - sourceTimeRange.Low;
            if (sourceTimeRange.Span == TimeSpan.Zero) {
                MessageBox.Show("You must specify a source time range. No action has been taken.", "Invalid operation.");
                return;
            }
            if(spanOffset == TimeSpan.Zero) {
                MessageBox.Show("You must specify a time offset for the selected region. No action has been taken.", "Invalid operation.");
                return;
            }
            var offsetTimeRange = new TimeRange(sourceTimeRange.Low + spanOffset, sourceTimeRange.High + spanOffset);

            var adjustOk = _dataStore.AdjustTimeStamps(
                sensorName,
                sourceTimeRange,
                offsetTimeRange,
                _overwrite
            );
            if (adjustOk) {
                MessageBox.Show(
                    "Correction applied.", "Success",
                    MessageBoxButtons.OK, MessageBoxIcon.Information);
                Close();
            }
            else {
                MessageBox.Show(
                    "Correction failed.", "Failed",
                    MessageBoxButtons.OK, MessageBoxIcon.Error);
            }
        }
Example #2
0
 public bool Intersects(TimeRange range)
 {
     return (Low <= range.High) && (range.Low <= High);
 }
Example #3
0
 public TimeRange(TimeRange range)
 {
     _low = range._low;
     _high = range._high;
 }
Example #4
0
 public void Merge(TimeRange timeRange)
 {
     if(timeRange._low < _low) {
         _low = timeRange._low;
     }
     if(timeRange._high > _high) {
         _high = timeRange._high;
     }
 }