public SignatureHelpOptions getSignatureHelpProvider() { SignatureHelpOptions leftOptions = left.getSignatureHelpProvider(); SignatureHelpOptions rightOptions = right.getSignatureHelpProvider(); if (leftOptions == null) { return rightOptions; } if (rightOptions == null) { return leftOptions; } SignatureHelpOptions result = new SignatureHelpOptions(); List<String> triggerChars = new ArrayList<>(); triggerChars.addAll(listish(leftOptions.getTriggerCharacters())); triggerChars.addAll(listish(rightOptions.getTriggerCharacters())); result.setTriggerCharacters(triggerChars); return result; }
/** * The server provides signature help support. */ @Pure public SignatureHelpOptions getSignatureHelpProvider() { return this.signatureHelpProvider; }
/** * The server provides signature help support. */ public void setSignatureHelpProvider(final SignatureHelpOptions signatureHelpProvider) { this.signatureHelpProvider = signatureHelpProvider; }
public static SignatureHelpOptions createOptions() { return new SignatureHelpOptions(Arrays.asList("(")); }