capacitor-sora-editor 1.2.1 → 1.8.2

package/android/sora-editor/editor/src/main/java/io/github/abc15018045126/sora/text/TextRange.java

@@ -1,85 +0,0 @@
-/*
- *    sora-editor - the awesome code editor for Android
- *    https://github.com/abc15018045126/sora-editor
- *    Copyright (C) 2020-2024  abc15018045126
- *
- *     This library is free software; you can redistribute it and/or
- *     modify it under the terms of the GNU Lesser General Public
- *     License as published by the Free Software Foundation; either
- *     version 2.1 of the License, or (at your option) any later version.
- *
- *     This library is distributed in the hope that it will be useful,
- *     but WITHOUT ANY WARRANTY; without even the implied warranty of
- *     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- *     Lesser General Public License for more details.
- *
- *     You should have received a copy of the GNU Lesser General Public
- *     License along with this library; if not, write to the Free Software
- *     Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301
- *     USA
- *
- *     Please contact abc15018045126 by email 2073412493@qq.com if you need
- *     additional information or have any questions
- */
-package io.github.abc15018045126.sora.text;
-
-import androidx.annotation.NonNull;
-
-/**
- * A range made up of two {@link CharPosition} objects.
- *
- * @author abc15018045126
- */
-public class TextRange {
-
-    private CharPosition start;
-    private CharPosition end;
-
-    public TextRange(@NonNull CharPosition start, @NonNull CharPosition end) {
-        this.start = start;
-        this.end = end;
-    }
-
-    @NonNull
-    public CharPosition getStart() {
-        return start;
-    }
-
-    public void setStart(@NonNull CharPosition start) {
-        this.start = start;
-    }
-
-    @NonNull
-    public CharPosition getEnd() {
-        return end;
-    }
-
-    public void setEnd(@NonNull CharPosition end) {
-        this.end = end;
-    }
-
-    public int getStartIndex() {
-        return start.index;
-    }
-
-    public int getEndIndex() {
-        return end.index;
-    }
-
-    /**
-     * Check if the given position is inside the range
-     */
-    public boolean isPositionInside(@NonNull CharPosition pos) {
-        return pos.index >= start.index && pos.index < end.index;
-    }
-
-    @NonNull
-    @Override
-    public String toString() {
-        return "TextRange{" +
-                "start=" + start +
-                ", end=" + end +
-                '}';
-    }
-}
-

package/android/sora-editor/editor/src/main/java/io/github/abc15018045126/sora/text/TextReference.java

@@ -1,132 +0,0 @@
-/*
- *    sora-editor - the awesome code editor for Android
- *    https://github.com/abc15018045126/sora-editor
- *    Copyright (C) 2020-2024  abc15018045126
- *
- *     This library is free software; you can redistribute it and/or
- *     modify it under the terms of the GNU Lesser General Public
- *     License as published by the Free Software Foundation; either
- *     version 2.1 of the License, or (at your option) any later version.
- *
- *     This library is distributed in the hope that it will be useful,
- *     but WITHOUT ANY WARRANTY; without even the implied warranty of
- *     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- *     Lesser General Public License for more details.
- *
- *     You should have received a copy of the GNU Lesser General Public
- *     License along with this library; if not, write to the Free Software
- *     Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301
- *     USA
- *
- *     Please contact abc15018045126 by email 2073412493@qq.com if you need
- *     additional information or have any questions
- */
-package io.github.abc15018045126.sora.text;
-
-import androidx.annotation.NonNull;
-
-import java.util.Objects;
-
-/**
- * Reference of a {@link CharSequence} object, which allows
- * to access the original sequence in read-only mode, and attach a
- * {@link Validator} to validate access to check whether reject the
- * read access.
- * This can be useful when reading text in multiple threads, with the ability
- * to interrupt that thread when the actual text changes.
- *
- * @author abc15018045126
- */
-public class TextReference implements CharSequence {
-
-    private final CharSequence ref;
-    private final int start, end;
-    private Validator validator;
-
-    public TextReference(@NonNull CharSequence ref) {
-        this(ref, 0, ref.length());
-    }
-
-    public TextReference(@NonNull CharSequence ref, int start, int end) {
-        this.ref = Objects.requireNonNull(ref);
-        this.start = start;
-        this.end = end;
-        if (start > end) {
-            throw new IllegalArgumentException("start > end");
-        }
-        if (start < 0) {
-            throw new StringIndexOutOfBoundsException(start);
-        }
-        if (end > ref.length()) {
-            throw new StringIndexOutOfBoundsException(end);
-        }
-    }
-
-    /**
-     * Get original text of the reference
-     */
-    @NonNull
-    public CharSequence getReference() {
-        return ref;
-    }
-
-    @Override
-    public int length() {
-        validateAccess();
-        return end - start;
-    }
-
-    @Override
-    public char charAt(int index) {
-        if (index < 0 || index >= length()) {
-            throw new StringIndexOutOfBoundsException(index);
-        }
-        validateAccess();
-        return ref.charAt(start + index);
-    }
-
-    @NonNull
-    @Override
-    public String toString() {
-        return ref.subSequence(start, end).toString();
-    }
-
-    @NonNull
-    @Override
-    public CharSequence subSequence(int start, int end) {
-        if (start < 0 || start >= length()) {
-            throw new StringIndexOutOfBoundsException(start);
-        }
-        if (end < 0 || end >= length()) {
-            throw new StringIndexOutOfBoundsException(end);
-        }
-        validateAccess();
-        return new TextReference(ref, this.start + start, this.start + end).setValidator(validator);
-    }
-
-    public TextReference setValidator(Validator validator) {
-        this.validator = validator;
-        return this;
-    }
-
-    public void validateAccess() {
-        if (validator != null)
-            validator.validate();
-    }
-
-    public interface Validator {
-        void validate();
-    }
-
-    public static class ValidateFailedException extends RuntimeException {
-
-        public ValidateFailedException() {
-        }
-
-        public ValidateFailedException(String message) {
-            super(message);
-        }
-
-    }
-}
-

package/android/sora-editor/editor/src/main/java/io/github/abc15018045126/sora/text/TextUtils.java

@@ -1,196 +0,0 @@
-/*
- *    sora-editor - the awesome code editor for Android
- *    https://github.com/abc15018045126/sora-editor
- *    Copyright (C) 2020-2024  abc15018045126
- *
- *     This library is free software; you can redistribute it and/or
- *     modify it under the terms of the GNU Lesser General Public
- *     License as published by the Free Software Foundation; either
- *     version 2.1 of the License, or (at your option) any later version.
- *
- *     This library is distributed in the hope that it will be useful,
- *     but WITHOUT ANY WARRANTY; without even the implied warranty of
- *     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- *     Lesser General Public License for more details.
- *
- *     You should have received a copy of the GNU Lesser General Public
- *     License along with this library; if not, write to the Free Software
- *     Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301
- *     USA
- *
- *     Please contact abc15018045126 by email 2073412493@qq.com if you need
- *     additional information or have any questions
- */
-package io.github.abc15018045126.sora.text;
-
-import androidx.annotation.NonNull;
-
-import java.util.Objects;
-
-import io.github.abc15018045126.sora.util.IntPair;
-
-/**
- * Utility class for texts
- */
-public class TextUtils {
-
-    /**
-     * Counts the number of whitespaces at the start of the given {@link CharSequence}.
-     *
-     * @param text     The text to count the spaces in.
-     * @return A long packed with the number of spaces and tabs at the start of the line.
-     * Use {@link IntPair#getFirst(long)} to get the number of spaces and {@link IntPair#getSecond(long)}
-     * for the number of tabs.
-     */
-    public static long countLeadingSpacesAndTabs(@NonNull CharSequence text) {
-        Objects.requireNonNull(text);
-
-        int p = 0, spaces = 0, tabs = 0;
-        char c;
-        while (p < text.length() && isWhitespace((c = text.charAt(p)))) {
-            if (c == '\t') {
-                tabs += 1;
-            } else {
-                spaces += 1;
-            }
-            ++p;
-        }
-
-        return IntPair.pack(spaces, tabs);
-    }
-
-    /**
-     * Compute leading space count
-     *
-     * @param tabWidth Tab is considered in {@code tabWidth} spaces
-     */
-    public static int countLeadingSpaceCount(@NonNull CharSequence text, int tabWidth) {
-        final var result = countLeadingSpacesAndTabs(text);
-        return IntPair.getFirst(result) + (tabWidth * IntPair.getSecond(result));
-    }
-
-    /**
-     * Create indent space
-     *
-     * @return Generated space string
-     */
-    public static String createIndent(int indentSize, int tabWidth, boolean useTab) {
-        indentSize = Math.max(0, indentSize);
-        int tab = 0;
-        int space;
-        if (useTab) {
-            tab = indentSize / tabWidth;
-            space = indentSize % tabWidth;
-        } else {
-            space = indentSize;
-        }
-        StringBuilder s = new StringBuilder();
-        for (int i = 0; i < tab; i++) {
-            s.append('\t');
-        }
-        for (int i = 0; i < space; i++) {
-            s.append(' ');
-        }
-        return s.toString();
-    }
-
-    public static int indexOf(@NonNull CharSequence text, @NonNull CharSequence pattern, boolean ignoreCase, int fromIndex) {
-        var max = text.length() - pattern.length();
-        var len = pattern.length();
-        label:
-        for (int i = fromIndex; i <= max; i++) {
-            // Compare
-            for (int j = 0; j < len; j++) {
-                char s = text.charAt(i + j);
-                char p = pattern.charAt(j);
-                if (!(s == p || (ignoreCase && Character.toLowerCase(s) == Character.toLowerCase(p)))) {
-                    continue label;
-                }
-            }
-            return i;
-        }
-        return -1;
-    }
-
-    public static int lastIndexOf(@NonNull CharSequence text, @NonNull CharSequence pattern, boolean ignoreCase, int fromIndex) {
-        var len = pattern.length();
-        fromIndex = Math.min(fromIndex, text.length() - len);
-        label:
-        for (int i = fromIndex; i >= 0; i--) {
-            // Compare
-            for (int j = 0; j < len; j++) {
-                char s = text.charAt(i + j);
-                char p = pattern.charAt(j);
-                if (!(s == p || (ignoreCase && Character.toLowerCase(s) == Character.toLowerCase(p)))) {
-                    continue label;
-                }
-            }
-            return i;
-        }
-        return -1;
-    }
-
-    public static boolean startsWith(@NonNull CharSequence text, @NonNull CharSequence pattern, boolean ignoreCase) {
-        if (text.length() < pattern.length()) {
-            return false;
-        }
-        var len = pattern.length();
-        for (int i = 0; i < len; i++) {
-            char s = text.charAt(i);
-            char p = pattern.charAt(i);
-            if (!((s == p) || (ignoreCase && Character.toLowerCase(s) == Character.toLowerCase(p)))) {
-                return false;
-            }
-        }
-        return true;
-    }
-
-    private static boolean isWhitespace(char ch) {
-        return ch == '\t' || ch == ' ';
-    }
-
-    public static String padStart(String src, char padChar, int length) {
-        if (src.length() >= length) {
-            return src;
-        }
-        var sb = new StringBuilder(length);
-        for (int i = 0; i < length - src.length(); i++) {
-            sb.append(padChar);
-        }
-        sb.append(src);
-        return sb.toString();
-    }
-
-    /**
-     * Find where leading spaces end and trailing spaces start
-     *
-     * @param line The line to search
-     */
-    public static long findLeadingAndTrailingWhitespacePos(ContentLine line) {
-        return findLeadingAndTrailingWhitespacePos(line, 0, line.length());
-    }
-
-    /**
-     * Find where leading spaces end and trailing spaces start
-     *
-     * @param line  The line to search
-     * @param start Range start (inclusive)
-     * @param end   Range end (exclusive)
-     */
-    public static long findLeadingAndTrailingWhitespacePos(ContentLine line, int start, int end) {
-        var buffer = line.getBackingCharArray();
-        int leading = start;
-        int trailing = end;
-        while (leading < end && isWhitespace(buffer[leading])) {
-            leading++;
-        }
-        // Skip for space-filled line
-        if (leading != end) {
-            while (trailing > 0 && isWhitespace(buffer[trailing - 1])) {
-                trailing--;
-            }
-        }
-        return IntPair.pack(leading, trailing);
-    }
-}
-

package/android/sora-editor/editor/src/main/java/io/github/abc15018045126/sora/text/TextUtilsP.java

@@ -1,236 +0,0 @@
-/*
- * Copyright (C) 2006 The Android Open Source Project
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *      http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-package io.github.abc15018045126.sora.text;
-
-import android.icu.lang.UCharacter;
-import android.icu.lang.UProperty;
-import android.os.Build;
-
-import androidx.annotation.RequiresApi;
-
-/**
- * Taken from {@link android.text.method.BaseKeyListener}
- */
-public class TextUtilsP {
-
-    private static final int LINE_FEED = 0x0A;
-    private static final int CARRIAGE_RETURN = 0x0D;
-
-    // Returns true if the given code point is a variation selector.
-    @RequiresApi(api = Build.VERSION_CODES.N)
-    private static boolean isVariationSelector(int codepoint) {
-        return UCharacter.hasBinaryProperty(codepoint, UProperty.VARIATION_SELECTOR);
-    }
-
-    // Returns the start offset to be deleted by a backspace key from the given offset.
-    @RequiresApi(api = Build.VERSION_CODES.P)
-    public static int getOffsetForBackspaceKey(CharSequence text, int offset) {
-        if (offset <= 1) {
-            return 0;
-        }
-
-        // Initial state
-        final int STATE_START = 0;
-
-        // The offset is immediately before line feed.
-        final int STATE_LF = 1;
-
-        // The offset is immediately before a KEYCAP.
-        final int STATE_BEFORE_KEYCAP = 2;
-        // The offset is immediately before a variation selector and a KEYCAP.
-        final int STATE_BEFORE_VS_AND_KEYCAP = 3;
-
-        // The offset is immediately before an emoji modifier.
-        final int STATE_BEFORE_EMOJI_MODIFIER = 4;
-        // The offset is immediately before a variation selector and an emoji modifier.
-        final int STATE_BEFORE_VS_AND_EMOJI_MODIFIER = 5;
-
-        // The offset is immediately before a variation selector.
-        final int STATE_BEFORE_VS = 6;
-
-        // The offset is immediately before an emoji.
-        final int STATE_BEFORE_EMOJI = 7;
-        // The offset is immediately before a ZWJ that were seen before a ZWJ emoji.
-        final int STATE_BEFORE_ZWJ = 8;
-        // The offset is immediately before a variation selector and a ZWJ that were seen before a
-        // ZWJ emoji.
-        final int STATE_BEFORE_VS_AND_ZWJ = 9;
-
-        // The number of following RIS code points is odd.
-        final int STATE_ODD_NUMBERED_RIS = 10;
-        // The number of following RIS code points is even.
-        final int STATE_EVEN_NUMBERED_RIS = 11;
-
-        // The offset is in emoji tag sequence.
-        final int STATE_IN_TAG_SEQUENCE = 12;
-
-        // The state machine has been stopped.
-        final int STATE_FINISHED = 13;
-
-        int deleteCharCount = 0;  // Char count to be deleted by backspace.
-        int lastSeenVSCharCount = 0;  // Char count of previous variation selector.
-
-        int state = STATE_START;
-
-        int tmpOffset = offset;
-        do {
-            final int codePoint = Character.codePointBefore(text, tmpOffset);
-            tmpOffset -= Character.charCount(codePoint);
-
-            switch (state) {
-                case STATE_START:
-                    deleteCharCount = Character.charCount(codePoint);
-                    if (codePoint == LINE_FEED) {
-                        state = STATE_LF;
-                    } else if (isVariationSelector(codePoint)) {
-                        state = STATE_BEFORE_VS;
-                    } else if (AndroidEmoji.isRegionalIndicatorSymbol(codePoint)) {
-                        state = STATE_ODD_NUMBERED_RIS;
-                    } else if (AndroidEmoji.isEmojiModifier(codePoint)) {
-                        state = STATE_BEFORE_EMOJI_MODIFIER;
-                    } else if (codePoint == AndroidEmoji.COMBINING_ENCLOSING_KEYCAP) {
-                        state = STATE_BEFORE_KEYCAP;
-                    } else if (AndroidEmoji.isEmoji(codePoint)) {
-                        state = STATE_BEFORE_EMOJI;
-                    } else if (codePoint == AndroidEmoji.CANCEL_TAG) {
-                        state = STATE_IN_TAG_SEQUENCE;
-                    } else {
-                        state = STATE_FINISHED;
-                    }
-                    break;
-                case STATE_LF:
-                    if (codePoint == CARRIAGE_RETURN) {
-                        ++deleteCharCount;
-                    }
-                    state = STATE_FINISHED;
-                    break;
-                case STATE_ODD_NUMBERED_RIS:
-                    if (AndroidEmoji.isRegionalIndicatorSymbol(codePoint)) {
-                        deleteCharCount += 2; /* Char count of RIS */
-                        state = STATE_EVEN_NUMBERED_RIS;
-                    } else {
-                        state = STATE_FINISHED;
-                    }
-                    break;
-                case STATE_EVEN_NUMBERED_RIS:
-                    if (AndroidEmoji.isRegionalIndicatorSymbol(codePoint)) {
-                        deleteCharCount -= 2; /* Char count of RIS */
-                        state = STATE_ODD_NUMBERED_RIS;
-                    } else {
-                        state = STATE_FINISHED;
-                    }
-                    break;
-                case STATE_BEFORE_KEYCAP:
-                    if (isVariationSelector(codePoint)) {
-                        lastSeenVSCharCount = Character.charCount(codePoint);
-                        state = STATE_BEFORE_VS_AND_KEYCAP;
-                        break;
-                    }
-
-                    if (AndroidEmoji.isKeycapBase(codePoint)) {
-                        deleteCharCount += Character.charCount(codePoint);
-                    }
-                    state = STATE_FINISHED;
-                    break;
-                case STATE_BEFORE_VS_AND_KEYCAP:
-                    if (AndroidEmoji.isKeycapBase(codePoint)) {
-                        deleteCharCount += lastSeenVSCharCount + Character.charCount(codePoint);
-                    }
-                    state = STATE_FINISHED;
-                    break;
-                case STATE_BEFORE_EMOJI_MODIFIER:
-                    if (isVariationSelector(codePoint)) {
-                        lastSeenVSCharCount = Character.charCount(codePoint);
-                        state = STATE_BEFORE_VS_AND_EMOJI_MODIFIER;
-                        break;
-                    } else if (AndroidEmoji.isEmojiModifierBase(codePoint)) {
-                        deleteCharCount += Character.charCount(codePoint);
-                        state = STATE_BEFORE_EMOJI;
-                        break;
-                    }
-                    state = STATE_FINISHED;
-                    break;
-                case STATE_BEFORE_VS_AND_EMOJI_MODIFIER:
-                    if (AndroidEmoji.isEmojiModifierBase(codePoint)) {
-                        deleteCharCount += lastSeenVSCharCount + Character.charCount(codePoint);
-                    }
-                    state = STATE_FINISHED;
-                    break;
-                case STATE_BEFORE_VS:
-                    if (AndroidEmoji.isEmoji(codePoint)) {
-                        deleteCharCount += Character.charCount(codePoint);
-                        state = STATE_BEFORE_EMOJI;
-                        break;
-                    }
-
-                    if (!isVariationSelector(codePoint) &&
-                            UCharacter.getCombiningClass(codePoint) == 0) {
-                        deleteCharCount += Character.charCount(codePoint);
-                    }
-                    state = STATE_FINISHED;
-                    break;
-                case STATE_BEFORE_EMOJI:
-                    if (codePoint == AndroidEmoji.ZERO_WIDTH_JOINER) {
-                        state = STATE_BEFORE_ZWJ;
-                    } else {
-                        state = STATE_FINISHED;
-                    }
-                    break;
-                case STATE_BEFORE_ZWJ:
-                    if (AndroidEmoji.isEmoji(codePoint)) {
-                        deleteCharCount += Character.charCount(codePoint) + 1;  // +1 for ZWJ.
-                        state = AndroidEmoji.isEmojiModifier(codePoint) ?
-                                STATE_BEFORE_EMOJI_MODIFIER : STATE_BEFORE_EMOJI;
-                    } else if (isVariationSelector(codePoint)) {
-                        lastSeenVSCharCount = Character.charCount(codePoint);
-                        state = STATE_BEFORE_VS_AND_ZWJ;
-                    } else {
-                        state = STATE_FINISHED;
-                    }
-                    break;
-                case STATE_BEFORE_VS_AND_ZWJ:
-                    if (AndroidEmoji.isEmoji(codePoint)) {
-                        // +1 for ZWJ.
-                        deleteCharCount += lastSeenVSCharCount + 1 + Character.charCount(codePoint);
-                        lastSeenVSCharCount = 0;
-                        state = STATE_BEFORE_EMOJI;
-                    } else {
-                        state = STATE_FINISHED;
-                    }
-                    break;
-                case STATE_IN_TAG_SEQUENCE:
-                    if (AndroidEmoji.isTagSpecChar(codePoint)) {
-                        deleteCharCount += 2; /* Char count of emoji tag spec character. */
-                        // Keep the same state.
-                    } else if (AndroidEmoji.isEmoji(codePoint)) {
-                        deleteCharCount += Character.charCount(codePoint);
-                        state = STATE_FINISHED;
-                    } else {
-                        // Couldn't find tag_base character. Delete the last tag_term character.
-                        deleteCharCount = 2;  // for U+E007F
-                        state = STATE_FINISHED;
-                    }
-                    // TODO: Need handle emoji variation selectors. Issue 35224297
-                    break;
-                default:
-                    throw new IllegalArgumentException("state " + state + " is unknown");
-            }
-        } while (tmpOffset > 0 && state != STATE_FINISHED);
-
-        return offset - deleteCharCount;
-    }
-
-}