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.8.0-HpvPbNkzsQo844TuM02sMI" 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.8.0-HpvPbNkzsQo844TuM02sMI" 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.8.0-HpvPbNkzsQo844TuM02sMI" 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.8.0-HpvPbNkzsQo844TuM02sMI" 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

Staged StackMapFrameType

Defined in Language.JVM.Attribute.StackMapTable

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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)

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.8.0-HpvPbNkzsQo844TuM02sMI" 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.8.0-HpvPbNkzsQo844TuM02sMI" 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 !Word16

Instances

Staged VerificationTypeInfo

Defined in Language.JVM.Attribute.StackMapTable

Methods

stage :: LabelM m => (forall (s' :: Type -> Type). 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)

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.8.0-HpvPbNkzsQo844TuM02sMI" 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 NoSourceStrictness DecidedLazy) (Rec0 (Ref JRefType High))) :+: C1 (MetaCons "VTUninitialized" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16))))))

type Rep (VerificationTypeInfo Low)

Defined in Language.JVM.Attribute.StackMapTable

type Rep (VerificationTypeInfo Low) = D1 (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.8.0-HpvPbNkzsQo844TuM02sMI" 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 NoSourceStrictness DecidedLazy) (Rec0 (Ref JRefType Low))) :+: C1 (MetaCons "VTUninitialized" PrefixI False) (S1 (MetaSel (Nothing :: Maybe 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