File: testReplaceText.java

package info (click to toggle)
mauve 20120103-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 28,504 kB
  • sloc: java: 250,155; sh: 2,834; xml: 208; makefile: 66
file content (60 lines) | stat: -rw-r--r-- 1,772 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
/* testReplaceText.java  
 Copyright (C) 2006 Tania Bento <tbento@redhat.com>
 This file is part of Mauve.

 Mauve is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 2, or (at your option)
 any later version.

 Mauve 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
 General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with Mauve; see the file COPYING.  If not, write to the
 Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 02110-1301 USA.

 */

// Tags: 1.4


package gnu.testlet.java.awt.TextArea;

import java.awt.TextArea;

import gnu.testlet.TestHarness;
import gnu.testlet.Testlet;

public class testReplaceText implements Testlet
{

  public void test(TestHarness harness)
  {
    TextArea a = new TextArea("Goodbye World");
    
    // Replace at the beginning of text.
    harness.check(a.getPeer(), null);
    a.replaceText("Hello", 0, 7);
    harness.check(a.getText(), "Hello World");
    
    // Replace in the middle of text.
    harness.check(a.getPeer(), null);
    a.replaceText(" There", 5, 5);
    harness.check(a.getText(), "Hello There World");
    
    // Replace in the middle of text.
    harness.check(a.getPeer(), null);
    a.replaceText("", 6, 12);
    harness.check(a.getText(), "Hello World");
    
    // Replace at the end of text.
    harness.check(a.getPeer(), null);
    a.replaceText("!", a.getText().length(), a.getText().length());
    harness.check(a.getText(), "Hello World!");
  }

}