JarWriter

dotty.tools.io.JarWriter
class JarWriter(val file: File, val manifest: Manifest)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def addDirectory(entry: Directory, prefix: String): Unit
def addEntry(entry: Path, prefix: String): Unit
def addFile(file: File, prefix: String): Unit
def close(): Unit

Adds a jar entry for the given path and returns an output stream to which the data should immediately be written. This unusual interface exists to work with fjbg.

Adds a jar entry for the given path and returns an output stream to which the data should immediately be written. This unusual interface exists to work with fjbg.

Attributes

Concrete fields

val file: File