00001
00025 package org.objectweb.jonas_lib.genbase.generator;
00026
00027 import java.io.File;
00028 import java.util.Vector;
00029
00030 import org.objectweb.common.Env;
00031
00032 import org.objectweb.jonas.server.JClassLoader;
00033
00034
00038 public class Config {
00039
00041 public static final int PACKED = 0;
00042
00044 public static final int UNPACKED = 1;
00045
00047 private String nameJava = "java";
00048
00050 private String nameJavac = "javac";
00051
00055 private String nameRmic = "rmic";
00056
00058 private Vector javacOpts = new Vector();
00059
00061 private String javaHomeBin = null;
00062
00064 private boolean noConfig = false;
00065
00067 private boolean verbose = false;
00068
00070 private boolean debug = false;
00071
00073 private String classpath = ".";
00074
00076 private File out = new File(".");
00077
00079 private boolean keepGenerated = false;
00080
00082 private boolean parseWithValidation = true;
00083
00085 private boolean error = false;
00086
00088 private String inputname;
00089
00091 private boolean help = false;
00092
00094 private int saveMode = PACKED;
00095
00099 private boolean dtdsAllowed = false;
00100
00105 public Config() {
00106
00107 setJavaHomeBin(System.getProperty("java.home", ""));
00108
00109 if (!("".equals(getJavaHomeBin()))) {
00110 if (Env.isOsMacOsX()) {
00111 setJavaHomeBin(getJavaHomeBin() + File.separator + "bin" + File.separator);
00112 } else {
00113
00114 setJavaHomeBin(getJavaHomeBin() + File.separator + ".." + File.separator + "bin" + File.separator);
00115 }
00116 }
00117
00118
00119 JClassLoader ucl = (JClassLoader) (Thread.currentThread().getContextClassLoader());
00120 setClasspath(ucl.getClassPath());
00121 }
00122
00126 public void setNameJavac(String nameJavac) {
00127 this.nameJavac = nameJavac;
00128 }
00129
00133 public String getNameJavac() {
00134 return nameJavac;
00135 }
00136
00140 public void setJavacOpts(Vector javacOpts) {
00141 this.javacOpts = javacOpts;
00142 }
00143
00147 public Vector getJavacOpts() {
00148 return javacOpts;
00149 }
00150
00154 public void setJavaHomeBin(String javaHomeBin) {
00155 this.javaHomeBin = javaHomeBin;
00156 }
00157
00161 public String getJavaHomeBin() {
00162 return javaHomeBin;
00163 }
00164
00168 public void setNoConfig(boolean noConfig) {
00169 this.noConfig = noConfig;
00170 }
00171
00175 public boolean isNoConfig() {
00176 return noConfig;
00177 }
00178
00182 public void setVerbose(boolean verbose) {
00183 this.verbose = verbose;
00184 }
00185
00189 public boolean isVerbose() {
00190 return verbose;
00191 }
00192
00196 public void setDebug(boolean debug) {
00197 this.debug = debug;
00198 }
00199
00203 public boolean isDebug() {
00204 return debug;
00205 }
00206
00210 public void setClasspath(String classpath) {
00211 this.classpath = classpath;
00212 }
00213
00217 public String getClasspath() {
00218 return classpath;
00219 }
00220
00224 public void setOut(File out) {
00225 this.out = out;
00226 }
00227
00231 public File getOut() {
00232 return out;
00233 }
00234
00238 public void setKeepGenerated(boolean keepGenerated) {
00239 this.keepGenerated = keepGenerated;
00240 }
00241
00245 public boolean isKeepGenerated() {
00246 return keepGenerated;
00247 }
00248
00252 public void setParseWithValidation(boolean parseWithValidation) {
00253 this.parseWithValidation = parseWithValidation;
00254 }
00255
00259 public boolean isParseWithValidation() {
00260 return parseWithValidation;
00261 }
00262
00266 public void setError(boolean error) {
00267 this.error = error;
00268 }
00269
00273 public boolean isError() {
00274 return error;
00275 }
00276
00280 public void setInputname(String inputname) {
00281 this.inputname = inputname;
00282 }
00283
00287 public String getInputname() {
00288 return inputname;
00289 }
00290
00294 public void setHelp(boolean help) {
00295 this.help = help;
00296 }
00297
00301 public boolean isHelp() {
00302 return help;
00303 }
00304
00308 public void setSavePacked() {
00309 this.saveMode = PACKED;
00310 }
00311
00315 public void setSaveUnpacked() {
00316 this.saveMode = UNPACKED;
00317 }
00318
00322 public int getSaveMode() {
00323 return saveMode;
00324 }
00328 public String getNameRmic() {
00329 return nameRmic;
00330 }
00334 public void setNameRmic(String nameRmic) {
00335 this.nameRmic = nameRmic;
00336 }
00340 public String getNameJava() {
00341 return nameJava;
00342 }
00346 public boolean isDTDsAllowed() {
00347 return dtdsAllowed;
00348 }
00349
00354 public void setDTDsAllowed(boolean dTDsAllowed) {
00355 this.dtdsAllowed = dTDsAllowed;
00356 }
00357 }