Lines Matching defs:status
1025 .idGenerator((sn, i) -> (currentNameSpace == startNamespace || state.status(sn).isActive())
1584 .filter(sn -> state.status(sn).isActive());
2224 return state.status(sn).isActive();
2743 String val = state.status(vk) == Status.VALID
2945 e.status().isActive() &&
2976 if (ste.status() != Status.REJECTED) {
3054 private FormatAction toAction(Status status, Status previousStatus, boolean isSignatureChange) {
3056 switch (status) {
3078 error("Unexpected status: " + previousStatus.toString() + "=>" + status.toString());
3086 new DisplayEvent(sn, state.status(sn), resolve, otherErrors)
3103 this(ste.snippet(), ste.status(), false,
3104 toAction(ste.status(), ste.previousStatus(), ste.isSignatureChange()),
3108 DisplayEvent(Snippet sn, Status status, boolean resolve, List<Diag> errors) {
3109 this(sn, status, resolve, FormatAction.USED, FormatWhen.UPDATE, null, errors);
3112 private DisplayEvent(Snippet sn, Status status, boolean resolve,
3130 if (sn instanceof DeclarationSnippet && (status == Status.RECOVERABLE_DEFINED || status == Status.RECOVERABLE_NOT_DEFINED)) {
3131 resolution = (status == Status.RECOVERABLE_NOT_DEFINED)