File: mark.java

package info (click to toggle)
mauve 20161030-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, stretch
  • size: 44,628 kB
  • ctags: 35,425
  • sloc: java: 336,555; sh: 2,834; xml: 208; makefile: 72
file content (70 lines) | stat: -rw-r--r-- 2,110 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
61
62
63
64
65
66
67
68
69
70
/*************************************************************************
/* mark.java -- Tests LineNumberReader.mark() and reset().
/*
/* Copyright (c) 2003 Free Software Foundation, Inc.
/* Written by Mark Wielaard (mark@klomp.org)
/*
/* This program 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 of the License, or
/* (at your option) any later version.
/*
/* This program 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 this program; if not, write to the Free Software Foundation
/* Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307 USA
/*************************************************************************/

// Tags: JDK1.1

package gnu.testlet.java.io.LineNumberReader;

import gnu.testlet.Testlet;
import gnu.testlet.TestHarness;
import java.io.*;

public class mark implements Testlet
{
  public void test(TestHarness harness)
  {
    String s = "1234567890abcdef";
    for (int nr = 0; nr <= 16; nr++)
      for (int limit = 1; limit < 16 - nr; limit++)
	{
	  String test = "nr: " + nr + " limit: " + limit;
	  try
	    {
	      StringReader sr = new StringReader(s);
	      LineNumberReader lnr = new LineNumberReader(sr, 2);
	      
	      // Read some nr of chars.
	      for (int i = 0; i < nr; i++)
		lnr.read();
	      
	      // Set limit and read char we want to return to.
	      lnr.mark(limit);
	      int j = lnr.read();

	      // Gobble up some more chars till the limit
	      for (int i = 0; i < limit - 1; i++)
		lnr.read();
	      
	      // Reset and reread char
	      lnr.reset();
	      int k = lnr.read();
	      
	      harness.check(j, k, test);
	    }
	  catch(IOException e)
	    {
	      harness.debug(e);
	      harness.check(false, test);
	    }
	}
  }
}