range.dart 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  1. import 'package:xterm/core/buffer/position.dart';
  2. import 'package:xterm/core/buffer/segment.dart';
  3. class BufferRange {
  4. final BufferPosition begin;
  5. final BufferPosition end;
  6. BufferRange(this.begin, this.end);
  7. BufferRange.collapsed(this.begin) : end = begin;
  8. bool get isNormalized {
  9. return begin.isBefore(end) || begin.isEqual(end);
  10. }
  11. bool get isCollapsed {
  12. return begin.isEqual(end);
  13. }
  14. Iterable<BufferSegment> toSegments() sync* {
  15. var start = this.begin;
  16. var end = this.end;
  17. if (!isNormalized) {
  18. end = this.begin;
  19. start = this.end;
  20. }
  21. for (var i = start.y; i <= end.y; i++) {
  22. var startX = i == start.y ? start.x : null;
  23. var endX = i == end.y ? end.x : null;
  24. yield BufferSegment(this, i, startX, endX);
  25. }
  26. }
  27. bool isWithin(BufferPosition position) {
  28. return begin.isBeforeOrSame(position) && end.isAfterOrSame(position);
  29. }
  30. BufferRange merge(BufferRange range) {
  31. final begin = this.begin.isBefore(range.begin) ? this.begin : range.begin;
  32. final end = this.end.isAfter(range.end) ? this.end : range.end;
  33. return BufferRange(begin, end);
  34. }
  35. BufferRange extend(BufferPosition position) {
  36. final begin = this.begin.isBefore(position) ? position : this.begin;
  37. final end = this.end.isAfter(position) ? position : this.end;
  38. return BufferRange(begin, end);
  39. }
  40. @override
  41. operator ==(Object other) {
  42. if (identical(this, other)) {
  43. return true;
  44. }
  45. if (other is! BufferRange) {
  46. return false;
  47. }
  48. return begin == other.begin && end == other.end;
  49. }
  50. @override
  51. int get hashCode => begin.hashCode ^ end.hashCode;
  52. @override
  53. String toString() => 'Range($begin, $end)';
  54. }