public DocumentOnTypeFormattingOptions getDocumentOnTypeFormattingProvider() { DocumentOnTypeFormattingOptions leftOptions = left.getDocumentOnTypeFormattingProvider(); DocumentOnTypeFormattingOptions rightOptions = right.getDocumentOnTypeFormattingProvider(); if (leftOptions == null) { return rightOptions; } if (rightOptions == null) { return leftOptions; } DocumentOnTypeFormattingOptions result = new DocumentOnTypeFormattingOptions(); List<String> triggerChars = new ArrayList<>(); if (leftOptions != null) { result.setFirstTriggerCharacter(leftOptions.getFirstTriggerCharacter()); triggerChars.addAll(listish(leftOptions.getMoreTriggerCharacter())); } if (rightOptions != null) { triggerChars.addAll(listish(rightOptions.getMoreTriggerCharacter())); } result.setMoreTriggerCharacter(triggerChars); return result; }
/** * The server provides document formatting on typing. */ @Pure public DocumentOnTypeFormattingOptions getDocumentOnTypeFormattingProvider() { return this.documentOnTypeFormattingProvider; }
/** * The server provides document formatting on typing. */ public void setDocumentOnTypeFormattingProvider(final DocumentOnTypeFormattingOptions documentOnTypeFormattingProvider) { this.documentOnTypeFormattingProvider = documentOnTypeFormattingProvider; }