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–2017 Webtide. All rights reserved.