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

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')

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

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

Eq (ClassFile High)

Defined in Language.JVM.ClassFile

Methods

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

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

Eq (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

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

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

Ord (ClassFile Low)

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)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassFile High -> ShowS

show :: ClassFile High -> String

showList :: [ClassFile High] -> ShowS

Show (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassFile Low -> ShowS

show :: ClassFile Low -> String

showList :: [ClassFile Low] -> ShowS

Generic (ClassFile High)

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)

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)

Defined in Language.JVM.ClassFile

Methods

put :: ClassFile Low -> Put

get :: Get (ClassFile Low)

putList :: [ClassFile Low] -> Put

NFData (ClassFile High)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassFile High -> ()

NFData (ClassFile Low)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassFile Low -> ()

type Rep (ClassFile High)

Defined in Language.JVM.ClassFile

type Rep (ClassFile High) = D1 ('MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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)

Defined in Language.JVM.ClassFile

type Rep (ClassFile Low) = D1 ('MetaData "ClassFile" "Language.JVM.ClassFile" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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

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)

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

cInnerClasses :: ClassFile High -> [InnerClass High]

Attributes

data ClassAttributes r

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)

Defined in Language.JVM.ClassFile

Methods

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

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

Eq (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Methods

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

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

Ord (ClassAttributes Low)

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)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassAttributes High -> ShowS

show :: ClassAttributes High -> String

showList :: [ClassAttributes High] -> ShowS

Show (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Methods

showsPrec :: Int -> ClassAttributes Low -> ShowS

show :: ClassAttributes Low -> String

showList :: [ClassAttributes Low] -> ShowS

Generic (ClassAttributes High)

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)

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)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassAttributes High -> ()

NFData (ClassAttributes Low)

Defined in Language.JVM.ClassFile

Methods

rnf :: ClassAttributes Low -> ()

type Rep (ClassAttributes High)

Defined in Language.JVM.ClassFile

type Rep (ClassAttributes High) = D1 ('MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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)

Defined in Language.JVM.ClassFile

type Rep (ClassAttributes Low) = D1 ('MetaData "ClassAttributes" "Language.JVM.ClassFile" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" '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

cBootstrapMethods :: ClassFile High -> [BootstrapMethod High]