public interface DevShellSPI
Methods of this class are used as extension points by the Werval Runtime in Development Mode.
Modifier and Type | Interface and Description |
---|---|
static interface |
DevShellSPI.SourceChangeListener
Listener for source changes.
|
static interface |
DevShellSPI.SourceWatch
Watch allowing to stop watching.
|
static interface |
DevShellSPI.SourceWatcher
File watching abstraction.
|
Modifier and Type | Method and Description |
---|---|
URL[] |
applicationClassPath()
Application Classpath.
|
boolean |
isSourceChanged() |
void |
rebuild()
Rebuild the Application sources.
|
URL[] |
runtimeClassPath()
Runtime Classpath.
|
String |
sourceURL(String packageName, String fileName, int lineNumber)
Build Application source file URL if it exists.
|
void |
stop()
Stop.
|
URL[] applicationClassPath()
Typically build output directories.
URL[] runtimeClassPath()
Typically application dependencies, including Werval.
String sourceURL(String packageName, String fileName, int lineNumber)
packageName
- Package name
fileName
- File name
lineNumber
- Line number
boolean isSourceChanged()
rebuild()
, false otherwise
void rebuild() throws DevShellRebuildException
DevShellRebuildException
- if something goes wrong, HttpServer implementation should use its
DevShellRebuildException.htmlErrorPage()
methods to get the payload to present to the user browser.
void stop()