public CloneDetectionHighlighting(QuickFixInfo clone, DocumentRange bodyRange) { this.clone = clone; this.bodyRange = bodyRange; }
public CloneDetectionHighlighting(QuickFixInfo clone, DocumentRange bodyRange) { this.clone = clone; this.bodyRange = bodyRange; }