Module Java.util.Jar

Java classes from package java.util.jar

Imports

• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp
• import Java.Util as Util
• import Java.util.Zip as Zip

Table of Content

• Definitions

  data Attributes = native java.util.jar.Attributes

  data AttributesName = pure native java.util.jar.Attributes.Name

  data JarEntry = native java.util.jar.JarEntry

  data JarFile = native java.util.jar.JarFile

  data Manifest = native java.util.jar.Manifest

• Instances

  instance Cloneable Manifest

  instance Show AttributesName

• Functions and Values by Type

Definitions

data JarFile = native java.util.jar.JarFile

Member Functions

entries ∷ MutableIO JarFile → STMutable RealWorld (Enumeration JarEntry)
native entries

getInputStream ∷ MutableIO JarFile → MutableIO ZipEntry → STMutable RealWorld InputStream
native getInputStream  throws IOException

getJarEntry ∷ MutableIO JarFile → String → IO (Maybe (MutableIO JarEntry))
native getJarEntry

get the JarEntry for the specified name, or Maybe.Nothing if not found.

getManifest ∷ MutableIO JarFile → IO (Maybe (MutableIO Manifest))
native getManifest  throws IOException

retrieve the Manifest, if there is one

new ∷ MutableIO File → STMutable RealWorld JarFile
native new  throws IOException

data JarEntry = native java.util.jar.JarEntry

Member Functions

getName ∷ MutableIO JarEntry → IO String
native getName

isDirectory ∷ MutableIO JarEntry → IO Bool
native isDirectory

new ∷ MutableIO ZipEntry → STMutable RealWorld JarEntry
     | String → STMutable RealWorld JarEntry
native new

newα ∷ MutableIO ZipEntry → STMutable RealWorld JarEntry
native new  overloads new

newβ ∷ String → STMutable RealWorld JarEntry
native new  overloads new

data Manifest = native java.util.jar.Manifest

The Manifest of a JarFile

see java doc

Member Functions

getMainAttributes ∷ Mutable s Manifest → STMutable s Attributes
native getMainAttributes

data Attributes = native java.util.jar.Attributes

Attributes of a Manifest

see java doc

Member Functions

getValue ∷ Mutable s Attributes → String → ST s (Maybe String)
          | Mutable s Attributes → AttributesName → ST s (Maybe String)
              throws IllegalArgumentException
native getValue

getValueα ∷ Mutable s Attributes → String → ST s (Maybe String)
native getValue  overloads getValue

getValueβ ∷ Mutable s Attributes → AttributesName → ST s (Maybe String)
native getValue  throws IllegalArgumentException  overloads getValue

keySet ∷ Mutable s Attributes → STMutable s (Set Object)
native keySet

data AttributesName = pure native java.util.jar.Attributes.Name

Predefined keys for Attributes maps.

Member Functions

class_path ∷ AttributesName
pure native java.util.jar.Attributes.Name.CLASS_PATH

Name object for Class-Path manifest attribute.

Bundled extensions can use this attribute to find other JAR files containing needed classes.

main_class ∷ AttributesName
pure native java.util.jar.Attributes.Name.MAIN_CLASS

Name object for Main-Class manifest attribute used for launching applications packaged in JAR files.

toString ∷ AttributesName → String
pure native toString

Returns the attribute name as a String.

Instances

instance Cloneable Manifest

Member Functions

clone ∷ Manifest → Manifest
pure native clone

inherited from Cloneable.clone

freeze ∷ Manifest → Manifest

inherited from Cloneable.freeze

thaw ∷ Manifest → Manifest

inherited from Cloneable.thaw

instance Show AttributesName

Member Functions

display ∷ AttributesName → String

inherited from Show.display

show ∷ AttributesName → String

showChars ∷ AttributesName → [Char]

inherited from Show.showChars

showList ∷ [AttributesName] → String → String

inherited from Show.showList

showsPrec ∷ Int → AttributesName → String → String

inherited from Show.showsPrec

showsub ∷ AttributesName → String

inherited from Show.showsub

Functions and Values by Type

MutableIO File → STMutable RealWorld JarFile

JarFile.new

MutableIO JarEntry → IO String

JarEntry.getName

MutableIO JarEntry → IO Bool

JarEntry.isDirectory

MutableIO JarFile → MutableIO ZipEntry → STMutable RealWorld InputStream

JarFile.getInputStream

MutableIO JarFile → String → IO (Maybe (MutableIO JarEntry))

JarFile.getJarEntry

MutableIO JarFile → STMutable RealWorld (Enumeration JarEntry)

JarFile.entries

MutableIO JarFile → IO (Maybe (MutableIO Manifest))

JarFile.getManifest

MutableIO ZipEntry → STMutable RealWorld JarEntry

JarEntry.newα

String → STMutable RealWorld JarEntry

JarEntry.newβ

[AttributesName] → String → String

Show_AttributesName.showList

AttributesName → String

Show_AttributesName.showsub, Show_AttributesName.display, Show_AttributesName.show, AttributesName.toString

AttributesName → [Char]

Show_AttributesName.showChars

Manifest → Manifest

Cloneable_Manifest.thaw, Cloneable_Manifest.clone, Cloneable_Manifest.freeze

Int → AttributesName → String → String

Show_AttributesName.showsPrec

AttributesName

AttributesName.main_class, AttributesName.class_path

Mutable s Attributes → String → ST s (Maybe String)

Attributes.getValueα

Mutable s Attributes → AttributesName → ST s (Maybe String)

Attributes.getValueβ

Mutable s Attributes → STMutable s (Set Object)

Attributes.keySet

Mutable s Manifest → STMutable s Attributes

Manifest.getMainAttributes

ω

Attributes.getValue, JarEntry.new