public interface OrthCorrection extends ExtraAttributes
| Modifier and Type | Method and Description |
|---|---|
CorrectionOperation |
getOperation() |
String |
getString() |
getExtraAttributes, retrieveAttributesString getString()
CorrectionOperation getOperation()
Copyright © 2013-2019 Department of Linguistics, Tübingen University. All Rights Reserved.