public DiffMarker(DiffMarkerType type, int line, int length, int leftLength, int rightLength) { Type = type; Line = line; Length = length; RightLength = rightLength; LeftLength = leftLength; }