public static class Reloader.Source
extends Object
implements scala.Product, scala.Serializable
Constructor and Description |
---|
Source(java.io.File file,
scala.Option<java.io.File> original) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
file() |
scala.Option<java.io.File> |
original() |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait