E
- the kind of exception that is intercepted during parsingpublic interface CompletionRecoveryStrategy<E extends java.lang.Exception>
Modifier and Type | Method and Description |
---|---|
void |
addProposals(java.lang.String dsl,
E exception,
CompletionKind kind,
int detailLevel,
java.util.List<java.lang.String> proposals)
Perform code completion by adding proposals to the
proposals list. |
boolean |
shouldTrigger(java.lang.String dslStart,
java.lang.Exception exception,
CompletionKind kind)
Whether this completion should be triggered.
|
boolean shouldTrigger(java.lang.String dslStart, java.lang.Exception exception, CompletionKind kind)
void addProposals(java.lang.String dsl, E exception, CompletionKind kind, int detailLevel, java.util.List<java.lang.String> proposals)
proposals
list.