mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
remove unnecessary class
GitOrigin-RevId: 709aa1b31e1446d5848461083310c99237e8e1af
This commit is contained in:
committed by
intellij-monorepo-bot
parent
c4db59287d
commit
12ecdbfbfb
@@ -1,25 +0,0 @@
|
||||
// Copyright 2000-2020 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
|
||||
|
||||
package com.intellij.psi.impl.source;
|
||||
|
||||
import com.intellij.util.CharTable;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
|
||||
public final class IdentityCharTable implements CharTable {
|
||||
private IdentityCharTable() { }
|
||||
|
||||
public static final IdentityCharTable INSTANCE = new IdentityCharTable();
|
||||
|
||||
@NotNull
|
||||
@Override
|
||||
public CharSequence intern(@NotNull final CharSequence text) {
|
||||
return text;
|
||||
}
|
||||
|
||||
@NotNull
|
||||
@Override
|
||||
public CharSequence intern(@NotNull CharSequence baseText, int startOffset, int endOffset) {
|
||||
if (startOffset == 0 && endOffset == baseText.length()) return baseText;
|
||||
return baseText.subSequence(startOffset, endOffset);
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user