private static final class MessageFormatter {
private static final Pattern variablePattern =
Pattern.compile("(?i)\\$(\\{[a-z0-9_]{1,}\\}|[a-z0-9_]{1,})");
private static final Pattern colorPattern = Pattern.compile("(?i)&[0-9A-FK-OR]");
private final Map<String, String> variables;
public MessageFormatter() {
variables = new HashMap<String, String>();
}
public synchronized void setVariable(String variable, String value) {
if (value == null) variables.remove(value);
else variables.put(variable, value);
}
public synchronized String format(String message) {
Matcher matcher = variablePattern.matcher(message);
while (matcher.find()) {
String variable = matcher.group();
variable = variable.substring(1);
if (variable.startsWith("{") && variable.endsWith("}"))
variable = variable.substring(1, variable.length() - 1);
String value = variables.get(variable);
if (value == null) value = "";
message =
message.replaceFirst(Pattern.quote(matcher.group()), Matcher.quoteReplacement(value));
}
matcher = colorPattern.matcher(message);
while (matcher.find())
message =
message.substring(0, matcher.start()) + "\247" + message.substring(matcher.end() - 1);
return message;
}
}
@Override
public void actionPerformed(ActionEvent e) {
if (td.getTabCount() > 0) {
TextDocument ta = (TextDocument) td.getComponentAt(td.getSelectedIndex());
Pattern pn = Pattern.compile(tf1.getText());
Matcher mt = pn.matcher(ta.getText());
if (e.getSource() == jb2) { // 取代
ta.setText(mt.replaceAll(tf2.getText()));
} else if (e.getSource() == jb1) { // 尋找
Highlighter hl = ta.getHighlighter();
hl.removeAllHighlights();
while (mt.find()) {
try {
hl.addHighlight(
mt.start(), mt.end(), new DefaultHighlighter.DefaultHighlightPainter(null));
} catch (Exception ex) {
}
} // 開啟及關閉介面
} else if (e.getSource() == replace_searchMenuItem) {
System.out.println("Replace/Search is show:" + !show);
if (show) {
getContentPane().remove(jp);
show = false;
} else {
getContentPane().add(jp, BorderLayout.SOUTH);
show = true;
}
validate(); // 刷新容器
}
} else if (e.getSource() == replace_searchMenuItem) {
JOptionPane.showMessageDialog(
null, "尚無檔案，無法使用!", "Repace/Search error", JOptionPane.ERROR_MESSAGE);
}
}
private String htmlize(String msg) {
StringBuilder sb = new StringBuilder();
Pattern patMsgCat = Pattern.compile("\\[(.+?)\\].*");
msg = msg.replace("&", "&").replace("<", "<").replace(">", ">");
for (String line : msg.split(lineSep)) {
Matcher m = patMsgCat.matcher(line);
String cls = "normal";
if (m.matches()) {
cls = m.group(1);
}
line = "<span class='" + cls + "'>" + line + "</span>";
sb.append(line).append("<br>");
}
return sb.toString();
}
public void _sendString(String text) {
if (writeCommand == null) return;
/* intercept sessions -i and deliver it to a listener within armitage */
if (sessionListener != null) {
Matcher m = interact.matcher(text);
if (m.matches()) {
sessionListener.actionPerformed(new ActionEvent(this, 0, m.group(1)));
return;
}
}
Map read = null;
try {
synchronized (this) {
if (window != null && echo) {
window.append(window.getPromptText() + text);
}
}
if ("armitage.push".equals(writeCommand)) {
read = (Map) connection.execute(writeCommand, new Object[] {session, text});
} else {
connection.execute(writeCommand, new Object[] {session, text});
read = readResponse();
}
processRead(read);
fireSessionWroteEvent(text);
} catch (Exception ex) {
ex.printStackTrace();
}
}
public synchronized String format(String message) {
Matcher matcher = variablePattern.matcher(message);
while (matcher.find()) {
String variable = matcher.group();
variable = variable.substring(1);
if (variable.startsWith("{") && variable.endsWith("}"))
variable = variable.substring(1, variable.length() - 1);
String value = variables.get(variable);
if (value == null) value = "";
message =
message.replaceFirst(Pattern.quote(matcher.group()), Matcher.quoteReplacement(value));
}
matcher = colorPattern.matcher(message);
while (matcher.find())
message =
message.substring(0, matcher.start()) + "\247" + message.substring(matcher.end() - 1);
return message;
}
public DirectivesEditor(JavaScriptEditor e) {
editor = e;
if (frame == null) createFrame();
// see processing-1.2.0.js
pjsPattern =
Pattern.compile("\\/\\*\\s*@pjs\\s+((?:[^\\*]|\\*+[^\\*\\/])*)\\*\\/\\s*", Pattern.DOTALL);
}
public boolean accept(File f) {
if (f == null) {
return false;
}
if (f.isDirectory()) {
return true;
}
return pattern.matcher(f.getName()).matches();
}
public void colorationPolicyScript(String text, final StyledDocument doc) {
Pattern p = Pattern.compile("(GraphOScript)");
Matcher m = p.matcher(text);
while (m.find() == true) {
MutableAttributeSet attri = new SimpleAttributeSet();
StyleConstants.setForeground(attri, Color.orange);
StyleConstants.setBold(attri, true);
final int start = m.start(0);
final int end = m.end(0);
final int length = end - start;
final MutableAttributeSet style = attri;
SwingUtilities.invokeLater(
new Runnable() {
public void run() {
doc.setCharacterAttributes(start, length, style, true);
}
});
}
}
private static List<String> loadAccounts(String fileName) {
List<String> accounts = new ArrayList<String>();
try {
Pattern pattern = Pattern.compile("[\\w]{1,16}");
BufferedReader reader = new BufferedReader(new FileReader(new File(fileName)));
String line;
while ((line = reader.readLine()) != null) {
Matcher matcher = pattern.matcher(line);
if (!matcher.find()) continue;
String username = matcher.group();
if (!matcher.find()) continue;
String password = matcher.group();
accounts.add(username + ":" + password);
}
reader.close();
} catch (Exception exception) {
throw new RuntimeException(exception);
}
System.out.println("Loaded " + accounts.size() + " accounts.");
return accounts;
}
void findRemoveDirectives(boolean clean) {
// if ( clean ) editor.startCompoundEdit();
Sketch sketch = editor.getSketch();
for (int i = 0; i < sketch.getCodeCount(); i++) {
SketchCode code = sketch.getCode(i);
String program = code.getProgram();
StringBuffer buffer = new StringBuffer();
Matcher m = pjsPattern.matcher(program);
while (m.find()) {
String mm = m.group();
// TODO this urgently needs tests ..
/* remove framing */
mm = mm.replaceAll("^\\/\\*\\s*@pjs", "").replaceAll("\\s*\\*\\/\\s*$", "");
/* fix multiline nice formatting */
mm = mm.replaceAll("[\\s]*([^;\\s\\n\\r]+)[\\s]*,[\\s]*[\\n\\r]+", "$1,");
/* fix multiline version without semicolons */
mm = mm.replaceAll("[\\s]*([^;\\s\\n\\r]+)[\\s]*[\\n\\r]+", "$1;");
mm = mm.replaceAll("\n", " ").replaceAll("\r", " ");
// System.out.println(mm);
if (clean) {
m.appendReplacement(buffer, "");
} else {
String[] directives = mm.split(";");
for (String d : directives) {
// System.out.println(d);
parseDirective(d);
}
}
}
if (clean) {
m.appendTail(buffer);
// TODO: not working!
code.setProgram(buffer.toString());
code.setModified(true);
}
}
if (clean) {
// editor.stopCompoundEdit();
editor.setText(sketch.getCurrentCode().getProgram());
sketch.setModified(false);
sketch.setModified(true);
}
}
/**
* Handles info messages resulting from a query execution.
*
* @param msg info message
* @return true if error was found
*/
private boolean error(final String msg) {
final String line = msg.replaceAll("[\\r\\n].*", "");
Matcher m = XQERROR.matcher(line);
int el, ec = 2;
if (!m.matches()) {
m = XMLERROR.matcher(line);
if (!m.matches()) return true;
el = Integer.parseInt(m.group(1));
errFile = getEditor().file.path();
} else {
el = Integer.parseInt(m.group(1));
ec = Integer.parseInt(m.group(2));
errFile = m.group(3);
}
final EditorArea edit = find(IO.get(errFile), false);
if (edit == null) return true;
// find approximate error position
final int ll = edit.last.length;
int ep = ll;
for (int e = 1, l = 1, c = 1; e < ll; ++c, e += cl(edit.last, e)) {
if (l > el || l == el && c == ec) {
ep = e;
break;
}
if (edit.last[e] == '\n') {
++l;
c = 0;
}
}
if (ep < ll && Character.isLetterOrDigit(cp(edit.last, ep))) {
while (ep > 0 && Character.isLetterOrDigit(cp(edit.last, ep - 1))) ep--;
}
edit.error(ep);
errPos = ep;
return true;
}
public static void lookingCode() {
int procura = 0;
boolean entrou = false;
do {
procura = Entrada.leiaInt("Digite o código da carta: ");
} while (procura < 0 || procura > 32);
try {
FileReader arq = new FileReader(FileManenger.fileName);
BufferedReader lerArq = new BufferedReader(arq);
String linha = lerArq.readLine();
while (linha != null) {
// procura na string '.'
if (linha.toLowerCase().contains(".".toLowerCase())) {
// separ em um array a linha que tem o nome do personagem ex: 1.CARLOS
String columnArray[] = linha.split(Pattern.quote("."));
// testa se o codigo é o que ele procura
if (procura == Integer.parseInt(columnArray[0])) {
// achou o codigo que ele procura
entrou = true;
}
}
// testa se a linha é igual a * se for ele já não é mais o personagem que procuramos
if (linha.equals("*")) {
entrou = false;
}
// mostra as inforamações do personagem
if (entrou) {
System.out.println(linha);
}
linha = lerArq.readLine();
}
arq.close();
} catch (IOException e) {
System.err.printf("Erro na abertura do arquivo: %s.\n", e.getMessage());
}
}
@Override
@EventHandler
public void onChatReceived(ChatReceivedEvent event) {
super.onChatReceived(event);
String message = Util.stripColors(event.getMessage());
if (message.startsWith("Please register with \"/register")) {
String password = Util.generateRandomString(10 + random.nextInt(6));
bot.say("/register " + password + " " + password);
} else if (message.contains("You are not member of any faction.")
&& spamMessage != null
&& createFaction) {
String msg = "/f create " + Util.generateRandomString(7 + random.nextInt(4));
bot.say(msg);
}
for (String s : captchaList) {
Matcher captchaMatcher = Pattern.compile(s).matcher(message);
if (captchaMatcher.matches()) bot.say(captchaMatcher.group(1));
}
}
protected void getDimensionsFromLogFile(BufferedReader reader, PicText text) {
if (reader == null) {
return;
}
String line = ""; // il rale si j'initialise pas ...
boolean finished = false;
while (!finished) {
try {
line = reader.readLine();
} catch (IOException ioex) {
ioex.printStackTrace();
return;
}
if (line == null) {
System.out.println("Size of text not found in log file...");
return;
}
System.out.println(line);
Matcher matcher = LogFilePattern.matcher(line);
if (line != null && matcher.find()) {
System.out.println("FOUND :" + line);
finished = true;
try {
text.setDimensions(
0.3515 * Double.parseDouble(matcher.group(1)), // height, pt->mm (1pt=0.3515 mm)
0.3515 * Double.parseDouble(matcher.group(2)), // width
0.3515 * Double.parseDouble(matcher.group(3))); // depth
areDimensionsComputed = true;
} catch (NumberFormatException e) {
System.out.println("Logfile number format problem: $line" + e.getMessage());
} catch (IndexOutOfBoundsException e) {
System.out.println("Logfile regexp problem: $line" + e.getMessage());
}
}
}
return;
}
@EventHandler
public void onPacketProcess(PacketProcessEvent event) {
// System.out.println("Packet received: " + event.getPacket().getId()
// + " (" + event.getPacket() + ")");
Packet packet = event.getPacket();
switch (packet.getId()) {
case 0:
connectionHandler.sendPacket(new Packet0KeepAlive(new Random().nextInt()));
break;
case 3:
String message = ((Packet3Chat) packet).message;
message = removeColors(message);
System.out.println("[" + bot.getSession().getUsername() + "] " + message);
String testMessage = "[MineCaptcha] To be unmuted answer this question: What is ";
String testMessage2 = "Please type '";
String testMessage3 = "' to continue sending messages/commands";
if (message.contains(testMessage)) {
try {
String captcha = message.split(Pattern.quote(testMessage))[1].split("[ \\?]")[0];
ScriptEngineManager mgr = new ScriptEngineManager();
ScriptEngine engine = mgr.getEngineByName("JavaScript");
String solved = engine.eval(captcha).toString();
solved = solved.split("\\.")[0];
connectionHandler.sendPacket(new Packet3Chat(solved));
} catch (Exception exception) {
exception.printStackTrace();
}
} else if (message.contains(testMessage2) && message.contains(testMessage3)) {
try {
String captcha =
message.split(Pattern.quote(testMessage2))[1].split(Pattern.quote(testMessage3))[0];
connectionHandler.sendPacket(new Packet3Chat(captcha));
} catch (Exception exception) {
exception.printStackTrace();
}
} else if (message.startsWith("Please register with \"/register")) {
String password = "";
for (int i = 0; i < 10 + random.nextInt(6); i++)
password += alphas[random.nextInt(alphas.length)];
bot.say("/register " + password + " " + password);
} else if (message.startsWith("/uc ")) {
connectionHandler.sendPacket(new Packet3Chat(message));
} else if ((message.contains("do the crime") && message.contains("do the time"))
|| message.contains("You have been muted")) {
connectionHandler.sendPacket(new Packet3Chat("\247Leaving!"));
} else if (message.contains(owner + " has requested to teleport to you.")) {
connectionHandler.sendPacket(new Packet3Chat("/tpaccept"));
} else if (message.contains(owner)) {
if (message.contains("Go ")) {
spamMessage = message.substring(message.indexOf("Go ") + "Go ".length());
} else if (message.contains("Stop")) {
spamMessage = null;
bot.getTaskManager().stopAll();
} else if (message.contains("Die")) {
die = true;
} else if (message.contains("Say ")) {
connectionHandler.sendPacket(
new Packet3Chat(message.substring(message.indexOf("Say ") + "Say ".length())));
} else if (message.contains("Leave")) {
connectionHandler.sendPacket(new Packet255KickDisconnect("Quit"));
} else if (message.contains("Tool")) {
MainPlayerEntity player = bot.getPlayer();
if (player == null) return;
PlayerInventory inventory = player.getInventory();
inventory.setCurrentHeldSlot(
Integer.parseInt(
message.substring(message.indexOf("Tool ") + "Tool ".length()).split(" ")[0]));
} else if (message.contains("DropId ")) {
MainPlayerEntity player = bot.getPlayer();
PlayerInventory inventory = player.getInventory();
String substring =
message.substring(message.indexOf("DropId ") + "DropId ".length()).split(" ")[0];
int id = Integer.parseInt(substring);
for (int slot = 0; slot < 40; slot++) {
ItemStack item = inventory.getItemAt(slot);
if (item != null && item.getId() == id) {
inventory.selectItemAt(slot, true);
inventory.dropSelectedItem();
}
}
inventory.close();
} else if (message.contains("Drop")) {
MainPlayerEntity player = bot.getPlayer();
PlayerInventory inventory = player.getInventory();
if (message.contains("Drop ")) {
String substring =
message.substring(message.indexOf("Drop ") + "Drop ".length()).split(" ")[0];
try {
int slot = Integer.parseInt(substring);
if (slot < 0 || slot >= 40) return;
if (inventory.getItemAt(slot) != null) {
inventory.selectItemAt(slot, true);
inventory.dropSelectedItem();
}
return;
} catch (NumberFormatException e) {
}
}
for (int slot = 0; slot < 40; slot++) {
if (inventory.getItemAt(slot) != null) {
inventory.selectItemAt(slot, true);
inventory.dropSelectedItem();
}
}
inventory.close();
} else if (message.contains("Switch ")) {
MainPlayerEntity player = bot.getPlayer();
PlayerInventory inventory = player.getInventory();
String substring = message.substring(message.indexOf("Switch ") + "Switch ".length());
try {
int slot1 = Integer.parseInt(substring.split(" ")[0]);
int slot2 = Integer.parseInt(substring.split(" ")[1]);
if (slot1 < 0 || slot1 >= 45 || slot2 < 0 || slot2 >= 45) return;
inventory.selectItemAt(slot1);
inventory.selectItemAt(slot2);
inventory.selectItemAt(slot1);
} catch (NumberFormatException e) {
}
// inventory.close();
} else if (message.contains("Equip")) {
MainPlayerEntity player = bot.getPlayer();
PlayerInventory inventory = player.getInventory();
boolean helmet = inventory.getArmorAt(0) != null;
boolean chestplate = inventory.getArmorAt(1) != null;
boolean leggings = inventory.getArmorAt(2) != null;
boolean boots = inventory.getArmorAt(3) != null;
boolean changed = false;
for (int i = 0; i < 36; i++) {
ItemStack item = inventory.getItemAt(i);
if (item == null) continue;
int armorSlot;
int id = item.getId();
if (!helmet
&& (id == 86 || id == 298 || id == 302 || id == 306 || id == 310 || id == 314)) {
armorSlot = 0;
helmet = true;
} else if (!chestplate
&& (id == 299 || id == 303 || id == 307 || id == 311 || id == 315)) {
armorSlot = 1;
chestplate = true;
} else if (!leggings
&& (id == 300 || id == 304 || id == 308 || id == 312 || id == 316)) {
armorSlot = 2;
leggings = true;
} else if (!boots
&& (id == 301 || id == 305 || id == 309 || id == 313 || id == 317)) {
armorSlot = 3;
boots = true;
} else if (helmet && chestplate && leggings && boots) break;
else continue;
inventory.selectItemAt(i);
inventory.selectArmorAt(armorSlot);
changed = true;
}
if (!changed) {
for (int i = 0; i < 36; i++) {
ItemStack item = inventory.getItemAt(i);
if (item != null) continue;
int armorSlot;
if (helmet) {
armorSlot = 0;
helmet = false;
} else if (chestplate) {
armorSlot = 1;
chestplate = false;
} else if (leggings) {
armorSlot = 2;
leggings = false;
} else if (boots) {
armorSlot = 3;
boots = false;
} else if (!helmet && !chestplate && !leggings && !boots) break;
else continue;
inventory.selectArmorAt(armorSlot);
inventory.selectItemAt(i);
}
}
inventory.close();
bot.say("Equipped armor.");
} else if (message.contains("Owner ")) {
String name =
message.substring(message.indexOf("Owner ") + "Owner ".length()).split(" ")[0];
owner = name;
bot.say("Set owner to " + name);
}
} else if (message.contains("You are not member of any faction.")
&& spamMessage != null
&& createFaction) {
String msg = "/f create ";
for (int i = 0; i < 7 + random.nextInt(3); i++)
msg += alphas[random.nextInt(alphas.length)];
bot.say(msg);
}
if (message.matches("[\\*]*SPQR [\\w]{1,16} invited you to SPQR")) {
bot.say("/f join SPQR");
bot.say("\247asdf");
}
break;
case 8:
Packet8UpdateHealth updateHealth = (Packet8UpdateHealth) packet;
if (updateHealth.healthMP <= 0) connectionHandler.sendPacket(new Packet205ClientCommand(1));
break;
case 9:
TaskManager taskManager = bot.getTaskManager();
taskManager.stopAll();
break;
}
}
/**
* This view allows the input and evaluation of queries and documents.
*
* @author BaseX Team 2005-12, BSD License
* @author Christian Gruen
*/
public final class EditorView extends View {
/** Error string. */
private static final String ERRSTRING =
STOPPED_AT + ' ' + (LINE_X + ", " + COLUMN_X).replaceAll("%", "([0-9]+)");
/** XQuery error pattern. */
private static final Pattern XQERROR =
Pattern.compile(ERRSTRING + ' ' + IN_FILE_X.replaceAll("%", "(.*?)") + COL);
/** XML error pattern. */
private static final Pattern XMLERROR =
Pattern.compile(LINE_X.replaceAll("%", "(.*?)") + COL + ".*");
/** History Button. */
final BaseXButton hist;
/** Execute Button. */
final BaseXButton stop;
/** Info label. */
final BaseXLabel info;
/** Position label. */
final BaseXLabel pos;
/** Query area. */
final BaseXTabs tabs;
/** Execute button. */
final BaseXButton go;
/** Thread counter. */
int threadID;
/** File in which the most recent error occurred. */
String errFile;
/** Most recent error position; used for clicking on error message. */
int errPos;
/** Header string. */
private final BaseXLabel header;
/** Filter button. */
private final BaseXButton filter;
/** Search panel. */
public final SearchPanel search;
/**
* Default constructor.
*
* @param man view manager
*/
public EditorView(final ViewNotifier man) {
super(EDITORVIEW, man);
if (Prop.langright) applyComponentOrientation(ComponentOrientation.RIGHT_TO_LEFT);
border(6, 6, 6, 6).layout(new BorderLayout(0, 2)).setFocusable(false);
header = new BaseXLabel(EDITOR, true, false);
final BaseXButton srch = new BaseXButton(gui, "search", H_REPLACE);
final BaseXButton openB = BaseXButton.command(GUICommands.C_EDITOPEN, gui);
final BaseXButton saveB = new BaseXButton(gui, "save", H_SAVE);
hist = new BaseXButton(gui, "hist", H_RECENTLY_OPEN);
final BaseXBack buttons = new BaseXBack(Fill.NONE);
buttons.layout(new TableLayout(1, 4, 1, 0));
buttons.add(srch);
buttons.add(openB);
buttons.add(saveB);
buttons.add(hist);
final BaseXBack b = new BaseXBack(Fill.NONE).layout(new BorderLayout(8, 0));
if (Prop.langright) {
b.add(header, BorderLayout.EAST);
b.add(buttons, BorderLayout.WEST);
} else {
b.add(header, BorderLayout.CENTER);
b.add(buttons, BorderLayout.EAST);
}
add(b, BorderLayout.NORTH);
tabs = new BaseXTabs(gui);
tabs.setFocusable(false);
final SearchEditor se = new SearchEditor(gui, tabs, null).button(srch);
search = se.panel();
addCreateTab();
add(se, BorderLayout.CENTER);
// status and query pane
search.editor(addTab(), false);
info = new BaseXLabel().setText(OK, Msg.SUCCESS);
pos = new BaseXLabel(" ");
posCode.invokeLater();
stop = new BaseXButton(gui, "stop", H_STOP_PROCESS);
stop.addKeyListener(this);
stop.setEnabled(false);
go = new BaseXButton(gui, "go", H_EXECUTE_QUERY);
go.addKeyListener(this);
filter = BaseXButton.command(GUICommands.C_FILTER, gui);
filter.addKeyListener(this);
filter.setEnabled(false);
final BaseXBack status = new BaseXBack(Fill.NONE).layout(new BorderLayout(4, 0));
status.add(info, BorderLayout.CENTER);
status.add(pos, BorderLayout.EAST);
final BaseXBack query = new BaseXBack(Fill.NONE).layout(new TableLayout(1, 3, 1, 0));
query.add(stop);
query.add(go);
query.add(filter);
final BaseXBack south = new BaseXBack(Fill.NONE).border(4, 0, 0, 0);
south.layout(new BorderLayout(8, 0));
south.add(status, BorderLayout.CENTER);
south.add(query, BorderLayout.EAST);
add(south, BorderLayout.SOUTH);
refreshLayout();
// add listeners
saveB.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
final JPopupMenu pop = new JPopupMenu();
final StringBuilder mnem = new StringBuilder();
final JMenuItem sa = GUIMenu.newItem(GUICommands.C_EDITSAVE, gui, mnem);
final JMenuItem sas = GUIMenu.newItem(GUICommands.C_EDITSAVEAS, gui, mnem);
GUICommands.C_EDITSAVE.refresh(gui, sa);
GUICommands.C_EDITSAVEAS.refresh(gui, sas);
pop.add(sa);
pop.add(sas);
pop.show(saveB, 0, saveB.getHeight());
}
});
hist.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
final JPopupMenu pm = new JPopupMenu();
final ActionListener al =
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent ac) {
open(new IOFile(ac.getActionCommand()));
}
};
final StringList sl = new StringList();
for (final EditorArea ea : editors()) sl.add(ea.file.path());
for (final String en :
new StringList().add(gui.gprop.strings(GUIProp.EDITOR)).sort(!Prop.WIN, true)) {
final JMenuItem it = new JMenuItem(en);
it.setEnabled(!sl.contains(en));
pm.add(it).addActionListener(al);
}
pm.show(hist, 0, hist.getHeight());
}
});
refreshHistory(null);
info.addMouseListener(
new MouseAdapter() {
@Override
public void mouseClicked(final MouseEvent e) {
EditorArea ea = getEditor();
if (errFile != null) {
ea = find(IO.get(errFile), false);
if (ea == null) ea = open(new IOFile(errFile));
tabs.setSelectedComponent(ea);
}
if (errPos == -1) return;
ea.jumpError(errPos);
posCode.invokeLater();
}
});
stop.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
stop.setEnabled(false);
go.setEnabled(false);
gui.stop();
}
});
go.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
getEditor().release(Action.EXECUTE);
}
});
tabs.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(final ChangeEvent e) {
final EditorArea ea = getEditor();
if (ea == null) return;
search.editor(ea, true);
gui.refreshControls();
posCode.invokeLater();
}
});
BaseXLayout.addDrop(
this,
new DropHandler() {
@Override
public void drop(final Object file) {
if (file instanceof File) open(new IOFile((File) file));
}
});
}
@Override
public void refreshInit() {}
@Override
public void refreshFocus() {}
@Override
public void refreshMark() {
final EditorArea edit = getEditor();
go.setEnabled(edit.script || edit.xquery && !gui.gprop.is(GUIProp.EXECRT));
final Nodes mrk = gui.context.marked;
filter.setEnabled(!gui.gprop.is(GUIProp.FILTERRT) && mrk != null && mrk.size() != 0);
}
@Override
public void refreshContext(final boolean more, final boolean quick) {}
@Override
public void refreshLayout() {
header.setFont(GUIConstants.lfont);
for (final EditorArea edit : editors()) edit.setFont(GUIConstants.mfont);
search.refreshLayout();
}
@Override
public void refreshUpdate() {}
@Override
public boolean visible() {
return gui.gprop.is(GUIProp.SHOWEDITOR);
}
@Override
public void visible(final boolean v) {
gui.gprop.set(GUIProp.SHOWEDITOR, v);
}
@Override
protected boolean db() {
return false;
}
/** Opens a new file. */
public void open() {
// open file chooser for XML creation
final BaseXFileChooser fc = new BaseXFileChooser(OPEN, gui.gprop.get(GUIProp.WORKPATH), gui);
fc.filter(BXS_FILES, IO.BXSSUFFIX);
fc.filter(XQUERY_FILES, IO.XQSUFFIXES);
fc.filter(XML_DOCUMENTS, IO.XMLSUFFIXES);
final IOFile[] files = fc.multi().selectAll(Mode.FOPEN);
for (final IOFile f : files) open(f);
}
/** Reverts the contents of the currently opened editor. */
public void reopen() {
getEditor().reopen(true);
}
/**
* Saves the contents of the currently opened editor.
*
* @return {@code false} if operation was canceled
*/
public boolean save() {
final EditorArea edit = getEditor();
return edit.opened() ? save(edit.file) : saveAs();
}
/**
* Saves the contents of the currently opened editor under a new name.
*
* @return {@code false} if operation was canceled
*/
public boolean saveAs() {
// open file chooser for XML creation
final EditorArea edit = getEditor();
final BaseXFileChooser fc =
new BaseXFileChooser(SAVE_AS, edit.file.path(), gui).filter(XQUERY_FILES, IO.XQSUFFIXES);
final IOFile file = fc.select(Mode.FSAVE);
return file != null && save(file);
}
/** Creates a new file. */
public void newFile() {
addTab();
refreshControls(true);
}
/**
* Opens the specified query file.
*
* @param file query file
* @return opened editor
*/
public EditorArea open(final IOFile file) {
if (!visible()) GUICommands.C_SHOWEDITOR.execute(gui);
EditorArea edit = find(file, true);
try {
if (edit != null) {
// display open file
tabs.setSelectedComponent(edit);
edit.reopen(true);
} else {
// get current editor
edit = getEditor();
// create new tab if current text is stored on disk or has been modified
if (edit.opened() || edit.modified) edit = addTab();
edit.initText(file.read());
edit.file(file);
}
} catch (final IOException ex) {
BaseXDialog.error(gui, FILE_NOT_OPENED);
}
return edit;
}
/**
* Refreshes the list of recent query files and updates the query path.
*
* @param file new file
*/
void refreshHistory(final IOFile file) {
final StringList sl = new StringList();
String path = null;
if (file != null) {
path = file.path();
gui.gprop.set(GUIProp.WORKPATH, file.dirPath());
sl.add(path);
tabs.setToolTipTextAt(tabs.getSelectedIndex(), path);
}
final String[] qu = gui.gprop.strings(GUIProp.EDITOR);
for (int q = 0; q < qu.length && q < 19; q++) {
final String f = qu[q];
if (!f.equalsIgnoreCase(path) && IO.get(f).exists()) sl.add(f);
}
// store sorted history
gui.gprop.set(GUIProp.EDITOR, sl.toArray());
hist.setEnabled(!sl.isEmpty());
}
/**
* Closes an editor.
*
* @param edit editor to be closed. {@code null} closes the currently opened editor.
* @return {@code true} if editor was closed
*/
public boolean close(final EditorArea edit) {
final EditorArea ea = edit != null ? edit : getEditor();
if (!confirm(ea)) return false;
tabs.remove(ea);
final int t = tabs.getTabCount();
final int i = tabs.getSelectedIndex();
if (t == 1) {
// reopen single tab
addTab();
} else if (i + 1 == t) {
// if necessary, activate last editor tab
tabs.setSelectedIndex(i - 1);
}
return true;
}
/** Jumps to a specific line. */
public void gotoLine() {
final EditorArea edit = getEditor();
final int ll = edit.last.length;
final int cr = edit.getCaret();
int l = 1;
for (int e = 0; e < ll && e < cr; e += cl(edit.last, e)) {
if (edit.last[e] == '\n') ++l;
}
final DialogLine dl = new DialogLine(gui, l);
if (!dl.ok()) return;
final int el = dl.line();
int p = 0;
l = 1;
for (int e = 0; e < ll && l < el; e += cl(edit.last, e)) {
if (edit.last[e] != '\n') continue;
p = e + 1;
++l;
}
edit.setCaret(p);
posCode.invokeLater();
}
/** Starts a thread, which shows a waiting info after a short timeout. */
public void start() {
final int thread = threadID;
new Thread() {
@Override
public void run() {
Performance.sleep(200);
if (thread == threadID) {
info.setText(PLEASE_WAIT_D, Msg.SUCCESS).setToolTipText(null);
stop.setEnabled(true);
}
}
}.start();
}
/**
* Evaluates the info message resulting from a parsed or executed query.
*
* @param msg info message
* @param ok {@code true} if evaluation was successful
* @param up update
*/
public void info(final String msg, final boolean ok, final boolean up) {
++threadID;
errPos = -1;
errFile = null;
getEditor().resetError();
final String m =
msg.replaceAll("^.*\r?\n\\[.*?\\]", "")
.replaceAll(".*" + LINE_X.replaceAll("%", ".*?") + COL, "");
if (ok) {
info.setCursor(GUIConstants.CURSORARROW);
info.setText(m, Msg.SUCCESS).setToolTipText(null);
} else {
info.setCursor(error(msg) ? GUIConstants.CURSORHAND : GUIConstants.CURSORARROW);
info.setText(m, Msg.ERROR).setToolTipText(msg);
}
if (up) {
stop.setEnabled(false);
refreshMark();
}
}
/**
* Handles info messages resulting from a query execution.
*
* @param msg info message
* @return true if error was found
*/
private boolean error(final String msg) {
final String line = msg.replaceAll("[\\r\\n].*", "");
Matcher m = XQERROR.matcher(line);
int el, ec = 2;
if (!m.matches()) {
m = XMLERROR.matcher(line);
if (!m.matches()) return true;
el = Integer.parseInt(m.group(1));
errFile = getEditor().file.path();
} else {
el = Integer.parseInt(m.group(1));
ec = Integer.parseInt(m.group(2));
errFile = m.group(3);
}
final EditorArea edit = find(IO.get(errFile), false);
if (edit == null) return true;
// find approximate error position
final int ll = edit.last.length;
int ep = ll;
for (int e = 1, l = 1, c = 1; e < ll; ++c, e += cl(edit.last, e)) {
if (l > el || l == el && c == ec) {
ep = e;
break;
}
if (edit.last[e] == '\n') {
++l;
c = 0;
}
}
if (ep < ll && Character.isLetterOrDigit(cp(edit.last, ep))) {
while (ep > 0 && Character.isLetterOrDigit(cp(edit.last, ep - 1))) ep--;
}
edit.error(ep);
errPos = ep;
return true;
}
/**
* Shows a quit dialog for all modified query files.
*
* @return {@code false} if confirmation was canceled
*/
public boolean confirm() {
for (final EditorArea edit : editors()) {
tabs.setSelectedComponent(edit);
if (!close(edit)) return false;
}
return true;
}
/**
* Checks if the current text can be saved or reverted.
*
* @param rev revert flag
* @return result of check
*/
public boolean modified(final boolean rev) {
final EditorArea edit = getEditor();
return edit.modified || !rev && !edit.opened();
}
/**
* Returns the current editor.
*
* @return editor
*/
public EditorArea getEditor() {
final Component c = tabs.getSelectedComponent();
return c instanceof EditorArea ? (EditorArea) c : null;
}
/**
* Refreshes the query modification flag.
*
* @param force action
*/
void refreshControls(final boolean force) {
// update modification flag
final EditorArea edit = getEditor();
final boolean oe = edit.modified;
edit.modified = edit.hist != null && edit.hist.modified();
if (edit.modified == oe && !force) return;
// update tab title
String title = edit.file.name();
if (edit.modified) title += '*';
edit.label.setText(title);
// update components
gui.refreshControls();
posCode.invokeLater();
}
/** Code for setting cursor position. */
final GUICode posCode =
new GUICode() {
@Override
public void eval(final Object arg) {
final int[] lc = getEditor().pos();
pos.setText(lc[0] + " : " + lc[1]);
}
};
/**
* Finds the editor that contains the specified file.
*
* @param file file to be found
* @param opened considers only opened files
* @return editor
*/
EditorArea find(final IO file, final boolean opened) {
for (final EditorArea edit : editors()) {
if (edit.file.eq(file) && (!opened || edit.opened())) return edit;
}
return null;
}
/**
* Saves the specified editor contents.
*
* @param file file to write
* @return {@code false} if confirmation was canceled
*/
private boolean save(final IOFile file) {
try {
final EditorArea edit = getEditor();
file.write(edit.getText());
edit.file(file);
return true;
} catch (final IOException ex) {
BaseXDialog.error(gui, FILE_NOT_SAVED);
return false;
}
}
/**
* Choose a unique tab file.
*
* @return io reference
*/
private IOFile newTabFile() {
// collect numbers of existing files
final BoolList bl = new BoolList();
for (final EditorArea edit : editors()) {
if (edit.opened()) continue;
final String n = edit.file.name().substring(FILE.length());
bl.set(n.isEmpty() ? 1 : Integer.parseInt(n), true);
}
// find first free file number
int c = 0;
while (++c < bl.size() && bl.get(c)) ;
// create io reference
return new IOFile(gui.gprop.get(GUIProp.WORKPATH), FILE + (c == 1 ? "" : c));
}
/**
* Adds a new editor tab.
*
* @return editor reference
*/
EditorArea addTab() {
final EditorArea edit = new EditorArea(this, newTabFile());
edit.setFont(GUIConstants.mfont);
final BaseXBack tab = new BaseXBack(new BorderLayout(10, 0)).mode(Fill.NONE);
tab.add(edit.label, BorderLayout.CENTER);
final BaseXButton close = tabButton("e_close");
close.setRolloverIcon(BaseXLayout.icon("e_close2"));
close.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
close(edit);
}
});
tab.add(close, BorderLayout.EAST);
tabs.add(edit, tab, tabs.getComponentCount() - 2);
return edit;
}
/** Adds a tab for creating new tabs. */
private void addCreateTab() {
final BaseXButton add = tabButton("e_new");
add.setRolloverIcon(BaseXLayout.icon("e_new2"));
add.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
addTab();
refreshControls(true);
}
});
tabs.add(new BaseXBack(), add, 0);
tabs.setEnabledAt(0, false);
}
/**
* Adds a new tab button.
*
* @param icon button icon
* @return button
*/
private BaseXButton tabButton(final String icon) {
final BaseXButton b = new BaseXButton(gui, icon, null);
b.border(2, 2, 2, 2).setContentAreaFilled(false);
b.setFocusable(false);
return b;
}
/**
* Shows a quit dialog for the specified editor.
*
* @param edit editor to be saved
* @return {@code false} if confirmation was canceled
*/
private boolean confirm(final EditorArea edit) {
if (edit.modified && (edit.opened() || edit.getText().length != 0)) {
final Boolean ok = BaseXDialog.yesNoCancel(gui, Util.info(CLOSE_FILE_X, edit.file.name()));
if (ok == null || ok && !save()) return false;
}
return true;
}
/**
* Returns all editors.
*
* @return editors
*/
EditorArea[] editors() {
final ArrayList<EditorArea> edits = new ArrayList<EditorArea>();
for (final Component c : tabs.getComponents()) {
if (c instanceof EditorArea) edits.add((EditorArea) c);
}
return edits.toArray(new EditorArea[edits.size()]);
}
}
void openButton_actionPerformed(ActionEvent e) {
String name = nameTextField.getText().trim();
if (mode == ProfileChooser.MODE_OPEN) { // open
if (name.equals("")) {
JOptionPane.showMessageDialog(
this, SanBootView.res.getString("ProfileChooser.errMsg.notSelect"));
return;
}
UniProfile prof = isSameProfile(name);
if (prof == null) {
JOptionPane.showMessageDialog(
this, SanBootView.res.getString("ProfileChooser.errMsg.notExist") + ": " + name);
return;
}
values = new Object[1];
values[0] = prof;
} else { // save as 或 save
if (name.equals("")) {
JOptionPane.showMessageDialog(
this, SanBootView.res.getString("ProfileChooser.errMsg.notName"));
return;
}
String tmpName = name;
Pattern pattern = Pattern.compile(".+\\.prf");
Matcher matcher = pattern.matcher(tmpName);
if (!matcher.find()) {
tmpName += ".prf";
}
UniProfile pf = isSameProfile(tmpName);
if (pf != null) { // 存 在 相 同 的 名 字 的profile ( pf )
if (view.initor.mdb.getSchNumOnProfName(pf.getProfileName()) > 0) {
JOptionPane.showMessageDialog(
this, SanBootView.res.getString("EditProfileDialog.error.hasSch"));
return;
}
if (JOptionPane.showConfirmDialog( // 提示信息更换
(Dialog) bakable,
SanBootView.res.getString("ProfileChooser.confirmmsg1"),
SanBootView.res.getString("common.confirm"),
JOptionPane.OK_CANCEL_OPTION)
== JOptionPane.CANCEL_OPTION) {
return;
} else {
values = new Object[2];
values[0] = pf;
values[1] = saveAsProfile;
}
} else { // 不 存 在 相 同 的 名 字
String pname = ResourceCenter.PROFILE_DIR + name + ".prf";
if (pname.indexOf("\"") >= 0
|| pname.indexOf("'") >= 0
|| pname.indexOf(' ') >= 0
|| pname.indexOf('\t') >= 0) {
JOptionPane.showMessageDialog(
this, SanBootView.res.getString("ProfileChooser.errmsg.badname"));
return;
}
if (pname.getBytes().length >= 1000) {
JOptionPane.showMessageDialog(
this, SanBootView.res.getString("ProfileChooser.errmsg.tooLargePname"));
return;
}
values = new Object[1];
saveAsProfile.setProfileName(pname);
values[0] = saveAsProfile;
}
}
dispose();
}
public void setPattern(String globPattern) {
char[] gPat = globPattern.toCharArray();
char[] rPat = new char[gPat.length * 2];
boolean isWin32 = (File.separatorChar == '\\');
boolean inBrackets = false;
int j = 0;
this.globPattern = globPattern;
if (isWin32) {
// On windows, a pattern ending with *.* is equal to ending with *
int len = gPat.length;
if (globPattern.endsWith("*.*")) {
len -= 2;
}
for (int i = 0; i < len; i++) {
switch (gPat[i]) {
case '*':
rPat[j++] = '.';
rPat[j++] = '*';
break;
case '?':
rPat[j++] = '.';
break;
case '\\':
rPat[j++] = '\\';
rPat[j++] = '\\';
break;
default:
if ("+()^$.{}[]".indexOf(gPat[i]) >= 0) {
rPat[j++] = '\\';
}
rPat[j++] = gPat[i];
break;
}
}
} else {
for (int i = 0; i < gPat.length; i++) {
switch (gPat[i]) {
case '*':
if (!inBrackets) {
rPat[j++] = '.';
}
rPat[j++] = '*';
break;
case '?':
rPat[j++] = inBrackets ? '?' : '.';
break;
case '[':
inBrackets = true;
rPat[j++] = gPat[i];
if (i < gPat.length - 1) {
switch (gPat[i + 1]) {
case '!':
case '^':
rPat[j++] = '^';
i++;
break;
case ']':
rPat[j++] = gPat[++i];
break;
}
}
break;
case ']':
rPat[j++] = gPat[i];
inBrackets = false;
break;
case '\\':
if (i == 0 && gPat.length > 1 && gPat[1] == '~') {
rPat[j++] = gPat[++i];
} else {
rPat[j++] = '\\';
if (i < gPat.length - 1 && "*?[]".indexOf(gPat[i + 1]) >= 0) {
rPat[j++] = gPat[++i];
} else {
rPat[j++] = '\\';
}
}
break;
default:
// if ("+()|^$.{}<>".indexOf(gPat[i]) >= 0) {
if (!Character.isLetterOrDigit(gPat[i])) {
rPat[j++] = '\\';
}
rPat[j++] = gPat[i];
break;
}
}
}
this.pattern = Pattern.compile(new String(rPat, 0, j), Pattern.CASE_INSENSITIVE);
}
/* A generic class to manage reading/writing to a console. Keeps the code simpler (although the Sleep code to do this is
simpler than this Java code. *sigh* */
public class ConsoleClient implements Runnable, ActionListener {
protected RpcConnection connection;
protected Console window;
protected String readCommand;
protected String writeCommand;
protected String destroyCommand;
protected String session;
protected LinkedList listeners = new LinkedList();
protected boolean echo = true;
protected boolean go_read = true;
protected boolean swallow = false;
protected ActionListener sessionListener = null; /* one off listener to catch "sessions -i ##" */
public void setSessionListener(ActionListener l) {
sessionListener = l;
}
public void kill() {
synchronized (listeners) {
go_read = false;
}
}
public Console getWindow() {
return window;
}
public void setEcho(boolean b) {
echo = b;
}
public void setWindow(Console console) {
synchronized (this) {
window = console;
setupListener();
}
}
public void addSessionListener(ConsoleCallback l) {
listeners.add(l);
}
public void fireSessionReadEvent(String text) {
Iterator i = listeners.iterator();
while (i.hasNext()) {
((ConsoleCallback) i.next()).sessionRead(session, text);
}
}
public void fireSessionWroteEvent(String text) {
Iterator i = listeners.iterator();
while (i.hasNext()) {
((ConsoleCallback) i.next()).sessionWrote(session, text);
}
}
public ConsoleClient(
Console window,
RpcConnection connection,
String readCommand,
String writeCommand,
String destroyCommand,
String session,
boolean swallow) {
this.window = window;
this.connection = connection;
this.readCommand = readCommand;
this.writeCommand = writeCommand;
this.destroyCommand = destroyCommand;
this.session = session;
this.swallow = swallow;
setupListener();
new Thread(this).start();
}
/* call this if the console client is referencing a metasploit console with tab completion */
public void setMetasploitConsole() {
window.addActionForKey(
"ctrl pressed Z",
new AbstractAction() {
public void actionPerformed(ActionEvent ev) {
sendString("background\n");
}
});
new TabCompletion(window, connection, session, "console.tabs");
}
/* called when the associated tab is closed */
public void actionPerformed(ActionEvent ev) {
if (destroyCommand != null) {
((RpcAsync) connection).execute_async(destroyCommand, new Object[] {session});
}
/* we don't need to keep reading from this console */
kill();
}
protected void finalize() {
actionPerformed(null);
}
private static final Pattern interact = Pattern.compile("sessions -i (\\d+)\n");
public void _sendString(String text) {
if (writeCommand == null) return;
/* intercept sessions -i and deliver it to a listener within armitage */
if (sessionListener != null) {
Matcher m = interact.matcher(text);
if (m.matches()) {
sessionListener.actionPerformed(new ActionEvent(this, 0, m.group(1)));
return;
}
}
Map read = null;
try {
synchronized (this) {
if (window != null && echo) {
window.append(window.getPromptText() + text);
}
}
if ("armitage.push".equals(writeCommand)) {
read = (Map) connection.execute(writeCommand, new Object[] {session, text});
} else {
connection.execute(writeCommand, new Object[] {session, text});
read = readResponse();
}
processRead(read);
fireSessionWroteEvent(text);
} catch (Exception ex) {
ex.printStackTrace();
}
}
protected void setupListener() {
synchronized (this) {
if (window != null) {
window
.getInput()
.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent ev) {
final String text = window.getInput().getText() + "\n";
window.getInput().setText("");
sendString(text);
}
});
}
}
}
public static String cleanText(String text) {
StringBuffer string = new StringBuffer(text.length());
char chars[] = text.toCharArray();
for (int x = 0; x < chars.length; x++) {
if (chars[x] != 1 && chars[x] != 2) string.append(chars[x]);
}
return string.toString();
}
private Map readResponse() throws Exception {
try {
return (Map) (connection.execute(readCommand, new Object[] {session}));
} catch (java.net.SocketException sex) {
/* this definitely means we were disconnected */
return null;
} catch (NullPointerException nex) {
/* this probably means we were disconnected, which means it's a good time
to quietly kill this thread */
return null;
}
}
private long lastRead = 0L;
private void processRead(Map read) throws Exception {
if (!"".equals(read.get("data"))) {
String text = read.get("data") + "";
synchronized (this) {
if (window != null) window.append(text);
}
fireSessionReadEvent(text);
lastRead = System.currentTimeMillis();
}
synchronized (this) {
if (!"".equals(read.get("prompt")) && window != null) {
window.updatePrompt(cleanText(read.get("prompt") + ""));
}
}
}
protected LinkedList commands = new LinkedList();
public void sendString(String text) {
synchronized (listeners) {
commands.add(text);
}
}
public void run() {
Map read;
boolean shouldRead = go_read;
String command = null;
long last = 0;
try {
/* swallow the banner if requested to do so */
if (swallow) {
readResponse();
}
while (shouldRead) {
synchronized (listeners) {
if (commands.size() > 0) {
command = (String) commands.removeFirst();
}
}
if (command != null) {
_sendString(command);
command = null;
lastRead = System.currentTimeMillis();
}
long now = System.currentTimeMillis();
if (this.window != null && !this.window.isShowing() && (now - last) < 1500) {
/* check if our window is not showing... if not, then we're going to switch to a very reduced
read schedule. */
} else {
read = readResponse();
if (read == null || "failure".equals(read.get("result") + "")) {
break;
}
processRead(read);
last = System.currentTimeMillis();
}
Thread.sleep(100);
synchronized (listeners) {
shouldRead = go_read;
}
}
} catch (Exception javaSucksBecauseItMakesMeCatchEverythingFuckingThing) {
javaSucksBecauseItMakesMeCatchEverythingFuckingThing.printStackTrace();
}
}
}
// -------------------------------------------------------------------------------------------------------------------------------------------------------
// Patterns
public void newPattern() {
int prob = (int) (Math.random() * probs.get(level - 1) + 1);
Pattern p = new Pattern(0, -300, prob, (int) (backy * 0.1));
if (checkSpawn(new Rectangle(p.getX(), p.getY(), p.getWidth(), p.getHeight())) == true) {
for (Coin i : p.getCoins()) {
coinList.add(i);
}
for (Star i : p.getStars()) {
starList.add(i);
}
for (Box i : p.getBoxes()) {
boxList.add(i);
}
for (Jumper i : p.getJumpers()) {
jumperList.add(i);
}
for (Enemy i : p.getEnemies()) {
enemyList.add(i);
}
for (Spikes i : p.getSpikes()) {
spikeList.add(i);
}
for (Powerup i : p.getPowerUps()) {
pupList.add(i);
}
for (Rectangle i : p.getRects()) {
rectList.add(i);
}
}
}
/**
* a View for rendering Text's based on bitmaps (when available) or TextLayout (when image not
* available)
*/
public class TextViewHybrid extends LeafElementView implements Runnable {
boolean wantToComputeLatexDimensions =
true; // from preferences: do we want to run LateX to compute preferences
boolean wantToGetBitMap =
true; // from preferences: do we want to run LateX+pstoimg to get a bitmap.
// wantToGetBitMap=true should Imply wantToComputeLatexDimensions=true
protected double strx, stry; // TextLayout/Image location with respect to PicText's anchor point
// [pending] pas joli. A enlever sous peu (utilise juste dans HitInfo que je ne comprends pas, je
// laisse donc en attendant)
protected TextLayout
textLayout; // the TextLayout that renders the text string of this TextEditable
// [inherited] shape; But here it's the frame box !!! (not textLayout !)
protected AffineTransform text2ModelTr =
new AffineTransform();; // maps text coordinates to Model coordinates
protected BufferedImage image; // bitmap (if null, we rely on TextLayout)
protected boolean areDimensionsComputed; // has the real dimensions been read from the log file ?
protected int fileDPI =
300; // Dot Per Inch of the file (for image resizing) [pending] gerer les preferences de ce
// parametre
// il faut passer la valeur en DPI en argument a create_bitmap.sh
/** pattern used for parsing log file */
private static final Pattern LogFilePattern =
Pattern.compile("JPICEDT INFO:\\s*([0-9.]*)pt,\\s*([0-9.]*)pt,\\s*([0-9.]*)pt");
private static final String CR_LF = System.getProperty("line.separator");
private PicPoint ptBuf = new PicPoint();
/** construct a new View for the given PicRectangle */
public TextViewHybrid(PicText te, AttributesViewFactory f) {
super(te, f);
areDimensionsComputed = false;
changedUpdate(null);
}
public PicText getElement() {
return (PicText) element;
}
/**
* Returns the text rotation in radians : subclassers that don't support rotating text may return
* 0 here. Used by TextLayout only.
*/
protected double getRotation() {
// debug(set.getAttribute(TEXT_ROTATION).toString());
return Math.toRadians(element.getAttribute(TEXT_ROTATION).doubleValue());
}
/**
* Give notification from the model that a change occured to the text this view is responsible for
* rendering.
*
* <p>
*/
public void changedUpdate(DrawingEvent.EventType eventType) {
PicText text = (PicText) element;
if (textLayout == null) {
// new *************************** begin (by ss & bp)
textLayout =
new TextLayout(
text.getText(text.getTextMode()).length() == 0
? " "
: text.getText(text.getTextMode()),
// new *************************** end (by ss & bp)
DefaultViewFactory.textFont, // static field
new FontRenderContext(null, false, false));
}
if (eventType == DrawingEvent.EventType.TEXT_CHANGE) {
// new *************************** begin (by ss & bp)
textLayout =
new TextLayout(
text.getText(text.getTextMode()).length() == 0
? " "
: text.getText(text.getTextMode()),
// new *************************** end (by ss & bp)
DefaultViewFactory.textFont,
new FontRenderContext(null, false, false));
// first try to create a bitmap
image =
null; // aka "reset" image => we might temporarily resort to TextLayout until the image is
// ready
areDimensionsComputed = false;
// reset dimensions to the textlayout dimensions
text.setDimensions(
textLayout.getBounds().getWidth(), textLayout.getAscent(), textLayout.getDescent());
// new *************************** begin (by ss & bp)
if (wantToComputeLatexDimensions && text.getText(text.getTextMode()).length() > 0) {
// new *************************** end (by ss & bp)
// don't produce a bitmap for an empty string (LaTeX might not like it)
// [pending] this should be made dependent on a preference's option
new Thread(this).start();
}
if (image == null) super.changedUpdate(null); // ie resort to TextLayout (update all)
} else {
text.updateFrame();
super.changedUpdate(eventType);
}
}
// Thread's run method aimed at creating a bitmap asynchronously
public void run() {
Drawing drawing = new Drawing();
PicText rawPicText = new PicText();
String s = ((PicText) element).getText();
rawPicText.setText(s);
drawing.add(
rawPicText); // bug fix: we must add a CLONE of the PicText, otherwise it loses it former
// parent... (then pb with the view )
drawing.setNotparsedCommands(
"\\newlength{\\jpicwidth}\\settowidth{\\jpicwidth}{"
+ s
+ "}"
+ CR_LF
+ "\\newlength{\\jpicheight}\\settoheight{\\jpicheight}{"
+ s
+ "}"
+ CR_LF
+ "\\newlength{\\jpicdepth}\\settodepth{\\jpicdepth}{"
+ s
+ "}"
+ CR_LF
+ "\\typeout{JPICEDT INFO: \\the\\jpicwidth, \\the\\jpicheight, \\the\\jpicdepth }"
+ CR_LF);
RunExternalCommand.Command commandToRun = RunExternalCommand.Command.BITMAP_CREATION;
// RunExternalCommand command = new RunExternalCommand(drawing, contentType,commandToRun);
boolean isWriteTmpTeXfile = true;
String bitmapExt = "png"; // [pending] preferences
String cmdLine =
"{i}/unix/tetex/create_bitmap.sh {p} {f} "
+ bitmapExt
+ " "
+ fileDPI; // [pending] preferences
ContentType contentType = getContainer().getContentType();
RunExternalCommand.isGUI = false; // System.out, no dialog box // [pending] debug
RunExternalCommand command =
new RunExternalCommand(drawing, contentType, cmdLine, isWriteTmpTeXfile);
command
.run(); // synchronous in an async. thread => it's ok (anyway, we must way until the LaTeX
// process has completed)
if (wantToComputeLatexDimensions) {
// load size of text:
try {
File logFile = new File(command.getTmpPath(), command.getTmpFilePrefix() + ".log");
BufferedReader reader = null;
try {
reader = new BufferedReader(new FileReader(logFile));
} catch (FileNotFoundException fnfe) {
System.out.println("Cannot find log file! " + fnfe.getMessage());
System.out.println(logFile);
} catch (IOException ioex) {
System.out.println("Log file IO exception");
ioex.printStackTrace();
} // utile ?
System.out.println("Log file created! file=" + logFile);
getDimensionsFromLogFile(reader, (PicText) element);
syncStringLocation(); // update dimensions
syncBounds();
syncFrame();
SwingUtilities.invokeLater(
new Thread() {
public void run() {
repaint(null);
}
});
// repaint(null); // now that dimensions are available, we force a repaint() [pending]
// smart-repaint ?
} catch (Exception e) {
e.printStackTrace();
}
}
if (wantToGetBitMap) {
// load image:
try {
File bitmapFile =
new File(command.getTmpPath(), command.getTmpFilePrefix() + "." + bitmapExt);
this.image = ImageIO.read(bitmapFile);
System.out.println(
"Bitmap created! file="
+ bitmapFile
+ ", width="
+ image.getWidth()
+ "pixels, height="
+ image.getHeight()
+ "pixels");
if (image == null) return;
syncStringLocation(); // sets strx, stry, and dimensions of text
syncBounds();
// update the AffineTransform that will be applied to the bitmap before displaying on screen
PicText te = (PicText) element;
text2ModelTr.setToIdentity(); // reset
PicPoint anchor = te.getCtrlPt(TextEditable.P_ANCHOR, ptBuf);
text2ModelTr.rotate(getRotation(), anchor.x, anchor.y); // rotate along P_ANCHOR !
text2ModelTr.translate(te.getLeftX(), te.getTopY());
text2ModelTr.scale(
te.getWidth() / image.getWidth(),
-(te.getHeight() + te.getDepth()) / image.getHeight());
// [pending] should do something special to avoid dividing by 0 or setting a rescaling
// factor to 0 [non invertible matrix] (java will throw an exception)
syncFrame();
SwingUtilities.invokeLater(
new Thread() {
public void run() {
repaint(null);
}
});
// repaint(null); // now that bitmap is available, we force a repaint() [pending]
// smart-repaint ?
} catch (Exception e) {
e.printStackTrace();
}
}
}
/**
* update strx stry = location of TextLayout's bottom-Left corner with respect to PicText's
* anchor-point
*/
protected void syncStringLocation() {
PicText te = (PicText) element;
PicPoint anchor = te.getCtrlPt(TextEditable.P_ANCHOR, ptBuf);
if (image == null) {
if (!areDimensionsComputed) {
te.setDimensions(
textLayout.getBounds().getWidth(), textLayout.getAscent(), textLayout.getDescent());
}
strx = te.getLeftX() - anchor.x;
stry = te.getBaseLineY() - anchor.y;
} else { // image not null
strx = te.getLeftX() - anchor.x;
stry = te.getBottomY() - anchor.y;
}
}
/**
* Synchronize the textLayout and the shape (=frame box, by calling syncFrame) with the model When
* <code>TextLayout</code> is used, this delegates to <code>getRotation()</code> where computing
* rotation angle is concerned, and updates the AffineTransform returned by <code>
* getTextToModelTransform()</code>.
*/
protected void syncShape() {
PicText te = (PicText) element;
// textLayout = new TextLayout(te.getText().length()==0 ? " " : te.getText(),
// textFont,
// new FontRenderContext(null,false,false));
text2ModelTr.setToIdentity(); // reset
PicPoint anchor = te.getCtrlPt(TextEditable.P_ANCHOR, ptBuf);
text2ModelTr.rotate(getRotation(), anchor.x, anchor.y); // rotate along P_ANCHOR !
// the reference point of an image is the top-left one, but the refpoint of a text layout is on
// the baseline
if (image != null) {
text2ModelTr.translate(te.getLeftX(), te.getTopY());
if (te.getWidth() != 0
&& image.getWidth() != 0
&& (te.getDepth() + te.getHeight()) != 0
&& image.getHeight() != 0)
text2ModelTr.scale(
te.getWidth() / image.getWidth(),
-(te.getHeight() + te.getDepth()) / image.getHeight());
} else {
// Hack ? Just cheating a little bit ? Ou juste ruse ?
// we want here to use the dimensions of the textLayout instead of latex dimensions if
// areDimensionsComputed
// sinon on va aligner le textlayout en fonction des parametres latex, et l'Utilisateur (qui
// est bien bete) ne va rien comprendre.
double latexH = 0;
double latexD = 0;
double latexW = 0;
if (areDimensionsComputed) { // store latex dimensions, and setDimensions to textLayout ones
latexH = te.getHeight();
latexD = te.getDepth();
latexW = te.getWidth();
te.setDimensions(
textLayout.getBounds().getWidth(), textLayout.getAscent(), textLayout.getDescent());
}
text2ModelTr.translate(te.getLeftX(), te.getBaseLineY());
if (areDimensionsComputed) { // restore latex dimensions
te.setDimensions(latexW, latexH, latexD);
}
// Autre possibilite= comprimer le texte pour qu'il rentre dans la boite (evite le hack
// ci-dessus):
// text2ModelTr.scale(te.getWidth()/textLayout.getWidth(),-(te.getHeight()+te.getDepth())/textLayout.getHeight());
text2ModelTr.scale(1.0, -1.0);
}
syncFrame();
}
/**
* synchronize frame shape and location (TextLayout only) ; this is called by syncShape(), so that
* subclasser might override easily when only rectangular shapes are availables.
*/
protected void syncFrame() {
PicText te = (PicText) element;
if (!te.isFramed()) {
return;
}
AffineTransform tr =
new AffineTransform(); // maps Image coordinates to Model coordinates (see paint)
tr.setToIdentity(); // reset
PicPoint anchor = te.getCtrlPt(TextEditable.P_ANCHOR, ptBuf);
tr.rotate(getRotation(), anchor.x, anchor.y); // rotate along P_ANCHOR !
shape = tr.createTransformedShape(te.getShapeOfFrame());
}
protected void getDimensionsFromLogFile(BufferedReader reader, PicText text) {
if (reader == null) {
return;
}
String line = ""; // il rale si j'initialise pas ...
boolean finished = false;
while (!finished) {
try {
line = reader.readLine();
} catch (IOException ioex) {
ioex.printStackTrace();
return;
}
if (line == null) {
System.out.println("Size of text not found in log file...");
return;
}
System.out.println(line);
Matcher matcher = LogFilePattern.matcher(line);
if (line != null && matcher.find()) {
System.out.println("FOUND :" + line);
finished = true;
try {
text.setDimensions(
0.3515 * Double.parseDouble(matcher.group(1)), // height, pt->mm (1pt=0.3515 mm)
0.3515 * Double.parseDouble(matcher.group(2)), // width
0.3515 * Double.parseDouble(matcher.group(3))); // depth
areDimensionsComputed = true;
} catch (NumberFormatException e) {
System.out.println("Logfile number format problem: $line" + e.getMessage());
} catch (IndexOutOfBoundsException e) {
System.out.println("Logfile regexp problem: $line" + e.getMessage());
}
}
}
return;
}
/** Synchronizes bounding box with the model ; */
protected void syncBounds() {
PicText te = (PicText) element;
// [pending] Il faut tenir compte de la rotation !
Rectangle2D latexBB =
null; // BB relative to latex dimensions (including rotation) (without frame)
Rectangle2D textLayoutBB =
null; // BB relative to textLayout dimensions (including rotation) (without frame)
Rectangle2D textBB = null; // BB of the text (including rotation), without frame
if (areDimensionsComputed) { // compute latexBB
Rectangle2D nonRotated =
new Rectangle2D.Double(
te.getLeftX(), te.getBottomY(), te.getWidth(), te.getHeight() + te.getDepth());
AffineTransform tr =
new AffineTransform(); // maps Image coordinates to Model coordinates (see paint)
tr.setToIdentity(); // reset
PicPoint anchor = te.getCtrlPt(TextEditable.P_ANCHOR, ptBuf);
tr.rotate(getRotation(), anchor.x, anchor.y); // rotate along P_ANCHOR !
latexBB = tr.createTransformedShape(nonRotated).getBounds2D();
}
if (image == null) { // compute textLayoutBB
Rectangle2D nonRotated = textLayout.getBounds();
textLayoutBB = text2ModelTr.createTransformedShape(nonRotated).getBounds2D();
}
// use textLayoutBB or latexBB or their union
if (image != null) textBB = latexBB;
else {
if (!areDimensionsComputed) textBB = textLayoutBB;
else {
textBB = latexBB.createUnion(textLayoutBB);
}
}
// union with frame BB
if (te.isFramed()) {
super.syncBounds(); // update bounds of the frame if necessary
Rectangle2D.union(super.bounds, textBB, this.bounds);
} else this.bounds = textBB;
}
/**
* Render the View to the given graphic context. This implementation render the interior first,
* then the outline.
*/
public void paint(Graphics2D g, Rectangle2D a) {
if (!a.intersects(getBounds())) return;
if (image != null) { // paint bitmap
g.drawImage(image, text2ModelTr, null);
// debug:
g.setPaint(Color.red);
g.draw(this.bounds);
super.paint(g, a); // possibly paint framebox if non-null
} else { // paint textlayout
super.paint(g, a); // possibly paint framebox if non-null
AffineTransform oldAT = g.getTransform();
// paint text in black
g.setPaint(Color.black);
// from now on, we work in Y-direct (<0) coordinates to avoid inextricable problems with font
// being mirrored...
g.transform(text2ModelTr); // also include rotation
textLayout.draw(g, 0.0f, 0.0f);
// [pending] ajouter un cadre si areDimensionsComputed (wysiwyg du pauvre)
// get back to previous transform
g.setTransform(oldAT);
if (DEBUG) {
g.setPaint(Color.red);
g.draw(bounds);
}
}
}
/**
* This implementation calls <code>super.hitTest</code> and returns the result if non-null (this
* should be a HitInfo.Point), then returns a HitInfo.Interior if the mouse-click occured inside
* the text bound (as defined by text layout)
*
* @return a HitInfo corresponding to the given mouse-event
*/
public HitInfo hitTest(PEMouseEvent e) {
// from Bitmap:
if (image != null) {
if (getBounds().contains(e.getPicPoint())) {
return new HitInfo.Interior((PicText) element, e);
}
return null;
}
// from TextLayout:
if (!getBounds().contains(e.getPicPoint())) return null;
PicText te = (PicText) element;
// recompute textlayout b-box, but store it in a temporary field !
Rectangle2D tb = textLayout.getBounds();
Shape text_bounds = text2ModelTr.createTransformedShape(tb);
if (text_bounds.contains(e.getPicPoint())) {
// [SR:pending] for the hitInfo to be reliable, getPicPoint() should first be transformed by
// inverse text2ModelTr ! (especially when rotationAngle != 0)
TextHitInfo thi =
textLayout.hitTestChar(
(float) (e.getPicPoint().x - strx),
(float) (e.getPicPoint().y - stry)); // guaranteed to return a non-null thi
return new HitInfo.Text((PicText) element, thi, e);
}
// test hit on textlayout's bounding rectangle :
// else if (bounds.contains(e.getPicPoint())) return new HitInfo.Interior(element,e);
return null;
}
/**
* [SR:pending] make this view implement aka TextEditableView interface (or something like it),
* where TextEditableView is a subinterface of View with text-editing specific capabilities.
*
* <p>Returns the TextLayout which is responsible for painting the textual content of this element
*/
public TextLayout getTextLayout() {
return textLayout;
}
/**
* Return an affine transform which translat b/w the TextLayout coordinate system and the
* jpicedt.graphic.model coordinate system. [SR:pending] refactor method name to something more
* explanatory
*/
public AffineTransform getTextToModelTransform() {
return text2ModelTr;
}
} // TextView