🤬
  • Add exception for errors that are caused by the language servers.

    PiperOrigin-RevId: 456338561
    Change-Id: I4ed1f83aa65ead3d56e88e114e80491cff00d97d
  • Loading...
  • John Y. Kim committed with Copybara-Service 2 years ago
    4f3d7079
    1 parent 18e3ba0c
Revision indexing in progress... (symbol navigation in revisions will be accurate after indexed)
  • ■ ■ ■ ■ ■
    common/src/main/java/com/google/tsunami/common/ErrorCode.java
    skipped 19 lines
    20 20   CONFIG_ERROR,
    21 21   PLUGIN_EXECUTION_ERROR,
    22 22   WORKFLOW_ERROR,
     23 + LANGUAGE_SERVER_ERROR,
    23 24   
    24 25   UNKNOWN;
    25 26  }
    skipped 1 lines
  • ■ ■ ■ ■ ■ ■
    plugin/src/main/java/com/google/tsunami/plugin/LanguageServerException.java
     1 +/*
     2 + * Copyright 2022 Google LLC
     3 + *
     4 + * Licensed under the Apache License, Version 2.0 (the "License");
     5 + * you may not use this file except in compliance with the License.
     6 + * You may obtain a copy of the License at
     7 + *
     8 + * http://www.apache.org/licenses/LICENSE-2.0
     9 + *
     10 + * Unless required by applicable law or agreed to in writing, software
     11 + * distributed under the License is distributed on an "AS IS" BASIS,
     12 + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     13 + * See the License for the specific language governing permissions and
     14 + * limitations under the License.
     15 + */
     16 +package com.google.tsunami.plugin;
     17 + 
     18 +import com.google.tsunami.common.ErrorCode;
     19 +import com.google.tsunami.common.TsunamiException;
     20 + 
     21 +/** Exception for language server errors. */
     22 +public final class LanguageServerException extends TsunamiException {
     23 + 
     24 + public LanguageServerException(String message) {
     25 + super(ErrorCode.LANGUAGE_SERVER_ERROR, message);
     26 + }
     27 + 
     28 + public LanguageServerException(String message, Throwable cause) {
     29 + super(ErrorCode.LANGUAGE_SERVER_ERROR, message, cause);
     30 + }
     31 +}
     32 + 
Please wait...
Page is in error, reload to recover