public boolean accept(File pathname) {
if (pathname.isDirectory()) return true;
else {
if (pathname.getName().indexOf(".scl") != -1) return true;
else return false;
}
}
private static void AML2PNML(String[] args) {
if (args.length != 3) {
System.out.println("���ṩAML����Ŀ¼��PNML���Ŀ¼�Լ��ֵ��ļ�!");
System.exit(-1);
}
System.out.println("����Ŀ¼��" + args[0]);
System.out.println("���Ŀ¼��" + args[1]);
System.out.println("�ֵ��ļ���" + args[2]);
// load the dict
AMLtoPNML.loadDict(args[2]);
File srcDir = new File(args[0]);
File[] lstAML = srcDir.listFiles();
PnmlExport export = new PnmlExport();
for (int i = 0; i < lstAML.length; i++) {
if (lstAML[i].isDirectory()) {
continue;
}
System.out.print(lstAML[i].getName() + "==>");
try {
FileInputStream fis = new FileInputStream(lstAML[i]);
int idx = lstAML[i].getName().indexOf(".xml");
File outFile = new File(args[1] + "/" + lstAML[i].getName().substring(0, idx) + ".pnml");
FileOutputStream fos = new FileOutputStream(outFile);
EPCResult epcRes = (EPCResult) AMLtoPNML.importFile(fis);
ConfigurableEPC epc = epcRes.getMainEPC();
PetriNet petri = AMLtoPNML.convert(epc);
export.export(new ProvidedObject("PetriNet", new Object[] {petri}), fos);
System.out.println(outFile.getName());
} catch (FileNotFoundException ex) {
ex.printStackTrace(System.out);
} catch (IOException ioe) {
ioe.printStackTrace(System.out);
} catch (Exception e) {
e.printStackTrace(System.out);
}
}
System.out.println("Conversion Done");
}
public String getShortFileName() {
return m_fileName.getName();
}
public void saveUnsaved() throws SaveAbortedException {
if (!saved) {
int option = 0;
if (loadedFile == null)
option =
JOptionPane.showConfirmDialog(
this,
new JLabel("Save changes to UNTITLED?"),
"Warning",
JOptionPane.YES_NO_CANCEL_OPTION,
JOptionPane.WARNING_MESSAGE);
else
option =
JOptionPane.showConfirmDialog(
this,
new JLabel("Save changes to " + loadedFile.getName() + "?"),
"Warning",
JOptionPane.YES_NO_CANCEL_OPTION,
JOptionPane.WARNING_MESSAGE);
if (option == JOptionPane.YES_OPTION) {
if (loadedFile == null) // SAVE NEW FILE
{
if (nameTF.getText().equals("")) {
JOptionPane.showMessageDialog(
this,
new JLabel("Please type in the Scale Name"),
"Warning",
JOptionPane.WARNING_MESSAGE);
throw new SaveAbortedException();
}
fileChooser.setFileFilter(filter);
int option2 = fileChooser.showSaveDialog(this);
if (option2 == JFileChooser.APPROVE_OPTION) {
File target = fileChooser.getSelectedFile();
try {
PrintStream stream = new PrintStream(new FileOutputStream(target), true);
save(stream);
stream.close();
} catch (Exception ex) {
JOptionPane.showMessageDialog(
this,
new JLabel("Error: " + ex.getMessage()),
"Error",
JOptionPane.ERROR_MESSAGE);
}
} else throw new SaveAbortedException();
;
} else // save LOADED FILE
{
try {
PrintStream stream = new PrintStream(new FileOutputStream(loadedFile), true);
save(stream);
stream.close();
} catch (Exception ex) {
JOptionPane.showMessageDialog(
this, new JLabel("Error: " + ex.getMessage()), "Error", JOptionPane.ERROR_MESSAGE);
}
}
} else if (option == JOptionPane.CANCEL_OPTION) throw new SaveAbortedException();
;
}
}
public void actionPerformed(ActionEvent e) {
JButton b = (JButton) e.getSource();
if (b.getText() == "PLAY") {
if (scoreP != null) scoreP.playScale(sp.getScale(), tempoP.getValue());
} else if (b.getText() == "New") {
try {
saveUnsaved();
} catch (SaveAbortedException ex) {
return;
}
sp.notes.removeAllElements();
sp.repaint();
nameTF.setText("");
loadedFile = null;
} else if (b.getText() == "Save") {
if (nameTF.getText().equals("")) {
JOptionPane.showMessageDialog(
this,
new JLabel("Please type in the Scale Name"),
"Warning",
JOptionPane.WARNING_MESSAGE);
return;
}
fileChooser.setFileFilter(filter);
int option = fileChooser.showSaveDialog(this);
if (option == JFileChooser.APPROVE_OPTION) {
File target = fileChooser.getSelectedFile();
if (target.getName().indexOf(".scl") == -1) target = new File(target.getPath() + ".scl");
try {
PrintStream stream = new PrintStream(new FileOutputStream(target), true);
save(stream);
stream.close();
} catch (Exception ex) {
JOptionPane.showMessageDialog(
this, new JLabel("Error: " + ex.getMessage()), "Error", JOptionPane.ERROR_MESSAGE);
}
}
} else if (b.getText() == "Load") {
try {
saveUnsaved();
} catch (SaveAbortedException ex) {
return;
}
fileChooser.setFileFilter(filter);
int option = fileChooser.showOpenDialog(this);
if (option == JFileChooser.APPROVE_OPTION) {
loadedFile = fileChooser.getSelectedFile();
SAXParserFactory factory = SAXParserFactory.newInstance();
ScaleParser handler = new ScaleParser(false);
try {
SAXParser parser = factory.newSAXParser();
parser.parse(loadedFile, handler);
// System.out.println("success");
} catch (Exception ex) {
// System.out.println("no!!!!!! exception: "+e);
// System.out.println(ex.getMessage());
ex.printStackTrace();
}
// -----now :P:P---------------
System.out.println("name: " + handler.getName());
nameTF.setText(handler.getName());
sp.notes.removeAllElements();
int[] scale = handler.getScale();
for (int i = 0; i < scale.length; i++) {
sp.addNote(scale[i]);
}
sp.repaint();
} else loadedFile = null;
}
}