ResultExtender

java.lang.Object

org.languagetool.server.ResultExtender

class ResultExtender extends Object

Extend results by adding rules matches as hidden matches.

Since:: 4.0

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

(package private) static class

ResultExtender.HiddenRule
Constructor Summary

Constructors

Constructor

Description

ResultExtender()
Method Summary

Modifier and Type

Method

Description

(package private) static List<RuleMatch>

getAsHiddenMatches(List<RuleMatch> matches, List<RuleMatch> extensionMatches)

Filter extensionMatches so that only those matches are left that don't cover or touch one of the matches.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ResultExtender
  
  ResultExtender()
Method Details
- getAsHiddenMatches
  
  @NotNull static List<RuleMatch> getAsHiddenMatches(List<RuleMatch> matches, List<RuleMatch> extensionMatches)
  
  Filter extensionMatches so that only those matches are left that don't cover or touch one of the matches.