Safe Haskell	None
Language	GHC2021

JVM.Data.Abstract.ClassFile.Method

Documentation

data ClassFileMethod Source #

Constructors

ClassFileMethod
Fields methodAccessFlags :: [MethodAccessFlag] methodName :: Text methodDescriptor :: MethodDescriptor methodAttributes :: TypeMergingList MethodAttribute

Instances

Instances details

Show ClassFileMethod Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods showsPrec :: Int -> ClassFileMethod -> ShowS # show :: ClassFileMethod -> String # showList :: [ClassFileMethod] -> ShowS #
Pretty ClassFileMethod Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods pretty :: ClassFileMethod -> Doc ann Source # prettyList :: [ClassFileMethod] -> Doc ann Source #

data MethodAttribute Source #

Constructors

Code !CodeAttributeData

Instances

Instances details

Data MethodAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodAttribute -> c MethodAttribute #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodAttribute #

toConstr :: MethodAttribute -> Constr #

dataTypeOf :: MethodAttribute -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MethodAttribute) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodAttribute) #

gmapT :: (forall b. Data b => b -> b) -> MethodAttribute -> MethodAttribute #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodAttribute -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodAttribute -> r #

gmapQ :: (forall d. Data d => d -> u) -> MethodAttribute -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodAttribute -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodAttribute -> m MethodAttribute #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodAttribute -> m MethodAttribute #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodAttribute -> m MethodAttribute #

Generic MethodAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Associated Types

type Rep MethodAttribute
Instance details Defined in JVM.Data.Abstract.ClassFile.Method type Rep MethodAttribute = D1 ('MetaData "MethodAttribute" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CodeAttributeData)))

Methods

from :: MethodAttribute -> Rep MethodAttribute x #

to :: Rep MethodAttribute x -> MethodAttribute #

Show MethodAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

showsPrec :: Int -> MethodAttribute -> ShowS #

show :: MethodAttribute -> String #

showList :: [MethodAttribute] -> ShowS #

DataMergeable MethodAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

merge :: MethodAttribute -> MethodAttribute -> MethodAttribute Source #

Pretty MethodAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

pretty :: MethodAttribute -> Doc ann Source #

prettyList :: [MethodAttribute] -> Doc ann Source #

type Rep MethodAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

type Rep MethodAttribute = D1 ('MetaData "MethodAttribute" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CodeAttributeData)))

data CodeAttributeData Source #

Constructors

CodeAttributeData
Fields maxStack :: U2 maxLocals :: U2 code :: [Instruction] exceptionTable :: [ExceptionTableEntry] codeAttributes :: [CodeAttribute]

Instances

Instances details

Data CodeAttributeData Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CodeAttributeData -> c CodeAttributeData #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CodeAttributeData #

toConstr :: CodeAttributeData -> Constr #

dataTypeOf :: CodeAttributeData -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CodeAttributeData) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CodeAttributeData) #

gmapT :: (forall b. Data b => b -> b) -> CodeAttributeData -> CodeAttributeData #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttributeData -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttributeData -> r #

gmapQ :: (forall d. Data d => d -> u) -> CodeAttributeData -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CodeAttributeData -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CodeAttributeData -> m CodeAttributeData #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttributeData -> m CodeAttributeData #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttributeData -> m CodeAttributeData #

Generic CodeAttributeData Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Associated Types

type Rep CodeAttributeData

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

type Rep CodeAttributeData = D1 ('MetaData "CodeAttributeData" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "CodeAttributeData" 'PrefixI 'True) ((S1 ('MetaSel ('Just "maxStack") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2) :*: S1 ('MetaSel ('Just "maxLocals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2)) :*: (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Instruction]) :*: (S1 ('MetaSel ('Just "exceptionTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExceptionTableEntry]) :*: S1 ('MetaSel ('Just "codeAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CodeAttribute])))))

Methods

from :: CodeAttributeData -> Rep CodeAttributeData x #

to :: Rep CodeAttributeData x -> CodeAttributeData #

Show CodeAttributeData Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

showsPrec :: Int -> CodeAttributeData -> ShowS #

show :: CodeAttributeData -> String #

showList :: [CodeAttributeData] -> ShowS #

DataMergeable CodeAttributeData Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

merge :: CodeAttributeData -> CodeAttributeData -> CodeAttributeData Source #

Pretty CodeAttributeData Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

pretty :: CodeAttributeData -> Doc ann Source #

prettyList :: [CodeAttributeData] -> Doc ann Source #

type Rep CodeAttributeData Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

type Rep CodeAttributeData = D1 ('MetaData "CodeAttributeData" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "CodeAttributeData" 'PrefixI 'True) ((S1 ('MetaSel ('Just "maxStack") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2) :*: S1 ('MetaSel ('Just "maxLocals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2)) :*: (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Instruction]) :*: (S1 ('MetaSel ('Just "exceptionTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExceptionTableEntry]) :*: S1 ('MetaSel ('Just "codeAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CodeAttribute])))))

data ExceptionTableEntry Source #

Constructors

ExceptionTableEntry
Fields startPc :: Int endPc :: Int handlerPc :: Int catchType :: Maybe ClassInfoType

Instances

Instances details

Data ExceptionTableEntry Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExceptionTableEntry -> c ExceptionTableEntry #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExceptionTableEntry #

toConstr :: ExceptionTableEntry -> Constr #

dataTypeOf :: ExceptionTableEntry -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExceptionTableEntry) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExceptionTableEntry) #

gmapT :: (forall b. Data b => b -> b) -> ExceptionTableEntry -> ExceptionTableEntry #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExceptionTableEntry -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExceptionTableEntry -> r #

gmapQ :: (forall d. Data d => d -> u) -> ExceptionTableEntry -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExceptionTableEntry -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExceptionTableEntry -> m ExceptionTableEntry #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExceptionTableEntry -> m ExceptionTableEntry #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExceptionTableEntry -> m ExceptionTableEntry #

Generic ExceptionTableEntry Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Associated Types

type Rep ExceptionTableEntry

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

type Rep ExceptionTableEntry = D1 ('MetaData "ExceptionTableEntry" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "ExceptionTableEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "startPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "endPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "handlerPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "catchType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ClassInfoType)))))

Methods

from :: ExceptionTableEntry -> Rep ExceptionTableEntry x #

to :: Rep ExceptionTableEntry x -> ExceptionTableEntry #

Show ExceptionTableEntry Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

showsPrec :: Int -> ExceptionTableEntry -> ShowS #

show :: ExceptionTableEntry -> String #

showList :: [ExceptionTableEntry] -> ShowS #

Pretty ExceptionTableEntry Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

pretty :: ExceptionTableEntry -> Doc ann Source #

prettyList :: [ExceptionTableEntry] -> Doc ann Source #

type Rep ExceptionTableEntry Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

type Rep ExceptionTableEntry = D1 ('MetaData "ExceptionTableEntry" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "ExceptionTableEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "startPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "endPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "handlerPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "catchType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ClassInfoType)))))

data CodeAttribute Source #

Constructors

LineNumberTable [LineNumberTableEntry]
StackMapTable [StackMapFrame]

Instances

Instances details

Data CodeAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CodeAttribute -> c CodeAttribute #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CodeAttribute #

toConstr :: CodeAttribute -> Constr #

dataTypeOf :: CodeAttribute -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CodeAttribute) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CodeAttribute) #

gmapT :: (forall b. Data b => b -> b) -> CodeAttribute -> CodeAttribute #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttribute -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttribute -> r #

gmapQ :: (forall d. Data d => d -> u) -> CodeAttribute -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CodeAttribute -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CodeAttribute -> m CodeAttribute #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttribute -> m CodeAttribute #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttribute -> m CodeAttribute #

Generic CodeAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Associated Types

type Rep CodeAttribute

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

type Rep CodeAttribute = D1 ('MetaData "CodeAttribute" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "LineNumberTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LineNumberTableEntry])) :+: C1 ('MetaCons "StackMapTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [StackMapFrame])))

Methods

from :: CodeAttribute -> Rep CodeAttribute x #

to :: Rep CodeAttribute x -> CodeAttribute #

Show CodeAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

showsPrec :: Int -> CodeAttribute -> ShowS #

show :: CodeAttribute -> String #

showList :: [CodeAttribute] -> ShowS #

Eq CodeAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

(==) :: CodeAttribute -> CodeAttribute -> Bool #

(/=) :: CodeAttribute -> CodeAttribute -> Bool #

DataMergeable CodeAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

merge :: CodeAttribute -> CodeAttribute -> CodeAttribute Source #

Pretty CodeAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

Methods

pretty :: CodeAttribute -> Doc ann Source #

prettyList :: [CodeAttribute] -> Doc ann Source #

type Rep CodeAttribute Source #

Instance details

Defined in JVM.Data.Abstract.ClassFile.Method

type Rep CodeAttribute = D1 ('MetaData "CodeAttribute" "JVM.Data.Abstract.ClassFile.Method" "h2jvm-0.6.3.8-Ja8rkHiAzXe1IMrHjS0ZE2" 'False) (C1 ('MetaCons "LineNumberTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LineNumberTableEntry])) :+: C1 ('MetaCons "StackMapTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [StackMapFrame])))

data StackMapFrame Source #

Constructors

SameFrame Label
ChopFrame
Fields !U1 How many locals to chop !Label The label of the next instruction
SameLocals1StackItemFrame !VerificationTypeInfo Label
AppendFrame ![VerificationTypeInfo] !Label
FullFrame ![VerificationTypeInfo] ![VerificationTypeInfo] !Label

Instances

Instances details

Data StackMapFrame Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StackMapFrame -> c StackMapFrame # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StackMapFrame # toConstr :: StackMapFrame -> Constr # dataTypeOf :: StackMapFrame -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StackMapFrame) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StackMapFrame) # gmapT :: (forall b. Data b => b -> b) -> StackMapFrame -> StackMapFrame # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StackMapFrame -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StackMapFrame -> r # gmapQ :: (forall d. Data d => d -> u) -> StackMapFrame -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> StackMapFrame -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> StackMapFrame -> m StackMapFrame # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StackMapFrame -> m StackMapFrame # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StackMapFrame -> m StackMapFrame #
Show StackMapFrame Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods showsPrec :: Int -> StackMapFrame -> ShowS # show :: StackMapFrame -> String # showList :: [StackMapFrame] -> ShowS #
Eq StackMapFrame Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods (==) :: StackMapFrame -> StackMapFrame -> Bool # (/=) :: StackMapFrame -> StackMapFrame -> Bool #
Pretty StackMapFrame Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods pretty :: StackMapFrame -> Doc ann Source # prettyList :: [StackMapFrame] -> Doc ann Source #

data VerificationTypeInfo Source #

Constructors

TopVariableInfo
IntegerVariableInfo
FloatVariableInfo
LongVariableInfo
DoubleVariableInfo
NullVariableInfo
UninitializedThisVariableInfo
ObjectVariableInfo !ClassInfoType
UninitializedVariableInfo !Label

Instances

Instances details

Data VerificationTypeInfo Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VerificationTypeInfo -> c VerificationTypeInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VerificationTypeInfo # toConstr :: VerificationTypeInfo -> Constr # dataTypeOf :: VerificationTypeInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VerificationTypeInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VerificationTypeInfo) # gmapT :: (forall b. Data b => b -> b) -> VerificationTypeInfo -> VerificationTypeInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VerificationTypeInfo -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VerificationTypeInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> VerificationTypeInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VerificationTypeInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VerificationTypeInfo -> m VerificationTypeInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationTypeInfo -> m VerificationTypeInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VerificationTypeInfo -> m VerificationTypeInfo #
Show VerificationTypeInfo Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods showsPrec :: Int -> VerificationTypeInfo -> ShowS # show :: VerificationTypeInfo -> String # showList :: [VerificationTypeInfo] -> ShowS #
Eq VerificationTypeInfo Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods (==) :: VerificationTypeInfo -> VerificationTypeInfo -> Bool # (/=) :: VerificationTypeInfo -> VerificationTypeInfo -> Bool #
Pretty VerificationTypeInfo Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods pretty :: VerificationTypeInfo -> Doc ann Source # prettyList :: [VerificationTypeInfo] -> Doc ann Source #

data LineNumberTableEntry Source #

Constructors

LineNumberTableEntry
Fields lineNumberTableEntryStartPc :: U2 lineNumberTableEntryLineNumber :: U2

Instances

Instances details

Data LineNumberTableEntry Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LineNumberTableEntry -> c LineNumberTableEntry # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LineNumberTableEntry # toConstr :: LineNumberTableEntry -> Constr # dataTypeOf :: LineNumberTableEntry -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LineNumberTableEntry) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LineNumberTableEntry) # gmapT :: (forall b. Data b => b -> b) -> LineNumberTableEntry -> LineNumberTableEntry # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LineNumberTableEntry -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LineNumberTableEntry -> r # gmapQ :: (forall d. Data d => d -> u) -> LineNumberTableEntry -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LineNumberTableEntry -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LineNumberTableEntry -> m LineNumberTableEntry # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LineNumberTableEntry -> m LineNumberTableEntry # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LineNumberTableEntry -> m LineNumberTableEntry #
Show LineNumberTableEntry Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods showsPrec :: Int -> LineNumberTableEntry -> ShowS # show :: LineNumberTableEntry -> String # showList :: [LineNumberTableEntry] -> ShowS #
Eq LineNumberTableEntry Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods (==) :: LineNumberTableEntry -> LineNumberTableEntry -> Bool # (/=) :: LineNumberTableEntry -> LineNumberTableEntry -> Bool #
Pretty LineNumberTableEntry Source #
Instance details Defined in JVM.Data.Abstract.ClassFile.Method Methods pretty :: LineNumberTableEntry -> Doc ann Source # prettyList :: [LineNumberTableEntry] -> Doc ann Source #