Copyright	(c) Christian Gram Kalhauge 2017
License	MIT
Maintainer	kalhuage@cs.ucla.edu
Safe Haskell	None
Language	Haskell2010

Language.JVM.ClassFile

Contents

Attributes

Description

The class file is described in this module.

Synopsis

Documentation

data ClassFile r Source #

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 Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> ClassFile r -> m (ClassFile r') Source # evolve :: EvolveM m => ClassFile Low -> m (ClassFile High) Source # devolve :: DevolveM m => ClassFile High -> m (ClassFile Low) Source #
Eq (ClassFile High) Source #
Methods (==) :: ClassFile High -> ClassFile High -> Bool # (/=) :: ClassFile High -> ClassFile High -> Bool #
Eq (ClassFile Low) Source #
Methods (==) :: ClassFile Low -> ClassFile Low -> Bool # (/=) :: ClassFile Low -> ClassFile Low -> Bool #
Ord (ClassFile Low) Source #
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) Source #
Methods showsPrec :: Int -> ClassFile High -> ShowS # show :: ClassFile High -> String # showList :: [ClassFile High] -> ShowS #
Show (ClassFile Low) Source #
Methods showsPrec :: Int -> ClassFile Low -> ShowS # show :: ClassFile Low -> String # showList :: [ClassFile Low] -> ShowS #
Generic (ClassFile High) Source #
Associated Types type Rep (ClassFile High) :: * -> * # Methods from :: ClassFile High -> Rep (ClassFile High) x # to :: Rep (ClassFile High) x -> ClassFile High #
Generic (ClassFile Low) Source #
Associated Types type Rep (ClassFile Low) :: * -> * # Methods from :: ClassFile Low -> Rep (ClassFile Low) x # to :: Rep (ClassFile Low) x -> ClassFile Low #
Binary (ClassFile Low) Source #
Methods put :: ClassFile Low -> Put # get :: Get (ClassFile Low) # putList :: [ClassFile Low] -> Put #
NFData (ClassFile High) Source #
Methods rnf :: ClassFile High -> () #
NFData (ClassFile Low) Source #
Methods rnf :: ClassFile Low -> () #
type Rep (ClassFile High) Source #
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) Source #
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 Source #

Get the set of access flags

cFields :: ClassFile r -> [Field r] Source #

Get a list of Fields of a ClassFile.

cMethods :: ClassFile r -> [Method r] Source #

Get a list of Methods of a ClassFile.

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

Attributes

data ClassAttributes r Source #

Constructors

ClassAttributes
Fields caBootstrapMethods :: [BootstrapMethods r] caSignature :: [Signature r] caOthers :: [Attribute r]

Instances

Eq (ClassAttributes High) Source #
Methods (==) :: ClassAttributes High -> ClassAttributes High -> Bool # (/=) :: ClassAttributes High -> ClassAttributes High -> Bool #
Eq (ClassAttributes Low) Source #
Methods (==) :: ClassAttributes Low -> ClassAttributes Low -> Bool # (/=) :: ClassAttributes Low -> ClassAttributes Low -> Bool #
Ord (ClassAttributes Low) Source #
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) Source #
Methods showsPrec :: Int -> ClassAttributes High -> ShowS # show :: ClassAttributes High -> String # showList :: [ClassAttributes High] -> ShowS #
Show (ClassAttributes Low) Source #
Methods showsPrec :: Int -> ClassAttributes Low -> ShowS # show :: ClassAttributes Low -> String # showList :: [ClassAttributes Low] -> ShowS #
Generic (ClassAttributes High) Source #
Associated Types type Rep (ClassAttributes High) :: * -> * # Methods from :: ClassAttributes High -> Rep (ClassAttributes High) x # to :: Rep (ClassAttributes High) x -> ClassAttributes High #
Generic (ClassAttributes Low) Source #
Associated Types type Rep (ClassAttributes Low) :: * -> * # Methods from :: ClassAttributes Low -> Rep (ClassAttributes Low) x # to :: Rep (ClassAttributes Low) x -> ClassAttributes Low #
NFData (ClassAttributes High) Source #
Methods rnf :: ClassAttributes High -> () #
NFData (ClassAttributes Low) Source #
Methods rnf :: ClassAttributes Low -> () #
type Rep (ClassAttributes High) Source #
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) Source #
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] Source #