Esempio n. 1
0
 public void run() {
   TextMessageFrame panel = new TextMessageFrame("Query Result");
   JFrame protegeFrame = ProtegeManager.getInstance().getFrame(getWorkspace());
   DialogUtils.centerDialogWRTParent(protegeFrame, panel);
   DialogUtils.installEscapeCloseOperation(panel);
   panel.setTextMessage(visitor.getString());
   panel.setVisible(true);
 }
Esempio n. 2
0
 public void run() {
   TextMessageFrame panel = new TextMessageFrame(title);
   JFrame protegeFrame = ProtegeManager.getInstance().getFrame(getWorkspace());
   DialogUtils.centerDialogWRTParent(protegeFrame, panel);
   DialogUtils.installEscapeCloseOperation(panel);
   panel.setTextMessage(result);
   panel.setTimeProcessingMessage(
       String.format("Amount of processing time: %s sec", action.getExecutionTime() / 1000));
   panel.setVisible(true);
 }