cobaUI
Class COBAApplet.NewEBFileHandler

java.lang.Object
  extended bycobaUI.COBAApplet.NewEBFileHandler
All Implemented Interfaces:
java.awt.event.ActionListener, java.util.EventListener
Enclosing class:
COBAApplet

class COBAApplet.NewEBFileHandler
extends java.lang.Object
implements java.awt.event.ActionListener

An action listener for the "New Entailment-based IC..." menu item under the file menu.


Constructor Summary
(package private) COBAApplet.NewEBFileHandler()
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

COBAApplet.NewEBFileHandler

COBAApplet.NewEBFileHandler()
Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Specified by:
actionPerformed in interface java.awt.event.ActionListener