|
/* Title: Pure/General/xz.scala
Author: Makarius
Support for XZ data compression.
*/
package isabelle
import org.tukaani.xz.{LZMA2Options, ArrayCache, BasicArrayCache}
object XZ
{
/* options */
type Options = LZMA2Options
def options(preset: Int = 3): Options =
{
val opts = new LZMA2Options
opts.setPreset(preset)
opts
}
/* cache */
type Cache = ArrayCache
object Cache
{
def none: ArrayCache = ArrayCache.getDummyCache()
def apply(): ArrayCache = ArrayCache.getDefaultCache()
def make(): ArrayCache = new BasicArrayCache
}
}
¤ Dauer der Verarbeitung: 0.21 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
