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.4.0-3E0hqhYBs599hoWoNCv9Kr" 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.4.0-3E0hqhYBs599hoWoNCv9Kr" 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]
• 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.4.0-3E0hqhYBs599hoWoNCv9Kr" 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 "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.4.0-3E0hqhYBs599hoWoNCv9Kr" 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 "maOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low]))))

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.