📄 agentinfo.java
字号:
/*
* The contents of this file are subject to the BT "ZEUS" Open Source
* Licence (L77741), Version 1.0 (the "Licence"); you may not use this file
* except in compliance with the Licence. You may obtain a copy of the Licence
* from $ZEUS_INSTALL/licence.html or alternatively from
* http://www.labs.bt.com/projects/agents/zeus/licence.htm
*
* Except as stated in Clause 7 of the Licence, software distributed under the
* Licence is distributed WITHOUT WARRANTY OF ANY KIND, either express or
* implied. See the Licence for the specific language governing rights and
* limitations under the Licence.
*
* The Original Code is within the package zeus.*.
* The Initial Developer of the Original Code is British Telecommunications
* public limited company, whose registered office is at 81 Newgate Street,
* London, EC1A 7AJ, England. Portions created by British Telecommunications
* public limited company are Copyright 1996-9. All Rights Reserved.
*
* THIS NOTICE MUST BE INCLUDED ON ANY COPY OF THIS FILE
*/
package zeus.generator.code;
import zeus.util.*;
public class AgentInfo extends GenerationInfo {
public boolean generate = true;
public String status = GenerationPlan.SAVE_NEEDED;
public String database = null;
public boolean has_gui = false;
public String zeus_external = null;
public String icon_file = null;
public String dns_file = NameserverInfo.DEFAULT_DNS;
public String ontology_file = null;
public AgentInfo(String id, String name, String file) {
super(id);
this.name = name;
ontology_file = file;
}
public String[] summarize() {
String[] out = new String[4];
out[NAME] = name;
out[TYPE] = AGENT;
out[ID] = id;
out[COMMAND] = name +
" -o " + ontology_file + " -s " + dns_file;
if ( has_gui )
out[COMMAND] += " -gui zeus.agentviewer.AgentViewer";
if ( zeus_external != null )
out[COMMAND] += " -e " + zeus_external;
if ( database != null )
out[COMMAND] += " -r " + database;
return out;
}
public String isValid() {
String error = null;
if ( dns_file == null )
error = "Agent " + name + ": domain nameserver file not specified\n";
return error;
}
public String toString() {
String s = "";
s += "(:id " + id;
s += " :generate " + generate;
s += " :status " + status;
s += " :has_gui " + has_gui;
if ( host != null && !host.equals(LOCALHOST) )
s += " :host \"" + Misc.escape(host) + "\"";
if ( database != null )
s += " :database \"" + Misc.escape(database) + "\"";
if ( zeus_external != null )
s += " :zeus_external \"" + Misc.escape(zeus_external) + "\"";
if ( dns_file != null )
s += " :dns_file \"" + Misc.escape(dns_file) + "\"";
s += ")";
return s;
}
public String pprint(int sp) {
String tabs = Misc.spaces(sp);
String eol = "\n" + tabs;
String s = tabs;
s += "(:id " + id + eol;
s += " :generate " + generate + eol;
s += " :status " + status + eol;
s += " :has_gui " + has_gui + eol;
if ( host != null && !host.equals(LOCALHOST) )
s += " :host \"" + Misc.escape(host) + "\"" + eol;
if ( database != null )
s += " :database \"" + Misc.escape(database) + "\"" + eol;
if ( zeus_external != null )
s += " :zeus_external \"" + Misc.escape(zeus_external) + "\"" + eol;
if ( dns_file != null )
s += " :dns_file \"" + Misc.escape(dns_file) + "\"" + eol;
s += ")";
return s;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -