alice.tuprolog.event

Class LibraryEvent

java.lang.Object

java.util.EventObject

alice.tuprolog.event.PrologEvent

alice.tuprolog.event.LibraryEvent

All Implemented Interfaces:

Serializable

public class LibraryEvent
extends PrologEvent

This class represents events concerning library management.

Since:

1.3

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
LibraryEvent(Prolog source, String libName)

Method Summary

Methods

Modifier and Type	Method and Description
String	getLibraryName() Gets the library name (loaded or unloaded).

Methods inherited from class alice.tuprolog.event.PrologEvent

getTime

Methods inherited from class java.util.EventObject

getSource, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LibraryEvent

public LibraryEvent(Prolog source,
            String libName)

Method Detail

getLibraryName

public String getLibraryName()

Gets the library name (loaded or unloaded).

Returns:

library name