private String ReadWholeFileToString(String filename) {
File file = new File(filename);
StringBuffer contents = new StringBuffer();
BufferedReader reader = null;
try {
reader = new BufferedReader(new FileReader(file));
String text = null;
// repeat until all lines is read
while ((text = reader.readLine()) != null) {
contents.append(text).append(System.getProperty("line.separator"));
}
} catch (FileNotFoundException e) {
e.printStackTrace();
} catch (IOException e) {
e.printStackTrace();
} finally {
try {
if (reader != null) {
reader.close();
}
} catch (IOException e) {
e.printStackTrace();
}
}
// show file contents here
return contents.toString();
}
public void getSavedLocations() {
// System.out.println("inside getSavedLocations"); //CONSOLE * * * * * * * * * * * * *
loc.clear(); // clear locations. helps refresh the list when reprinting all the locations
BufferedWriter f = null; // just in case file has not been created yet
BufferedReader br = null;
try {
// attempt to open the locations file if it doesn't exist, create it
f =
new BufferedWriter(
new FileWriter("savedLocations.txt", true)); // evaluated true if file does not exist
br = new BufferedReader(new FileReader("savedLocations.txt"));
String line; // each line is one index of the list
loc.add("Saved Locations");
// loop and read a line from the file as long as we don't get null
while ((line = br.readLine()) != null)
// add the read word to the wordList
loc.add(line);
} catch (IOException e) {
e.printStackTrace();
} finally {
try {
// attempt the close the file
br.close(); // close bufferedwriter
} catch (IOException ex) {
ex.printStackTrace();
}
}
}
/** 根据模版及参数产生静态页面 */
public boolean createHtmlPage(String url, String htmlFileName) {
boolean status = false;
int statusCode = 0;
try {
// 创建一个HttpClient实例充当模拟浏览器
httpClient = new HttpClient();
// 设置httpclient读取内容时使用的字符集
httpClient.getParams().setParameter(HttpMethodParams.HTTP_CONTENT_CHARSET, "gbk");
// 创建GET方法的实例
getMethod = new GetMethod(url);
// 使用系统提供的默认的恢复策略，在发生异常时候将自动重试3次
getMethod
.getParams()
.setParameter(HttpMethodParams.RETRY_HANDLER, new DefaultHttpMethodRetryHandler());
// 设置Get方法提交参数时使用的字符集,以支持中文参数的正常传递
getMethod.addRequestHeader("Content-Type", "text/html;charset=gbk");
// 执行Get方法并取得返回状态码，200表示正常，其它代码为异常
statusCode = httpClient.executeMethod(getMethod);
if (statusCode != 200) {
logger.fatal("静态页面引擎在解析" + url + "产生静态页面" + htmlFileName + "时出错!");
} else {
// 读取解析结果
sb = new StringBuffer();
in = getMethod.getResponseBodyAsStream();
br = new BufferedReader(new InputStreamReader(in));
while ((line = br.readLine()) != null) {
sb.append(line + "\n");
}
if (br != null) br.close();
page = sb.toString();
// 将页面中的相对路径替换成绝对路径，以确保页面资源正常访问
page = formatPage(page);
// 将解析结果写入指定的静态HTML文件中，实现静态HTML生成
writeHtml(htmlFileName, page);
status = true;
}
} catch (Exception ex) {
logger.fatal("静态页面引擎在解析" + url + "产生静态页面" + htmlFileName + "时出错:" + ex.getMessage());
} finally {
// 释放http连接
getMethod.releaseConnection();
}
return status;
}
public void init() throws ServletException {
final String CONFIG_PATH = getServletContext().getRealPath("/") + "config.ini";
final String APPLICATION_NAME = getServletContext().getServletContextName();
BasicConfigurator.configure();
FileInputStream config_file = null;
File config = new File(CONFIG_PATH);
if (config.canRead()) {
log.debug("Parsing " + CONFIG_PATH);
try {
config_file = new FileInputStream(CONFIG_PATH);
} catch (java.io.FileNotFoundException e) {
throw new ServletException(e);
}
Properties config_prop = new Properties();
try {
config_prop.load(config_file);
} catch (java.io.IOException e) {
throw new ServletException(e);
}
this.config = config_prop;
log.debug("Parsing finished");
} else {
log.fatal("Error, cannot read " + CONFIG_PATH);
}
log.debug("maximumRecords : " + this.config.getProperty("default_maximumRecords"));
log.debug("srw_header_file: " + this.config.getProperty("srw_header_file"));
log.debug("srw_diag: " + this.config.getProperty("srw_diag_file"));
// log.debug("server_list: " + this.config.getProperty("server_list"));
try {
FileReader fis =
new FileReader(
getServletContext().getRealPath("/") + this.config.getProperty("srw_header_file"));
BufferedReader in1 = new BufferedReader(fis);
fis =
new FileReader(
getServletContext().getRealPath("/") + this.config.getProperty("srw_footer_file"));
BufferedReader in2 = new BufferedReader(fis);
fis =
new FileReader(
getServletContext().getRealPath("/") + this.config.getProperty("srw_diag_file"));
BufferedReader in3 = new BufferedReader(fis);
try {
String line = null;
while ((line = in1.readLine()) != null) {
this.SRW_HEADER = this.SRW_HEADER + line;
}
while ((line = in2.readLine()) != null) {
this.SRW_FOOTER = this.SRW_FOOTER + line;
}
while ((line = in3.readLine()) != null) {
this.SRW_DIAG = this.SRW_DIAG + line;
}
} finally {
in1.close();
in2.close();
in3.close();
}
} catch (IOException ex) {
ex.printStackTrace();
}
}
public void doPost(HttpServletRequest request, HttpServletResponse response)
throws ServletException, IOException {
try {
address = PAConfiguration.getAddress();
port = PAConfiguration.getPort(instantiation);
poslAddress = PAConfiguration.getPOSL(instantiation, topic);
rdfAddress = PAConfiguration.getRDFTaxonomy(instantiation);
messageEndpoint = PAConfiguration.getEndpointName(instantiation, topic);
} catch (BadConfigurationException e) {
System.out.println(e.getMessage());
e.printStackTrace();
System.exit(0);
}
response.setContentType("text/html; charset=UTF-8");
PrintWriter out = response.getWriter();
try {
System.out.println("5 Publicty Chair Servlet");
System.out.println(response.toString());
BufferedReader brd = request.getReader();
String input = "";
String message = "";
while (!input.equals("</RuleML>")) {
input = brd.readLine();
message = message + input;
}
String[] varOrder = getVariableOrder(message);
System.out.println("Received Message: " + message);
// BackwardReasoner br = new BackwardReasoner();
// Iterator solit =null;
// DefiniteClause dc = null;
// SymbolTable.reset();
POSLParser pp = new POSLParser();
// String contents = "c(a).\nc(b).\nc(c).";
Date t1 = new GregorianCalendar().getTime();
System.out.println(t1.getHours() + ":" + t1.getMinutes());
// append time to contents
System.out.println("day: " + t1.getDay());
System.out.println("day: " + t1.getYear());
System.out.println("day: " + t1.getMonth());
// time
String time = "time(" + t1.getHours() + ":integer).";
System.out.println(time);
String url = poslAddress;
// String url = "http://www.jdrew.org/oojdrew/test.posl";
String contents = "";
// day of the week
int day = t1.getDay();
boolean weekday = true;
if (day == 0 || day == 6) {
weekday = false;
}
String dayOfWeek;
if (weekday) {
dayOfWeek = "day(weekday).";
} else {
dayOfWeek = "day(weekend).";
}
// full date
Calendar cal = new GregorianCalendar();
int year = cal.get(Calendar.YEAR);
int month = cal.get(Calendar.MONTH) + 1;
int day2 = cal.get(Calendar.DAY_OF_MONTH);
String date;
String day3 = "" + day2;
if (day2 == 1 || day2 == 2 || day2 == 3 || day2 == 4 || day2 == 5 || day2 == 6 || day2 == 7
|| day2 == 8 || day2 == 9) {
day3 = "0" + day2;
}
if (month == 10 || month == 11 || month == 12) date = "" + year + month + day3;
else date = "" + year + "0" + month + day3;
date = "date(" + date + ":integer).";
System.out.println(date);
String url2 = rdfAddress;
HttpClient client2 = new HttpClient();
GetMethod method2 = new GetMethod(url2);
method2.setFollowRedirects(true);
String typestr = "";
// Execute the GET method
int statusCode2 = client2.executeMethod(method2);
if (statusCode2 != -1) {
typestr = method2.getResponseBodyAsString();
}
System.out.println("Types: " + typestr);
Types.reset();
RDFSParser.parseRDFSString(typestr);
try {
HttpClient client = new HttpClient();
GetMethod method = new GetMethod(url);
method.setFollowRedirects(true);
// Execute the GET method
int statusCode = client.executeMethod(method);
if (statusCode != -1) {
contents = method.getResponseBodyAsString();
}
} catch (Exception e) {
e.printStackTrace();
}
contents = contents + "\n" + time;
contents = contents + "\n" + dayOfWeek;
contents = contents + "\n" + date;
BackwardReasoner br = new BackwardReasoner();
Iterator solit = null;
DefiniteClause dc = null;
SymbolTable.reset();
pp.parseDefiniteClauses(contents);
br.loadClauses(pp.iterator());
System.out.println("TEST");
Iterator it = pp.iterator();
while (it.hasNext()) {
DefiniteClause d = (DefiniteClause) it.next();
System.out.println("Loaded clause: " + d.toPOSLString());
}
br = new BackwardReasoner(br.clauses, br.oids);
MessageParser m = new MessageParser(message);
Element atom = null;
try {
atom = m.parseForContent();
} catch (Exception e) {
System.out.println("Invalid Message");
// out.flush();
}
QueryBuilder q = new QueryBuilder(atom);
String query = q.generateDoc();
System.out.println("ABOUT TO INPUT THIS QUERY:" + query);
RuleMLParser qp = new RuleMLParser();
try {
dc = qp.parseRuleMLQuery(query);
} catch (Exception e) {
System.out.println("Invalid Query");
// out.flush();
}
// solit = br.iterativeDepthFirstSolutionIterator(dc);
solit = br.iterativeDepthFirstSolutionIterator(dc);
int varSize = 0;
while (solit.hasNext()) {
Vector data = new Vector();
BackwardReasoner.GoalList gl = (BackwardReasoner.GoalList) solit.next();
Hashtable varbind = gl.varBindings;
javax.swing.tree.DefaultMutableTreeNode root = br.toTree();
root.setAllowsChildren(true);
javax.swing.tree.DefaultTreeModel dtm = new DefaultTreeModel(root);
int i = 0;
Object[][] rowdata = new Object[varbind.size()][2];
varSize = varbind.size();
Enumeration e = varbind.keys();
while (e.hasMoreElements()) {
Object k = e.nextElement();
Object val = varbind.get(k);
String ks = (String) k;
rowdata[i][0] = ks;
rowdata[i][1] = val;
i++;
}
data.addElement(rowdata);
String[] messages = new String[data.size()];
MessageGenerator g =
new MessageGenerator(
data, varSize, messageEndpoint, m.getId(), m.getProtocol(), m.getRel(), varOrder);
messages = g.Messages2();
String appender = "";
URL sender = new URL(address + ":" + port);
HttpMessage msg = new HttpMessage(sender);
Properties props = new Properties();
for (int i1 = 0; i1 < data.size(); i1++) {
System.out.println(i1 + ")" + messages[i1].toString());
props.put("text", messages[i1].toString());
InputStream in = msg.sendGetMessage(props);
}
System.out.println("NEXT MESSAGE");
}
MessageGenerator g =
new MessageGenerator(
null, varSize, messageEndpoint, m.getId(), m.getProtocol(), m.getRel());
URL sender = new URL(address + ":" + port);
HttpMessage msg = new HttpMessage(sender);
Properties props = new Properties();
String finalMessage = g.finalMessage(query);
System.out.println(finalMessage);
props.put("text", finalMessage);
InputStream in = msg.sendGetMessage(props);
System.out.println("Stop_Communication");
} catch (Exception e) {
System.out.println("ERROR has occured : " + e.toString());
}
out.close();
}