KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > sleepycat > je > VerifyConfig


1 /*-
2  * See the file LICENSE for redistribution information.
3  *
4  * Copyright (c) 2002,2006 Oracle. All rights reserved.
5  *
6  * $Id: VerifyConfig.java,v 1.11 2006/11/20 15:46:58 cwl Exp $
7  */

8
9 package com.sleepycat.je;
10
11 import java.io.PrintStream JavaDoc;
12
13 /**
14  * Javadoc for this public class is generated
15  * via the doc templates in the doc_src directory.
16  */

17 public class VerifyConfig {
18     /*
19      * For internal use, to allow null as a valid value for
20      * the config parameter.
21      */

22     public static final VerifyConfig DEFAULT = new VerifyConfig();
23
24     private boolean propagateExceptions = false;
25     private boolean aggressive = false;
26     private boolean printInfo = false;
27     private PrintStream JavaDoc showProgressStream = null;
28     private int showProgressInterval = 0;
29
30     /**
31      * Javadoc for this public method is generated via
32      * the doc templates in the doc_src directory.
33      */

34     public VerifyConfig() {
35     }
36
37     /**
38      * Javadoc for this public method is generated via
39      * the doc templates in the doc_src directory.
40      */

41     public void setPropagateExceptions(boolean propagate) {
42         propagateExceptions = propagate;
43     }
44
45     /**
46      * Javadoc for this public method is generated via
47      * the doc templates in the doc_src directory.
48      */

49     public boolean getPropagateExceptions() {
50         return propagateExceptions;
51     }
52
53     /**
54      * Javadoc for this public method is generated via
55      * the doc templates in the doc_src directory.
56      */

57     public void setAggressive(boolean aggressive) {
58         this.aggressive = aggressive;
59     }
60
61     /**
62      * Javadoc for this public method is generated via
63      * the doc templates in the doc_src directory.
64      */

65     public boolean getAggressive() {
66         return aggressive;
67     }
68
69     /**
70      * Javadoc for this public method is generated via
71      * the doc templates in the doc_src directory.
72      */

73     public void setPrintInfo(boolean printInfo) {
74         this.printInfo = printInfo;
75     }
76
77     /**
78      * Javadoc for this public method is generated via
79      * the doc templates in the doc_src directory.
80      */

81     public boolean getPrintInfo() {
82         return printInfo;
83     }
84
85     /**
86      * Javadoc for this public method is generated via
87      * the doc templates in the doc_src directory.
88      */

89     public void setShowProgressStream(PrintStream JavaDoc showProgressStream) {
90         this.showProgressStream = showProgressStream;
91     }
92
93     /**
94      * Javadoc for this public method is generated via
95      * the doc templates in the doc_src directory.
96      */

97     public PrintStream JavaDoc getShowProgressStream() {
98         return showProgressStream;
99     }
100
101     /**
102      * Javadoc for this public method is generated via
103      * the doc templates in the doc_src directory.
104      */

105     public void setShowProgressInterval(int showProgressInterval) {
106         this.showProgressInterval = showProgressInterval;
107     }
108
109     /**
110      * Javadoc for this public method is generated via
111      * the doc templates in the doc_src directory.
112      */

113     public int getShowProgressInterval() {
114         return showProgressInterval;
115     }
116
117     /**
118      * Returns the values for each configuration attribute.
119      * @return the values for each configuration attribute.
120      */

121     public String JavaDoc toString() {
122         StringBuffer JavaDoc sb = new StringBuffer JavaDoc();
123         sb.append("propagateExceptions=").append(propagateExceptions);
124         return sb.toString();
125     }
126 }
127
Popular Tags