Package javax.swing.text

Examples of javax.swing.text.Segment

651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
                // start = startIndex + 1;
                if (start < 0)
                    start = 0;
                length = getDocument().getLength() - start;
            }
            Segment segment = new Segment();

            try {
                getDocument().getText(start, length, segment);
            } catch (BadLocationException ex) {
                LOG.log(Level.FINE,
                        "this should not happen (calculated the valid start/length) " , ex);
            }

            Matcher matcher = pattern.matcher(segment.toString());
            MatchResult currentResult = getMatchResult(matcher, !backwards);
            if (currentResult != null) {
                updateStateAfterFound(currentResult, start);
            } else {
                updateStateAfterNotFound();
View Full Code Here
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
            // JW: logic still needs cleanup...
            if (pattern.pattern().equals(lastRegEx)) {
                return false;
            }
            int length = getDocument().getLength() - start;
            Segment segment = new Segment();

            try {
                getDocument().getText(start, length, segment);
            } catch (BadLocationException ex) {
                LOG.log(Level.FINE,
                        "this should not happen (calculated the valid start/length) " , ex);
            }
            Matcher matcher = pattern.matcher(segment.toString());
            MatchResult currentResult = getMatchResult(matcher, true);
            if (currentResult != null) {
                // JW: how to compare match results reliably?
                // the group().equals probably isn't the best idea...
                // better check pattern?
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
    setDoubleBuffered(true);
    setOpaque(true);

    ToolTipManager.sharedInstance().registerComponent(this);

    currentLine = new Segment();
    currentLineIndex = -1;

    setCursor(Cursor.getPredefinedCursor(Cursor.TEXT_CURSOR));

    setFont(new Font("Monospaced",Font.PLAIN,14));
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
    // Initialize some misc. stuff
    painter = new TextAreaPainter(this,defaults);
    documentHandler = new DocumentHandler();
    listenerList = new EventListenerList();
    caretEvent = new MutableCaretEvent();
    lineSegment = new Segment();
    bracketLine = bracketPosition = -1;
    blink = true;

    // Initialize the GUI
    setLayout(new ScrollLayout());
View Full Code Here
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
        end = start;
        start = tmp;
      }

      StringBuffer buf = new StringBuffer();
      Segment seg = new Segment();

      for(int i = selectionStartLine; i <= selectionEndLine; i++)
      {
        Element lineElement = map.getElement(i);
        int lineStart = lineElement.getStartOffset();
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
  public void tokenizeLines(int start, int len)
  {
    if(tokenMarker == null || !tokenMarker.supportsMultilineTokens())
      return;

    Segment lineSegment = new Segment();
    Element map = getDefaultRootElement();

    len += start;

    try
View Full Code Here
65
66
67
68
69
70
71
   */
  public DocumentReader(Document document) {
    position = 0;
    mark = -1;
    this.document = document;
    this.segment = new Segment();
  }
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
    if (offset<0 || offset>=tc.getDocument().getLength()) {
      lastCompletionsAtText = null;
      return lastParameterizedCompletionsAt = null;
    }

    Segment s = new Segment();
    Document doc = tc.getDocument();
    Element root = doc.getDefaultRootElement();
    int line = root.getElementIndex(offset);
    Element elem = root.getElement(line);
    int start = elem.getStartOffset();
View Full Code Here
204
205
206
207
208
209
210
211
212
213
214
    if (paramListStart==0) {
      return list; // null
    }

    int dot = tc.getCaretPosition();
    Segment s = new Segment();
    Document doc = tc.getDocument();
    Element root = doc.getDefaultRootElement();
    int line = root.getElementIndex(dot);
    Element elem = root.getElement(line);
    int offs = elem.getStartOffset();
View Full Code Here
261
262
263
264
265
266
267
  /**
   * Initializes this completion provider.
   */
  protected void init() {
    completions = new ArrayList();
    seg = new Segment();
  }
View Full Code Here
TOP

Related Classes of javax.swing.text.Segment

  • br.com.gmartins.simbler.jedit.TextAreaPainter
  • com.GestDB.swing.gestEditor
  • com.sun.swingset3.codeview.SnippetParser
  • com.swabunga.spell.event.DocumentWordTokenizer
  • com.swabunga.spell.swing.autospell.AutoSpellCheckHandler
  • eas.miscellaneous.jedit.JEditTextArea
  • eas.miscellaneous.jedit.SyntaxDocument
  • eas.miscellaneous.jedit.TextAreaPainter
  • edu.umd.cs.findbugs.sourceViewer.DocumentCharacterIterator
  • gnu.testlet.javax.swing.text.DefaultStyledDocument.ElementBuffer.ElementStructure3
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.