public static interface Scanner.DiscreteListener extends Scanner.Listener
Modifier and Type | Method and Description |
---|---|
void |
fileAdded(String filename) |
void |
fileChanged(String filename) |
void |
fileRemoved(String filename) |
Copyright © 1995-2014 Mort Bay Consulting. All Rights Reserved.