Language.JVM.Attribute.StackMapTable

Based on the StackMapTable Attribute, as documented here.

Documentation

newtype StackMapTable r

An Exceptions attribute is a list of references into the constant pool.

Constructors

StackMapTable

Fields

• stackMapTable :: Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] r

Instances

ByteCodeStaged StackMapTable

Defined in Language.JVM.Attribute.StackMapTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low)

Eq (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: StackMapTable Low -> StackMapTable Low -> Ordering

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

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

(>) :: StackMapTable Low -> StackMapTable Low -> Bool

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

max :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low

min :: StackMapTable Low -> StackMapTable Low -> StackMapTable Low

Show (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable High -> ShowS

show :: StackMapTable High -> String

showList :: [StackMapTable High] -> ShowS

Show (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable Low -> ShowS

show :: StackMapTable Low -> String

showList :: [StackMapTable Low] -> ShowS

Generic (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Binary (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapTable Low -> Put

get :: Get (StackMapTable Low)

putList :: [StackMapTable Low] -> Put

NFData (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable High -> ()

NFData (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable Low -> ()

IsAttribute (StackMapTable Low)

StackMapTable is an Attribute.

Defined in Language.JVM.Attribute.StackMapTable

Methods

attrName :: Const Text (StackMapTable Low)

type Rep (StackMapTable High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapTable High) = D1 ('MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "StackMapTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "stackMapTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] High))))

type Rep (StackMapTable Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapTable Low) = D1 ('MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "StackMapTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "stackMapTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Choice (SizedList16 (StackMapFrame Low)) [StackMapFrame High] Low))))

type DeltaOffset i = Choice Word16 Int i

A delta offset

data StackMapFrame r

An stack map frame

Constructors

StackMapFrame

Fields

• deltaOffset :: DeltaOffset r
• frameType :: StackMapFrameType r

Instances

Eq (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: StackMapFrame Low -> StackMapFrame Low -> Ordering

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

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

(>) :: StackMapFrame Low -> StackMapFrame Low -> Bool

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

max :: StackMapFrame Low -> StackMapFrame Low -> StackMapFrame Low

min :: StackMapFrame Low -> StackMapFrame Low -> StackMapFrame Low

Show (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrame High -> ShowS

show :: StackMapFrame High -> String

showList :: [StackMapFrame High] -> ShowS

Show (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrame Low -> ShowS

show :: StackMapFrame Low -> String

showList :: [StackMapFrame Low] -> ShowS

Generic (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Binary (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapFrame Low -> Put

get :: Get (StackMapFrame Low)

putList :: [StackMapFrame Low] -> Put

NFData (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrame High -> ()

NFData (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrame Low -> ()

type Rep (StackMapFrame High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrame High) = D1 ('MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "StackMapFrame" 'PrefixI 'True) (S1 ('MetaSel ('Just "deltaOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DeltaOffset High)) :*: S1 ('MetaSel ('Just "frameType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StackMapFrameType High))))

type Rep (StackMapFrame Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrame Low) = D1 ('MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "StackMapFrame" 'PrefixI 'True) (S1 ('MetaSel ('Just "deltaOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DeltaOffset Low)) :*: S1 ('MetaSel ('Just "frameType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StackMapFrameType Low))))

data StackMapFrameType r

An stack map frame type

Constructors

SameFrame

SameLocals1StackItemFrame (VerificationTypeInfo r)

ChopFrame Word8

AppendFrame [VerificationTypeInfo r]

FullFrame (SizedList16 (VerificationTypeInfo r)) (SizedList16 (VerificationTypeInfo r))

Instances

ByteCodeStaged StackMapFrameType

Defined in Language.JVM.Attribute.StackMapTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapFrameType Low -> m (StackMapFrameType High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapFrameType High -> m (StackMapFrameType Low)

Eq (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: StackMapFrameType Low -> StackMapFrameType Low -> Ordering

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

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

(>) :: StackMapFrameType Low -> StackMapFrameType Low -> Bool

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

max :: StackMapFrameType Low -> StackMapFrameType Low -> StackMapFrameType Low

min :: StackMapFrameType Low -> StackMapFrameType Low -> StackMapFrameType Low

Show (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrameType High -> ShowS

show :: StackMapFrameType High -> String

showList :: [StackMapFrameType High] -> ShowS

Show (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrameType Low -> ShowS

show :: StackMapFrameType Low -> String

showList :: [StackMapFrameType Low] -> ShowS

Generic (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

NFData (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrameType High -> ()

NFData (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrameType Low -> ()

type Rep (StackMapFrameType High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrameType High) = D1 ('MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "SameFrame" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SameLocals1StackItemFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerificationTypeInfo High)))) :+: (C1 ('MetaCons "ChopFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)) :+: (C1 ('MetaCons "AppendFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VerificationTypeInfo High])) :+: C1 ('MetaCons "FullFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo High))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo High)))))))

type Rep (StackMapFrameType Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrameType Low) = D1 ('MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) ((C1 ('MetaCons "SameFrame" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SameLocals1StackItemFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerificationTypeInfo Low)))) :+: (C1 ('MetaCons "ChopFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)) :+: (C1 ('MetaCons "AppendFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VerificationTypeInfo Low])) :+: C1 ('MetaCons "FullFrame" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo Low))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SizedList16 (VerificationTypeInfo Low)))))))

emptyStackMapTable :: StackMapTable High

data VerificationTypeInfo r

The types info of the stack map frame.

Constructors

VTTop

VTInteger

VTFloat

VTLong

VTDouble

VTNull

VTUninitializedThis

VTObject !(Ref JRefType r)

VTUninitialized !(ByteCodeRef r)

This ByteCodeRef refers to the "new" bytcode instruction which created the object.

Instances

ByteCodeStaged VerificationTypeInfo

Defined in Language.JVM.Attribute.StackMapTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> VerificationTypeInfo Low -> m (VerificationTypeInfo High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> VerificationTypeInfo High -> m (VerificationTypeInfo Low)

Eq (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

compare :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Ordering

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

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

(>) :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Bool

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

max :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> VerificationTypeInfo Low

min :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> VerificationTypeInfo Low

Show (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> VerificationTypeInfo High -> ShowS

show :: VerificationTypeInfo High -> String

showList :: [VerificationTypeInfo High] -> ShowS

Show (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> VerificationTypeInfo Low -> ShowS

show :: VerificationTypeInfo Low -> String

showList :: [VerificationTypeInfo Low] -> ShowS

Generic (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Generic (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Associated Types

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

Methods

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

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

Binary (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: VerificationTypeInfo Low -> Put

get :: Get (VerificationTypeInfo Low)

putList :: [VerificationTypeInfo Low] -> Put

NFData (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: VerificationTypeInfo High -> ()

NFData (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: VerificationTypeInfo Low -> ()

type Rep (VerificationTypeInfo High)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (VerificationTypeInfo High) = D1 ('MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "VTTop" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VTInteger" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VTFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VTLong" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VTDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VTNull" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VTUninitializedThis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VTObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref JRefType High))) :+: C1 ('MetaCons "VTUninitialized" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ByteCodeRef High)))))))

type Rep (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (VerificationTypeInfo Low) = D1 ('MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "VTTop" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VTInteger" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VTFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VTLong" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VTDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VTNull" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VTUninitializedThis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VTObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Ref JRefType Low))) :+: C1 ('MetaCons "VTUninitialized" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ByteCodeRef Low)))))))

Helper functions

offsetDelta

Arguments

:: Word16

Last Index

-> Word16

Delta

-> Word16

This Index

offsetDeltaInv

Arguments

:: Word16

Last Index

-> Word16

Current Index

-> Word16

Delta