Language.JVM.ClassFile

The class file is described in this module.

Documentation

data ClassFile r

A ClassFile as described here.

Constructors

ClassFile

Fields

• cMagicNumber :: !Word32
• cMinorVersion :: !Word16
• cMajorVersion :: !Word16
• cConstantPool :: !(Choice (ConstantPool r) () r)
• cAccessFlags' :: !(BitSet16 CAccessFlag)
• cThisClass :: !(Ref ClassName r)
• cSuperClass :: !(Ref ClassName r)
• cInterfaces :: !(SizedList16 (Ref ClassName r))
• cFields' :: !(SizedList16 (Field r))
• cMethods' :: !(SizedList16 (Method r))
• cAttributes :: !(Attributes ClassAttributes r)

Instances

Staged ClassFile

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ClassFile r -> m (ClassFile r')

evolve :: EvolveM m => ClassFile Low -> m (ClassFile High)

devolve :: DevolveM m => ClassFile High -> m (ClassFile Low)

Eq (ClassFile High)

Methods

(==) :: ClassFile High -> ClassFile High -> Bool

(/=) :: ClassFile High -> ClassFile High -> Bool

Eq (ClassFile Low)

Methods

(==) :: ClassFile Low -> ClassFile Low -> Bool

(/=) :: ClassFile Low -> ClassFile Low -> Bool

Ord (ClassFile Low)

Methods

compare :: ClassFile Low -> ClassFile Low -> Ordering

(<) :: ClassFile Low -> ClassFile Low -> Bool

(<=) :: ClassFile Low -> ClassFile Low -> Bool

(>) :: ClassFile Low -> ClassFile Low -> Bool

(>=) :: ClassFile Low -> ClassFile Low -> Bool

max :: ClassFile Low -> ClassFile Low -> ClassFile Low

min :: ClassFile Low -> ClassFile Low -> ClassFile Low

Show (ClassFile High)

Methods

showsPrec :: Int -> ClassFile High -> ShowS

show :: ClassFile High -> String

showList :: [ClassFile High] -> ShowS

Show (ClassFile Low)

Methods

showsPrec :: Int -> ClassFile Low -> ShowS

show :: ClassFile Low -> String

showList :: [ClassFile Low] -> ShowS

Generic (ClassFile High)

Associated Types

type Rep (ClassFile High) :: * -> *

Methods

from :: ClassFile High -> Rep (ClassFile High) x

to :: Rep (ClassFile High) x -> ClassFile High

Generic (ClassFile Low)

Associated Types

type Rep (ClassFile Low) :: * -> *

Methods

from :: ClassFile Low -> Rep (ClassFile Low) x

to :: Rep (ClassFile Low) x -> ClassFile Low

Binary (ClassFile Low)

Methods

put :: ClassFile Low -> Put

get :: Get (ClassFile Low)

putList :: [ClassFile Low] -> Put

NFData (ClassFile High)

Methods

rnf :: ClassFile High -> ()

NFData (ClassFile Low)

Methods

rnf :: ClassFile Low -> ()

type Rep (ClassFile High)

type Rep (ClassFile High) = D1 * (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassFile" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word32)) (S1 * (MetaSel (Just Symbol "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((:*:) * (S1 * (MetaSel (Just Symbol "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) ((:*:) * (S1 * (MetaSel (Just Symbol "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Choice (ConstantPool High) () High))) (S1 * (MetaSel (Just Symbol "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 CAccessFlag)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName High))) ((:*:) * (S1 * (MetaSel (Just Symbol "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName High))) (S1 * (MetaSel (Just Symbol "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref ClassName High)))))) ((:*:) * (S1 * (MetaSel (Just Symbol "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Field High)))) ((:*:) * (S1 * (MetaSel (Just Symbol "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Method High)))) (S1 * (MetaSel (Just Symbol "cAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes ClassAttributes High))))))))

type Rep (ClassFile Low)

type Rep (ClassFile Low) = D1 * (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassFile" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word32)) (S1 * (MetaSel (Just Symbol "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((:*:) * (S1 * (MetaSel (Just Symbol "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) ((:*:) * (S1 * (MetaSel (Just Symbol "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Choice (ConstantPool Low) () Low))) (S1 * (MetaSel (Just Symbol "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (BitSet16 CAccessFlag)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName Low))) ((:*:) * (S1 * (MetaSel (Just Symbol "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref ClassName Low))) (S1 * (MetaSel (Just Symbol "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Ref ClassName Low)))))) ((:*:) * (S1 * (MetaSel (Just Symbol "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Field Low)))) ((:*:) * (S1 * (MetaSel (Just Symbol "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (Method Low)))) (S1 * (MetaSel (Just Symbol "cAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes ClassAttributes Low))))))))

cAccessFlags :: ClassFile r -> Set CAccessFlag

Get the set of access flags

cFields :: ClassFile r -> [Field r]

Get a list of Fields of a ClassFile.

cMethods :: ClassFile r -> [Method r]

Get a list of Methods of a ClassFile.

cSignature :: ClassFile High -> Maybe (Signature High)

Attributes

data ClassAttributes r

Constructors

ClassAttributes

Fields

• caBootstrapMethods :: [BootstrapMethods r]
• caSignature :: [Signature r]
• caOthers :: [Attribute r]

Instances

Eq (ClassAttributes High)

Methods

(==) :: ClassAttributes High -> ClassAttributes High -> Bool

(/=) :: ClassAttributes High -> ClassAttributes High -> Bool

Eq (ClassAttributes Low)

Methods

(==) :: ClassAttributes Low -> ClassAttributes Low -> Bool

(/=) :: ClassAttributes Low -> ClassAttributes Low -> Bool

Ord (ClassAttributes Low)

Methods

compare :: ClassAttributes Low -> ClassAttributes Low -> Ordering

(<) :: ClassAttributes Low -> ClassAttributes Low -> Bool

(<=) :: ClassAttributes Low -> ClassAttributes Low -> Bool

(>) :: ClassAttributes Low -> ClassAttributes Low -> Bool

(>=) :: ClassAttributes Low -> ClassAttributes Low -> Bool

max :: ClassAttributes Low -> ClassAttributes Low -> ClassAttributes Low

min :: ClassAttributes Low -> ClassAttributes Low -> ClassAttributes Low

Show (ClassAttributes High)

Methods

showsPrec :: Int -> ClassAttributes High -> ShowS

show :: ClassAttributes High -> String

showList :: [ClassAttributes High] -> ShowS

Show (ClassAttributes Low)

Methods

showsPrec :: Int -> ClassAttributes Low -> ShowS

show :: ClassAttributes Low -> String

showList :: [ClassAttributes Low] -> ShowS

Generic (ClassAttributes High)

Associated Types

type Rep (ClassAttributes High) :: * -> *

Methods

from :: ClassAttributes High -> Rep (ClassAttributes High) x

to :: Rep (ClassAttributes High) x -> ClassAttributes High

Generic (ClassAttributes Low)

Associated Types

type Rep (ClassAttributes Low) :: * -> *

Methods

from :: ClassAttributes Low -> Rep (ClassAttributes Low) x

to :: Rep (ClassAttributes Low) x -> ClassAttributes Low

NFData (ClassAttributes High)

Methods

rnf :: ClassAttributes High -> ()

NFData (ClassAttributes Low)

Methods

rnf :: ClassAttributes Low -> ()

type Rep (ClassAttributes High)

type Rep (ClassAttributes High) = D1 * (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassAttributes" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [BootstrapMethods High])) ((:*:) * (S1 * (MetaSel (Just Symbol "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature High])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute High])))))

type Rep (ClassAttributes Low)

type Rep (ClassAttributes Low) = D1 * (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ClassAttributes" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [BootstrapMethods Low])) ((:*:) * (S1 * (MetaSel (Just Symbol "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Signature Low])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute Low])))))

cBootstrapMethods :: ClassFile High -> [BootstrapMethod High]