|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.util.EventObject
alice.tuprolog.PrologEvent
alice.tuprolog.LibraryEvent
This class represents events concerning library management.
| 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 |
public LibraryEvent(Prolog source,
java.lang.String libName)
| Method Detail |
public java.lang.String getLibraryName()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||