org.terrier.utility
Interface KillHandler.Killable

Enclosing class:
KillHandler

public static interface KillHandler.Killable

Interface denoting an object which can be killed by the KillHandler


Method Summary
 void kill()
          Called when the JVM is shutting down
 

Method Detail

kill

void kill()
Called when the JVM is shutting down



Terrier 3.5. Copyright © 2004-2011 University of Glasgow