public static class SourceFile.Builder
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.nio.charset.Charset |
charset |
private java.lang.String |
originalPath |
Constructor and Description |
---|
Builder() |
Modifier and Type | Method and Description |
---|---|
SourceFile |
buildFromCode(java.lang.String fileName,
java.lang.String code) |
SourceFile |
buildFromFile(File file) |
SourceFile |
buildFromFile(java.lang.String fileName) |
SourceFile |
buildFromGenerator(java.lang.String fileName,
SourceFile.Generator generator) |
SourceFile |
buildFromInputStream(java.lang.String fileName,
java.io.InputStream s) |
SourceFile |
buildFromReader(java.lang.String fileName,
java.io.Reader r) |
SourceFile |
buildFromUrl(java.net.URL url) |
SourceFile.Builder |
withCharset(java.nio.charset.Charset charset)
Set the charset to use when reading from an input stream or file.
|
SourceFile.Builder |
withOriginalPath(java.lang.String originalPath) |
private java.nio.charset.Charset charset
private java.lang.String originalPath
public SourceFile.Builder withCharset(java.nio.charset.Charset charset)
public SourceFile.Builder withOriginalPath(java.lang.String originalPath)
public SourceFile buildFromFile(java.lang.String fileName)
public SourceFile buildFromFile(File file)
@GwtIncompatible(value="java.net.URL") public SourceFile buildFromUrl(java.net.URL url)
public SourceFile buildFromCode(java.lang.String fileName, java.lang.String code)
@GwtIncompatible(value="java.io.InputStream") public SourceFile buildFromInputStream(java.lang.String fileName, java.io.InputStream s) throws java.io.IOException
java.io.IOException
@GwtIncompatible(value="java.io.Reader") public SourceFile buildFromReader(java.lang.String fileName, java.io.Reader r) throws java.io.IOException
java.io.IOException
public SourceFile buildFromGenerator(java.lang.String fileName, SourceFile.Generator generator)