@Override
public SearchConfiguration merge(SearchConfiguration other) {
if (other == null) {
return this;
}
// set the documentRef to the other UITypesConfiguration to continue
// merging, if needed
docRef = other.getDocumentRef();
if (allowedContentViews.isEmpty() && !other.getAllowedContentViewNames().isEmpty()) {
this.allowedContentViews = Collections.unmodifiableList(other.getAllowedContentViewNames());
canMerge = false;
}
return this;
}
public Configuration(long seed) throws IOException {
this.seed = seed;
searchConfiguration = new SearchConfiguration(seed);
cyclonConfiguration =
new CyclonConfiguration(
seed, 5, 10, 1000, 500000, (long) (Integer.MAX_VALUE - Integer.MIN_VALUE), 20);
String c = File.createTempFile("bootstrap.", ".conf").getAbsolutePath();
bootConfiguration.store(c);
System.setProperty("bootstrap.configuration", c);
c = File.createTempFile("cyclon.", ".conf").getAbsolutePath();
cyclonConfiguration.store(c);
System.setProperty("cyclon.configuration", c);
c = File.createTempFile("search.", ".conf").getAbsolutePath();
searchConfiguration.store(c);
System.setProperty("search.configuration", c);
}
public static SearchConfiguration getDefaultConfig() {
SearchConfiguration conf = new SearchConfiguration();
conf.aBoxInBG = true;
conf.tBoxInBG = false;
conf.searchType = SearchConfiguration.SearchType.UNIFORM_COST;
conf.treeType = SearchConfiguration.TreeType.REITER;
conf.numOfLeadingDiags = 9;
conf.qss = SearchConfiguration.QSS.MINSCORE;
conf.reduceIncoherency = false;
conf.minimizeQuery = true;
conf.calcAllDiags = false;
conf.inclEntSubClass = true;
conf.incEntClassAssert = true;
conf.incEntEquivClass = false;
conf.incEntDisjClasses = false;
conf.incEntPropAssert = false;
conf.incOntolAxioms = false;
conf.incAxiomsRefThing = false;
conf.entailmentCalThres = 0.01;
return conf;
}
public static SearchConfiguration readConfiguration() {
String userHome = System.getProperty("user.home");
if (userHome == null) throw new IllegalStateException("user home directory is null");
File confFile = new File(new File(userHome), "querydebugger.properties");
Properties properties = new Properties();
SearchConfiguration c = new SearchConfiguration();
if (!confFile.exists()) {
writeConfiguration(getDefaultConfig());
return getDefaultConfig();
}
try {
properties.load(new FileInputStream(confFile));
} catch (IOException e) {
e
.printStackTrace(); // To change body of catch statement use File | Settings | File
// Templates.
}
c.aBoxInBG = Boolean.parseBoolean((String) properties.get("aBoxInBG"));
c.tBoxInBG = Boolean.parseBoolean((String) properties.get("tBoxInBG"));
c.numOfLeadingDiags = Integer.parseInt((String) properties.get("numOfLeadingDiags"));
c.searchType = parseSearchType((String) properties.get("searchType"));
c.treeType = parseTreeType((String) properties.get("treeType"));
c.qss = parseQSS((String) properties.get("qss"));
c.reduceIncoherency = Boolean.parseBoolean((String) properties.get("reduceIncoherency"));
c.minimizeQuery = Boolean.parseBoolean((String) properties.get("minimizeQuery"));
c.calcAllDiags = Boolean.parseBoolean((String) properties.get("calcAllDiags"));
c.inclEntSubClass = Boolean.parseBoolean((String) properties.get("inclEntSubClass"));
c.incEntClassAssert = Boolean.parseBoolean((String) properties.get("incEntClassAssert"));
c.incEntEquivClass = Boolean.parseBoolean((String) properties.get("incEntEquivClass"));
c.incEntDisjClasses = Boolean.parseBoolean((String) properties.get("incEntDisjClasses"));
c.incEntPropAssert = Boolean.parseBoolean((String) properties.get("incEntPropAssert"));
c.incOntolAxioms = Boolean.parseBoolean((String) properties.get("incOntolAxioms"));
c.incAxiomsRefThing = Boolean.parseBoolean((String) properties.get("incAxiomsRefThing"));
c.entailmentCalThres = Double.parseDouble((String) properties.get("entailmentCalThres"));
try {
properties.store(new FileOutputStream(confFile), null);
} catch (IOException e) {
e
.printStackTrace(); // To change body of catch statement use File | Settings | File
// Templates.
}
return c;
}
