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

data ClassFile r = ClassFile {
- 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)
}
cAccessFlags :: ClassFile r -> Set CAccessFlag
cFields :: ClassFile r -> [Field r]
cMethods :: ClassFile r -> [Method r]
cSignature :: ClassFile High -> Maybe (Signature High)
cEnclosingMethod :: ClassFile High -> Maybe (EnclosingMethod High)
cInnerClasses :: ClassFile High -> [InnerClass High]
data ClassAttributes r = ClassAttributes {
- caBootstrapMethods :: [BootstrapMethods r]
- caSignature :: [Signature r]
- caEnclosingMethod :: [EnclosingMethod r]
- caInnerClasses :: [InnerClasses r]
- caVisibleAnnotations :: [RuntimeVisibleAnnotations r]
- caInvisibleAnnotations :: [RuntimeInvisibleAnnotations r]
- caVisibleTypeAnnotations :: [RuntimeVisibleTypeAnnotations ClassTypeAnnotation r]
- caInvisibleTypeAnnotations :: [RuntimeInvisibleTypeAnnotations ClassTypeAnnotation r]
- caOthers :: [Attribute r]
}
emptyClassAttributes :: ClassAttributes High
cBootstrapMethods :: ClassFile High -> [BootstrapMethod High]

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 #
Instance details Defined in Language.JVM.ClassFile Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.ClassFile Methods (==) :: ClassFile High -> ClassFile High -> Bool # (/=) :: ClassFile High -> ClassFile High -> Bool #
Eq (ClassFile Low) Source #
Instance details Defined in Language.JVM.ClassFile Methods (==) :: ClassFile Low -> ClassFile Low -> Bool # (/=) :: ClassFile Low -> ClassFile Low -> Bool #
Ord (ClassFile Low) Source #
Instance details Defined in Language.JVM.ClassFile 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 #
Instance details Defined in Language.JVM.ClassFile Methods showsPrec :: Int -> ClassFile High -> ShowS # show :: ClassFile High -> String # showList :: [ClassFile High] -> ShowS #
Show (ClassFile Low) Source #
Instance details Defined in Language.JVM.ClassFile Methods showsPrec :: Int -> ClassFile Low -> ShowS # show :: ClassFile Low -> String # showList :: [ClassFile Low] -> ShowS #
Generic (ClassFile High) Source #
Instance details Defined in Language.JVM.ClassFile Associated Types type Rep (ClassFile High) :: Type -> Type # Methods from :: ClassFile High -> Rep (ClassFile High) x # to :: Rep (ClassFile High) x -> ClassFile High #
Generic (ClassFile Low) Source #
Instance details Defined in Language.JVM.ClassFile Associated Types type Rep (ClassFile Low) :: Type -> Type # Methods from :: ClassFile Low -> Rep (ClassFile Low) x # to :: Rep (ClassFile Low) x -> ClassFile Low #
Binary (ClassFile Low) Source #
Instance details Defined in Language.JVM.ClassFile Methods put :: ClassFile Low -> Put # get :: Get (ClassFile Low) # putList :: [ClassFile Low] -> Put #
NFData (ClassFile High) Source #
Instance details Defined in Language.JVM.ClassFile Methods rnf :: ClassFile High -> () #
NFData (ClassFile Low) Source #
Instance details Defined in Language.JVM.ClassFile Methods rnf :: ClassFile Low -> () #
type Rep (ClassFile High) Source #
Instance details Defined in Language.JVM.ClassFile type Rep (ClassFile High) = D1 (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ClassFile" PrefixI True) (((S1 (MetaSel (Just "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word32) :: S1 (MetaSel (Just "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: (S1 (MetaSel (Just "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Choice (ConstantPool High) () High)) :: S1 (MetaSel (Just "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 CAccessFlag))))) :: ((S1 (MetaSel (Just "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :: (S1 (MetaSel (Just "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High)) :: S1 (MetaSel (Just "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Ref ClassName High))))) :: (S1 (MetaSel (Just "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Field High))) :: (S1 (MetaSel (Just "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Method High))) :: S1 (MetaSel (Just "cAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes ClassAttributes High)))))))
type Rep (ClassFile Low) Source #
Instance details Defined in Language.JVM.ClassFile type Rep (ClassFile Low) = D1 (MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ClassFile" PrefixI True) (((S1 (MetaSel (Just "cMagicNumber") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word32) :: S1 (MetaSel (Just "cMinorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "cMajorVersion") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: (S1 (MetaSel (Just "cConstantPool") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Choice (ConstantPool Low) () Low)) :: S1 (MetaSel (Just "cAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 CAccessFlag))))) :: ((S1 (MetaSel (Just "cThisClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :: (S1 (MetaSel (Just "cSuperClass") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low)) :: S1 (MetaSel (Just "cInterfaces") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Ref ClassName Low))))) :: (S1 (MetaSel (Just "cFields'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Field Low))) :: (S1 (MetaSel (Just "cMethods'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (Method Low))) :: S1 (MetaSel (Just "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 #

cEnclosingMethod :: ClassFile High -> Maybe (EnclosingMethod High) Source #

cInnerClasses :: ClassFile High -> [InnerClass High] Source #

Attributes

data ClassAttributes r Source #

Constructors

ClassAttributes

Fields

caBootstrapMethods :: [BootstrapMethods r]
caSignature :: [Signature r]
caEnclosingMethod :: [EnclosingMethod r]
caInnerClasses :: [InnerClasses r]
caVisibleAnnotations :: [RuntimeVisibleAnnotations r]
caInvisibleAnnotations :: [RuntimeInvisibleAnnotations r]
caVisibleTypeAnnotations :: [RuntimeVisibleTypeAnnotations ClassTypeAnnotation r]
caInvisibleTypeAnnotations :: [RuntimeInvisibleTypeAnnotations ClassTypeAnnotation r]
caOthers :: [Attribute r]

Instances

Eq (ClassAttributes High) Source #
Instance details Defined in Language.JVM.ClassFile Methods (==) :: ClassAttributes High -> ClassAttributes High -> Bool # (/=) :: ClassAttributes High -> ClassAttributes High -> Bool #
Eq (ClassAttributes Low) Source #
Instance details Defined in Language.JVM.ClassFile Methods (==) :: ClassAttributes Low -> ClassAttributes Low -> Bool # (/=) :: ClassAttributes Low -> ClassAttributes Low -> Bool #
Ord (ClassAttributes Low) Source #
Instance details Defined in Language.JVM.ClassFile 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 #
Instance details Defined in Language.JVM.ClassFile Methods showsPrec :: Int -> ClassAttributes High -> ShowS # show :: ClassAttributes High -> String # showList :: [ClassAttributes High] -> ShowS #
Show (ClassAttributes Low) Source #
Instance details Defined in Language.JVM.ClassFile Methods showsPrec :: Int -> ClassAttributes Low -> ShowS # show :: ClassAttributes Low -> String # showList :: [ClassAttributes Low] -> ShowS #
Generic (ClassAttributes High) Source #
Instance details Defined in Language.JVM.ClassFile Associated Types type Rep (ClassAttributes High) :: Type -> Type # Methods from :: ClassAttributes High -> Rep (ClassAttributes High) x # to :: Rep (ClassAttributes High) x -> ClassAttributes High #
Generic (ClassAttributes Low) Source #
Instance details Defined in Language.JVM.ClassFile Associated Types type Rep (ClassAttributes Low) :: Type -> Type # Methods from :: ClassAttributes Low -> Rep (ClassAttributes Low) x # to :: Rep (ClassAttributes Low) x -> ClassAttributes Low #
NFData (ClassAttributes High) Source #
Instance details Defined in Language.JVM.ClassFile Methods rnf :: ClassAttributes High -> () #
NFData (ClassAttributes Low) Source #
Instance details Defined in Language.JVM.ClassFile Methods rnf :: ClassAttributes Low -> () #
type Rep (ClassAttributes High) Source #
Instance details Defined in Language.JVM.ClassFile type Rep (ClassAttributes High) = D1 (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ClassAttributes" PrefixI True) (((S1 (MetaSel (Just "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BootstrapMethods High]) :: S1 (MetaSel (Just "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature High])) :: (S1 (MetaSel (Just "caEnclosingMethod") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [EnclosingMethod High]) :: S1 (MetaSel (Just "caInnerClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [InnerClasses High]))) :: ((S1 (MetaSel (Just "caVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleAnnotations High]) :: S1 (MetaSel (Just "caInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleAnnotations High])) :: (S1 (MetaSel (Just "caVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations ClassTypeAnnotation High]) :: (S1 (MetaSel (Just "caInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations ClassTypeAnnotation High]) :: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High]))))))
type Rep (ClassAttributes Low) Source #
Instance details Defined in Language.JVM.ClassFile type Rep (ClassAttributes Low) = D1 (MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ClassAttributes" PrefixI True) (((S1 (MetaSel (Just "caBootstrapMethods") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BootstrapMethods Low]) :: S1 (MetaSel (Just "caSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature Low])) :: (S1 (MetaSel (Just "caEnclosingMethod") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [EnclosingMethod Low]) :: S1 (MetaSel (Just "caInnerClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [InnerClasses Low]))) :: ((S1 (MetaSel (Just "caVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleAnnotations Low]) :: S1 (MetaSel (Just "caInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleAnnotations Low])) :: (S1 (MetaSel (Just "caVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations ClassTypeAnnotation Low]) :: (S1 (MetaSel (Just "caInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations ClassTypeAnnotation Low]) :: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low]))))))

emptyClassAttributes :: ClassAttributes High Source #

cBootstrapMethods :: ClassFile High -> [BootstrapMethod High] Source #