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

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)

Methods

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

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

Eq (StackMapTable Low)

Methods

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

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

Ord (StackMapTable Low)

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)

Methods

showsPrec :: Int -> StackMapTable High -> ShowS

show :: StackMapTable High -> String

showList :: [StackMapTable High] -> ShowS

Show (StackMapTable Low)

Methods

showsPrec :: Int -> StackMapTable Low -> ShowS

show :: StackMapTable Low -> String

showList :: [StackMapTable Low] -> ShowS

Generic (StackMapTable High)

Associated Types

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

Methods

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

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

Generic (StackMapTable Low)

Associated Types

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

Methods

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

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

Binary (StackMapTable Low)

Methods

put :: StackMapTable Low -> Put

get :: Get (StackMapTable Low)

putList :: [StackMapTable Low] -> Put

NFData (StackMapTable High)

Methods

rnf :: StackMapTable High -> ()

NFData (StackMapTable Low)

Methods

rnf :: StackMapTable Low -> ()

IsAttribute (StackMapTable Low)

StackMapTable is an Attribute.

Methods

attrName :: Const Text (StackMapTable Low)

type Rep (StackMapTable High)

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

type Rep (StackMapTable Low)

type Rep (StackMapTable Low) = D1 * (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "StackMapTable" PrefixI True) (S1 * (MetaSel (Just Symbol "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)

Methods

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

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

Eq (StackMapFrame Low)

Methods

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

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

Ord (StackMapFrame Low)

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)

Methods

showsPrec :: Int -> StackMapFrame High -> ShowS

show :: StackMapFrame High -> String

showList :: [StackMapFrame High] -> ShowS

Show (StackMapFrame Low)

Methods

showsPrec :: Int -> StackMapFrame Low -> ShowS

show :: StackMapFrame Low -> String

showList :: [StackMapFrame Low] -> ShowS

Generic (StackMapFrame High)

Associated Types

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

Methods

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

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

Generic (StackMapFrame Low)

Associated Types

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

Methods

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

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

Binary (StackMapFrame Low)

Methods

put :: StackMapFrame Low -> Put

get :: Get (StackMapFrame Low)

putList :: [StackMapFrame Low] -> Put

NFData (StackMapFrame High)

Methods

rnf :: StackMapFrame High -> ()

NFData (StackMapFrame Low)

Methods

rnf :: StackMapFrame Low -> ()

type Rep (StackMapFrame High)

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

type Rep (StackMapFrame Low)

type Rep (StackMapFrame Low) = D1 * (MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "StackMapFrame" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "deltaOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (DeltaOffset Low))) (S1 * (MetaSel (Just Symbol "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

Staged StackMapFrameType

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> StackMapFrameType r -> m (StackMapFrameType r')

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

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

Eq (StackMapFrameType High)

Methods

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

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

Eq (StackMapFrameType Low)

Methods

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

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

Ord (StackMapFrameType Low)

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)

Methods

showsPrec :: Int -> StackMapFrameType High -> ShowS

show :: StackMapFrameType High -> String

showList :: [StackMapFrameType High] -> ShowS

Show (StackMapFrameType Low)

Methods

showsPrec :: Int -> StackMapFrameType Low -> ShowS

show :: StackMapFrameType Low -> String

showList :: [StackMapFrameType Low] -> ShowS

Generic (StackMapFrameType High)

Associated Types

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

Methods

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

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

Generic (StackMapFrameType Low)

Associated Types

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

Methods

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

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

NFData (StackMapFrameType High)

Methods

rnf :: StackMapFrameType High -> ()

NFData (StackMapFrameType Low)

Methods

rnf :: StackMapFrameType Low -> ()

type Rep (StackMapFrameType High)

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

type Rep (StackMapFrameType Low)

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

data VerificationTypeInfo r

The types info of the stack map frame.

Constructors

VTTop

VTInteger

VTFloat

VTLong

VTDouble

VTNull

VTUninitializedThis

VTObject (Ref ClassName r)

VTUninitialized !Word16

Instances

Staged VerificationTypeInfo

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> VerificationTypeInfo r -> m (VerificationTypeInfo r')

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

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

Eq (VerificationTypeInfo High)

Methods

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

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

Eq (VerificationTypeInfo Low)

Methods

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

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

Ord (VerificationTypeInfo Low)

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)

Methods

showsPrec :: Int -> VerificationTypeInfo High -> ShowS

show :: VerificationTypeInfo High -> String

showList :: [VerificationTypeInfo High] -> ShowS

Show (VerificationTypeInfo Low)

Methods

showsPrec :: Int -> VerificationTypeInfo Low -> ShowS

show :: VerificationTypeInfo Low -> String

showList :: [VerificationTypeInfo Low] -> ShowS

Generic (VerificationTypeInfo High)

Associated Types

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

Methods

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

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

Generic (VerificationTypeInfo Low)

Associated Types

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

Methods

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

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

Binary (VerificationTypeInfo Low)

Methods

put :: VerificationTypeInfo Low -> Put

get :: Get (VerificationTypeInfo Low)

putList :: [VerificationTypeInfo Low] -> Put

NFData (VerificationTypeInfo High)

Methods

rnf :: VerificationTypeInfo High -> ()

NFData (VerificationTypeInfo Low)

Methods

rnf :: VerificationTypeInfo Low -> ()

type Rep (VerificationTypeInfo High)

type Rep (VerificationTypeInfo High) = D1 * (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "VTTop" PrefixI False) (U1 *)) (C1 * (MetaCons "VTInteger" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "VTFloat" PrefixI False) (U1 *)) (C1 * (MetaCons "VTLong" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "VTDouble" PrefixI False) (U1 *)) (C1 * (MetaCons "VTNull" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "VTUninitializedThis" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "VTObject" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName High)))) (C1 * (MetaCons "VTUninitialized" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)))))))

type Rep (VerificationTypeInfo Low)

type Rep (VerificationTypeInfo Low) = D1 * (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "VTTop" PrefixI False) (U1 *)) (C1 * (MetaCons "VTInteger" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "VTFloat" PrefixI False) (U1 *)) (C1 * (MetaCons "VTLong" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "VTDouble" PrefixI False) (U1 *)) (C1 * (MetaCons "VTNull" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "VTUninitializedThis" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "VTObject" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Ref ClassName Low)))) (C1 * (MetaCons "VTUninitialized" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)))))))

Helper functions

offsetDelta

Arguments

:: Word16

Last Index

-> Word16

Delta

-> Word16

This Index

offsetDeltaInv

Arguments

:: Word16

Last Index

-> Word16

Current Index

-> Word16

Delta