1 package org.paneris.bibliomania.pagination.test;
2
3 import junit.framework.TestCase;
4
5 public class PaginationTest extends TestCase {
6
7 public final void testPagination() {
8
9 }
10
11 public final void testDefaultTexHeader() {
12
13 }
14
15 public final void testNewDocumentParser() {
16
17 }
18
19 public final void testTexToDVI() {
20
21 }
22
23 public final void testIsTempFile() {
24
25 }
26
27 public final void testPaginate() {
28
29 }
30
31 public final void testFlush() {
32
33 }
34
35 public final void testClose() {
36
37 }
38
39 public final void testMain() {
40
41 }
42
43 }