Scanner.DiscreteListener (Jetty :: Project 9.2.17.v20160517 API)

public static interface Scanner.DiscreteListener
extends Scanner.Listener

Methods
Modifier and Type	Method and Description
`void`	`fileAdded(String filename)`
`void`	`fileChanged(String filename)`
`void`	`fileRemoved(String filename)`

void fileChanged(String filename)
                 throws Exception

void fileAdded(String filename)
               throws Exception

void fileRemoved(String filename)
                 throws Exception

Interface Scanner.DiscreteListener