alice.tuprolog
Class LibraryEvent

java.lang.Object
  extended byjava.util.EventObject
      extended byalice.tuprolog.PrologEvent
          extended byalice.tuprolog.LibraryEvent
All Implemented Interfaces:
java.io.Serializable

public class LibraryEvent
extends PrologEvent

This class represents events concerning library management.

Since:
1.3
See Also:
Serialized Form

Constructor Summary
LibraryEvent(Prolog source, java.lang.String libName)
           
 
Method Summary
 java.lang.String getLibraryName()
          Gets the library name (loaded or unloaded).
 
Methods inherited from class alice.tuprolog.PrologEvent
getTime
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LibraryEvent

public LibraryEvent(Prolog source,
                    java.lang.String libName)
Method Detail

getLibraryName

public java.lang.String getLibraryName()
Gets the library name (loaded or unloaded).

Returns:
library name


DEIS, Universita' di Bologna, Sede di Cesena