Example #1
0
 public virtual void actionPerformed(System.Object event_sender, System.EventArgs event_Renamed)
 {
     //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
     if (event_sender.equals(closeButton))
     {
         dispose();
     }
     else
     {
         //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
         if (event_sender.equals(resultsBox))
         {
             System.Object item = resultsBox.SelectedItem;
             if (item != null)
             {
                 //UPGRADE_TODO: The equivalent in .NET for method 'java.Object.toString' may return a different value. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1043"'
                 aboutArea.setText((System.String) batchResults.get(item.ToString()));
             }
             batchResultsButton.setIcon(IconLoader.getImageIcon("lorry"));
         }
         else
         {
             //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
             if (event_sender.equals(removeButton))
             {
                 System.Object item = resultsBox.SelectedItem;
                 if (item != null)
                 {
                     resultsBoxModel.removeItem(item);
                     batchResults.remove(item);
                     aboutArea.setText("");
                     resultsBox.setSelectedIndex(- 1);
                     // if we removed the last result we hide the indicator button
                     if (batchResults.isEmpty())
                     {
                         batchResultsButton.setVisible(false);
                     }
                 }
             }
             else
             {
                 //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
                 if (event_sender.equals(reloadButton))
                 {
                     resultsBoxModel.setItems(batchResults.keySet().toArray());
                     aboutArea.setText("");
                     resultsBox.setSelectedIndex(- 1);
                 }
             }
         }
     }
 }
 /// <summary>  method to catch Velocity log messages.  When we
 /// see the introspector dump message, then set the flag
 /// </summary>
 public virtual void logVelocityMessage(int level, System.String message)
 {
     if (message.equals(Introspector.CACHEDUMP_MSG)) {
     sawCacheDump = true;
     }
 }
Example #3
0
 public virtual void actionPerformed(System.Object event_sender, System.EventArgs event_Renamed)
 {
     //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
     if (event_sender.equals(reloadButton))
     {
         initFunctionsList();
     }
 }
Example #4
0
 public virtual void actionPerformed(System.Object event_sender, System.EventArgs event_Renamed)
 {
     //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
     if (event_sender.equals(reloadButton))
     {
         initFactsList();
     }
     else
     {
         //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
         if (event_sender.equals(assertButton))
         {
             FactEditor editor = new FactEditor(gui.Engine);
             editor.setStringChannel(gui.StringChannel);
             editor.init();
         }
     }
 }
Example #5
0
 /// <summary> Catches events for Buttons and the Timer in this Panel.
 /// </summary>
 public virtual void actionPerformed(System.Object event_sender, System.EventArgs event_Renamed)
 {
     //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
     if (event_sender.equals(clearButton))
     {
         clearArea();
     }
     else
     {
         //UPGRADE_NOTE: The method 'java.util.EventObject.getSource' needs to be in a event handling method in order to be properly converted. 'ms-help://MS.VSCC.2003/commoner/redir/redirect.htm?keyword="jlca1171"'
         if (event_sender.equals(cursorTimer))
         {
             if (cursorShowing)
             {
                 hideCursor();
             }
             else
             {
                 showCursor();
             }
         }
     }
 }