+++ /dev/null
-/*
- * Jexer - Java Text User Interface
- *
- * The MIT License (MIT)
- *
- * Copyright (C) 2019 Kevin Lamonte
- *
- * Permission is hereby granted, free of charge, to any person obtaining a
- * copy of this software and associated documentation files (the "Software"),
- * to deal in the Software without restriction, including without limitation
- * the rights to use, copy, modify, merge, publish, distribute, sublicense,
- * and/or sell copies of the Software, and to permit persons to whom the
- * Software is furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
- * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
- * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
- * DEALINGS IN THE SOFTWARE.
- *
- * @author Kevin Lamonte [kevin.lamonte@gmail.com]
- * @version 1
- */
-package jexer.teditor;
-
-import java.util.ArrayList;
-import java.util.List;
-
-import jexer.bits.CellAttributes;
-import jexer.bits.StringUtils;
-
-/**
- * A Line represents a single line of text on the screen, as a collection of
- * words.
- */
-public class Line {
-
- // ------------------------------------------------------------------------
- // Variables --------------------------------------------------------------
- // ------------------------------------------------------------------------
-
- /**
- * The list of words.
- */
- private ArrayList<Word> words = new ArrayList<Word>();
-
- /**
- * The default color for the TEditor class.
- */
- private CellAttributes defaultColor = null;
-
- /**
- * The text highlighter to use.
- */
- private Highlighter highlighter = null;
-
- /**
- * The current edition position on this line.
- */
- private int position = 0;
-
- /**
- * The current editing position screen column number.
- */
- private int screenPosition = 0;
-
- /**
- * The raw text of this line, what is passed to Word to determine
- * highlighting behavior.
- */
- private StringBuilder rawText;
-
- // ------------------------------------------------------------------------
- // Constructors -----------------------------------------------------------
- // ------------------------------------------------------------------------
-
- /**
- * Construct a new Line from an existing text string, and highlight
- * certain strings.
- *
- * @param str the text string
- * @param defaultColor the color for unhighlighted text
- * @param highlighter the highlighter to use
- */
- public Line(final String str, final CellAttributes defaultColor,
- final Highlighter highlighter) {
-
- this.defaultColor = defaultColor;
- this.highlighter = highlighter;
- this.rawText = new StringBuilder(str);
-
- scanLine();
- }
-
- /**
- * Construct a new Line from an existing text string.
- *
- * @param str the text string
- * @param defaultColor the color for unhighlighted text
- */
- public Line(final String str, final CellAttributes defaultColor) {
- this(str, defaultColor, null);
- }
-
- // ------------------------------------------------------------------------
- // Line -------------------------------------------------------------------
- // ------------------------------------------------------------------------
-
- /**
- * Get a (shallow) copy of the words in this line.
- *
- * @return a copy of the word list
- */
- public List<Word> getWords() {
- return new ArrayList<Word>(words);
- }
-
- /**
- * Get the current cursor position in the text.
- *
- * @return the cursor position
- */
- public int getRawCursor() {
- return position;
- }
-
- /**
- * Get the current cursor position on screen.
- *
- * @return the cursor position
- */
- public int getCursor() {
- return screenPosition;
- }
-
- /**
- * Set the current cursor position.
- *
- * @param cursor the new cursor position
- */
- public void setCursor(final int cursor) {
- if ((cursor < 0)
- || ((cursor >= getDisplayLength())
- && (getDisplayLength() > 0))
- ) {
- throw new IndexOutOfBoundsException("Max length is " +
- getDisplayLength() + ", requested position " + cursor);
- }
- screenPosition = cursor;
- position = screenToTextPosition(screenPosition);
- }
-
- /**
- * Get the character at the current cursor position in the text.
- *
- * @return the character, or -1 if the cursor is at the end of the line
- */
- public int getChar() {
- if (position == rawText.length()) {
- return -1;
- }
- return rawText.codePointAt(position);
- }
-
- /**
- * Get the on-screen display length.
- *
- * @return the number of cells needed to display this line
- */
- public int getDisplayLength() {
- int n = StringUtils.width(rawText.toString());
-
- if (n > 0) {
- // If we have any visible characters, add one to the display so
- // that the position is immediately after the data.
- return n + 1;
- }
- return n;
- }
-
- /**
- * Get the raw string that matches this line.
- *
- * @return the string
- */
- public String getRawString() {
- return rawText.toString();
- }
-
- /**
- * Scan rawText and make words out of it.
- */
- private void scanLine() {
- words.clear();
- Word word = new Word(this.defaultColor, this.highlighter);
- words.add(word);
- for (int i = 0; i < rawText.length();) {
- int ch = rawText.codePointAt(i);
- i += Character.charCount(ch);
- Word newWord = word.addChar(ch);
- if (newWord != word) {
- words.add(newWord);
- word = newWord;
- }
- }
- for (Word w: words) {
- w.applyHighlight();
- }
- }
-
- /**
- * Decrement the cursor by one. If at the first column, do nothing.
- *
- * @return true if the cursor position changed
- */
- public boolean left() {
- if (position == 0) {
- return false;
- }
- screenPosition -= StringUtils.width(rawText.codePointBefore(position));
- position -= Character.charCount(rawText.codePointBefore(position));
- return true;
- }
-
- /**
- * Increment the cursor by one. If at the last column, do nothing.
- *
- * @return true if the cursor position changed
- */
- public boolean right() {
- if (getDisplayLength() == 0) {
- return false;
- }
- if (position == getDisplayLength() - 1) {
- return false;
- }
- if (position < rawText.length()) {
- screenPosition += StringUtils.width(rawText.codePointAt(position));
- position += Character.charCount(rawText.codePointAt(position));
- }
- assert (position <= rawText.length());
- return true;
- }
-
- /**
- * Go to the first column of this line.
- *
- * @return true if the cursor position changed
- */
- public boolean home() {
- if (position > 0) {
- position = 0;
- screenPosition = 0;
- return true;
- }
- return false;
- }
-
- /**
- * Go to the last column of this line.
- *
- * @return true if the cursor position changed
- */
- public boolean end() {
- if (position != getDisplayLength() - 1) {
- position = rawText.length();
- screenPosition = StringUtils.width(rawText.toString());
- return true;
- }
- return false;
- }
-
- /**
- * Delete the character under the cursor.
- */
- public void del() {
- assert (words.size() > 0);
-
- if (position < getDisplayLength()) {
- int n = Character.charCount(rawText.codePointAt(position));
- for (int i = 0; i < n; i++) {
- rawText.deleteCharAt(position);
- }
- }
-
- // Re-scan the line to determine the new word boundaries.
- scanLine();
- }
-
- /**
- * Delete the character immediately preceeding the cursor.
- */
- public void backspace() {
- if (left()) {
- del();
- }
- }
-
- /**
- * Insert a character at the cursor.
- *
- * @param ch the character to insert
- */
- public void addChar(final int ch) {
- if (position < getDisplayLength() - 1) {
- rawText.insert(position, Character.toChars(ch));
- } else {
- rawText.append(Character.toChars(ch));
- }
- position += Character.charCount(ch);
- screenPosition += StringUtils.width(ch);
- scanLine();
- }
-
- /**
- * Replace a character at the cursor.
- *
- * @param ch the character to replace
- */
- public void replaceChar(final int ch) {
- if (position < getDisplayLength() - 1) {
- // Replace character
- String oldText = rawText.toString();
- rawText = new StringBuilder(oldText.substring(0, position));
- rawText.append(Character.toChars(ch));
- rawText.append(oldText.substring(position + 1));
- screenPosition += StringUtils.width(rawText.codePointAt(position));
- position += Character.charCount(ch);
- } else {
- rawText.append(Character.toChars(ch));
- position += Character.charCount(ch);
- screenPosition += StringUtils.width(ch);
- }
- scanLine();
- }
-
- /**
- * Determine string position from screen position.
- *
- * @param screenPosition the position on screen
- * @return the equivalent position in text
- */
- protected int screenToTextPosition(final int screenPosition) {
- if (screenPosition == 0) {
- return 0;
- }
-
- int n = 0;
- for (int i = 0; i < rawText.length(); i++) {
- n += StringUtils.width(rawText.codePointAt(i));
- if (n >= screenPosition) {
- return i + 1;
- }
- }
- // screenPosition exceeds the available text length.
- throw new IndexOutOfBoundsException("screenPosition " + screenPosition +
- " exceeds available text length " + rawText.length());
- }
-
-}
git://git.nikiroo.be / fanfix.git / blobdiff