Language.JVM.Method

Documentation

data Method r

A Method in the class-file, as described here.

Constructors

Method

Fields

• mAccessFlags' :: !(BitSet16 MAccessFlag)
• mName :: !(Ref Text r)
• mDescriptor :: !(Ref MethodDescriptor r)
• mAttributes :: !(Attributes MethodAttributes r)

Instances

Staged Method

Defined in Language.JVM.Method

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Method r -> m (Method r')

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

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

Eq (Method High)

Defined in Language.JVM.Method

Methods

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

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

Eq (Method Low)

Defined in Language.JVM.Method

Methods

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

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

Ord (Method Low)

Defined in Language.JVM.Method

Methods

compare :: Method Low -> Method Low -> Ordering

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

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

(>) :: Method Low -> Method Low -> Bool

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

max :: Method Low -> Method Low -> Method Low

min :: Method Low -> Method Low -> Method Low

Show (Method High)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> Method High -> ShowS

show :: Method High -> String

showList :: [Method High] -> ShowS

Show (Method Low)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> Method Low -> ShowS

show :: Method Low -> String

showList :: [Method Low] -> ShowS

Generic (Method High)

Defined in Language.JVM.Method

Associated Types

type Rep (Method High) :: Type -> Type

Methods

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

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

Generic (Method Low)

Defined in Language.JVM.Method

Associated Types

type Rep (Method Low) :: Type -> Type

Methods

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

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

Binary (Method Low)

Defined in Language.JVM.Method

Methods

put :: Method Low -> Put

get :: Get (Method Low)

putList :: [Method Low] -> Put

NFData (Method High)

Defined in Language.JVM.Method

Methods

rnf :: Method High -> ()

NFData (Method Low)

Defined in Language.JVM.Method

Methods

rnf :: Method Low -> ()

type Rep (Method High)

Defined in Language.JVM.Method

type Rep (Method High) = D1 (MetaData "Method" "Language.JVM.Method" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Method" PrefixI True) ((S1 (MetaSel (Just "mAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 MAccessFlag)) :*: S1 (MetaSel (Just "mName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :*: (S1 (MetaSel (Just "mDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor High)) :*: S1 (MetaSel (Just "mAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes MethodAttributes High)))))

type Rep (Method Low)

Defined in Language.JVM.Method

type Rep (Method Low) = D1 (MetaData "Method" "Language.JVM.Method" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Method" PrefixI True) ((S1 (MetaSel (Just "mAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 MAccessFlag)) :*: S1 (MetaSel (Just "mName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :*: (S1 (MetaSel (Just "mDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref MethodDescriptor Low)) :*: S1 (MetaSel (Just "mAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes MethodAttributes Low)))))

mAccessFlags :: Method r -> Set MAccessFlag

Unpack the BitSet and get the AccessFlags as a Set.

Attributes

data MethodAttributes r

Constructors

MethodAttributes

Fields

• maCode :: [Code r]
• maExceptions :: [Exceptions r]
• maSignatures :: [Signature r]
• maAnnotationDefault :: [AnnotationDefault r]
• maMethodParameters :: [MethodParameters r]
• maVisibleAnnotations :: [RuntimeVisibleAnnotations r]
• maInvisibleAnnotations :: [RuntimeInvisibleAnnotations r]
• maVisibleParameterAnnotations :: [RuntimeVisibleParameterAnnotations r]
• maInvisibleParameterAnnotations :: [RuntimeInvisibleParameterAnnotations r]
• maVisibleTypeAnnotations :: [RuntimeVisibleTypeAnnotations MethodTypeAnnotation r]
• maInvisibleTypeAnnotations :: [RuntimeInvisibleTypeAnnotations MethodTypeAnnotation r]
• maOthers :: [Attribute r]

Instances

Eq (MethodAttributes High)

Defined in Language.JVM.Method

Methods

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

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

Eq (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

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

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

Ord (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

compare :: MethodAttributes Low -> MethodAttributes Low -> Ordering

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

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

(>) :: MethodAttributes Low -> MethodAttributes Low -> Bool

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

max :: MethodAttributes Low -> MethodAttributes Low -> MethodAttributes Low

min :: MethodAttributes Low -> MethodAttributes Low -> MethodAttributes Low

Show (MethodAttributes High)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> MethodAttributes High -> ShowS

show :: MethodAttributes High -> String

showList :: [MethodAttributes High] -> ShowS

Show (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

showsPrec :: Int -> MethodAttributes Low -> ShowS

show :: MethodAttributes Low -> String

showList :: [MethodAttributes Low] -> ShowS

Generic (MethodAttributes High)

Defined in Language.JVM.Method

Associated Types

type Rep (MethodAttributes High) :: Type -> Type

Methods

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

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

Generic (MethodAttributes Low)

Defined in Language.JVM.Method

Associated Types

type Rep (MethodAttributes Low) :: Type -> Type

Methods

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

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

NFData (MethodAttributes High)

Defined in Language.JVM.Method

Methods

rnf :: MethodAttributes High -> ()

NFData (MethodAttributes Low)

Defined in Language.JVM.Method

Methods

rnf :: MethodAttributes Low -> ()

type Rep (MethodAttributes High)

Defined in Language.JVM.Method

type Rep (MethodAttributes High) = D1 (MetaData "MethodAttributes" "Language.JVM.Method" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "MethodAttributes" PrefixI True) (((S1 (MetaSel (Just "maCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Code High]) :*: (S1 (MetaSel (Just "maExceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exceptions High]) :*: S1 (MetaSel (Just "maSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature High]))) :*: (S1 (MetaSel (Just "maAnnotationDefault") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AnnotationDefault High]) :*: (S1 (MetaSel (Just "maMethodParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MethodParameters High]) :*: S1 (MetaSel (Just "maVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleAnnotations High])))) :*: ((S1 (MetaSel (Just "maInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleAnnotations High]) :*: (S1 (MetaSel (Just "maVisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleParameterAnnotations High]) :*: S1 (MetaSel (Just "maInvisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleParameterAnnotations High]))) :*: (S1 (MetaSel (Just "maVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations MethodTypeAnnotation High]) :*: (S1 (MetaSel (Just "maInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations MethodTypeAnnotation High]) :*: S1 (MetaSel (Just "maOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High]))))))

type Rep (MethodAttributes Low)

Defined in Language.JVM.Method

type Rep (MethodAttributes Low) = D1 (MetaData "MethodAttributes" "Language.JVM.Method" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "MethodAttributes" PrefixI True) (((S1 (MetaSel (Just "maCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Code Low]) :*: (S1 (MetaSel (Just "maExceptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exceptions Low]) :*: S1 (MetaSel (Just "maSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature Low]))) :*: (S1 (MetaSel (Just "maAnnotationDefault") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AnnotationDefault Low]) :*: (S1 (MetaSel (Just "maMethodParameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MethodParameters Low]) :*: S1 (MetaSel (Just "maVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleAnnotations Low])))) :*: ((S1 (MetaSel (Just "maInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleAnnotations Low]) :*: (S1 (MetaSel (Just "maVisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleParameterAnnotations Low]) :*: S1 (MetaSel (Just "maInvisibleParameterAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleParameterAnnotations Low]))) :*: (S1 (MetaSel (Just "maVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations MethodTypeAnnotation Low]) :*: (S1 (MetaSel (Just "maInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations MethodTypeAnnotation Low]) :*: S1 (MetaSel (Just "maOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low]))))))

emptyMethodAttributes :: MethodAttributes High

mCode :: Method High -> Maybe (Code High)

Fetch the Code attribute, if any. There can only be one code attribute in a method.

mExceptions' :: Method High -> Maybe (Exceptions High)

Fetch the Exceptions attribute. There can only be one exceptions attribute in a method.

mExceptions :: Method High -> [ClassName]

Fetches the Exceptions attribute, but turns it into an list of exceptions. If no exceptions field where found the empty list is returned

mSignature :: Method High -> Maybe (Signature High)

Fetches the Signature attribute, if any.