Copyright	(c) Christian Gram Kalhauge 2018
License	MIT
Maintainer	kalhuage@cs.ucla.edu
Safe Haskell	None
Language	Haskell2010

Language.JVM.Attribute.StackMapTable

Contents

Helper functions

Description

Based on the StackMapTable Attribute, as documented here.

Synopsis

Documentation

newtype StackMapTable r Source #

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 Source #
Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low) Source #
Eq (StackMapTable High) Source #
Methods (==) :: StackMapTable High -> StackMapTable High -> Bool # (/=) :: StackMapTable High -> StackMapTable High -> Bool #
Eq (StackMapTable Low) Source #
Methods (==) :: StackMapTable Low -> StackMapTable Low -> Bool # (/=) :: StackMapTable Low -> StackMapTable Low -> Bool #
Ord (StackMapTable Low) Source #
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) Source #
Methods showsPrec :: Int -> StackMapTable High -> ShowS # show :: StackMapTable High -> String # showList :: [StackMapTable High] -> ShowS #
Show (StackMapTable Low) Source #
Methods showsPrec :: Int -> StackMapTable Low -> ShowS # show :: StackMapTable Low -> String # showList :: [StackMapTable Low] -> ShowS #
Generic (StackMapTable High) Source #
Associated Types type Rep (StackMapTable High) :: * -> * # Methods from :: StackMapTable High -> Rep (StackMapTable High) x # to :: Rep (StackMapTable High) x -> StackMapTable High #
Generic (StackMapTable Low) Source #
Associated Types type Rep (StackMapTable Low) :: * -> * # Methods from :: StackMapTable Low -> Rep (StackMapTable Low) x # to :: Rep (StackMapTable Low) x -> StackMapTable Low #
Binary (StackMapTable Low) Source #
Methods put :: StackMapTable Low -> Put # get :: Get (StackMapTable Low) # putList :: [StackMapTable Low] -> Put #
NFData (StackMapTable High) Source #
Methods rnf :: StackMapTable High -> () #
NFData (StackMapTable Low) Source #
Methods rnf :: StackMapTable Low -> () #
IsAttribute (StackMapTable Low) Source #	`StackMapTable` is an Attribute.
Methods attrName :: Const Text (StackMapTable Low) Source #
type Rep (StackMapTable High) Source #
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) Source #
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 Source #

A delta offset

data StackMapFrame r Source #

An stack map frame

Constructors

StackMapFrame
Fields deltaOffset :: DeltaOffset r frameType :: StackMapFrameType r

Instances

Eq (StackMapFrame High) Source #
Methods (==) :: StackMapFrame High -> StackMapFrame High -> Bool # (/=) :: StackMapFrame High -> StackMapFrame High -> Bool #
Eq (StackMapFrame Low) Source #
Methods (==) :: StackMapFrame Low -> StackMapFrame Low -> Bool # (/=) :: StackMapFrame Low -> StackMapFrame Low -> Bool #
Ord (StackMapFrame Low) Source #
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) Source #
Methods showsPrec :: Int -> StackMapFrame High -> ShowS # show :: StackMapFrame High -> String # showList :: [StackMapFrame High] -> ShowS #
Show (StackMapFrame Low) Source #
Methods showsPrec :: Int -> StackMapFrame Low -> ShowS # show :: StackMapFrame Low -> String # showList :: [StackMapFrame Low] -> ShowS #
Generic (StackMapFrame High) Source #
Associated Types type Rep (StackMapFrame High) :: * -> * # Methods from :: StackMapFrame High -> Rep (StackMapFrame High) x # to :: Rep (StackMapFrame High) x -> StackMapFrame High #
Generic (StackMapFrame Low) Source #
Associated Types type Rep (StackMapFrame Low) :: * -> * # Methods from :: StackMapFrame Low -> Rep (StackMapFrame Low) x # to :: Rep (StackMapFrame Low) x -> StackMapFrame Low #
Binary (StackMapFrame Low) Source #
Methods put :: StackMapFrame Low -> Put # get :: Get (StackMapFrame Low) # putList :: [StackMapFrame Low] -> Put #
NFData (StackMapFrame High) Source #
Methods rnf :: StackMapFrame High -> () #
NFData (StackMapFrame Low) Source #
Methods rnf :: StackMapFrame Low -> () #
type Rep (StackMapFrame High) Source #
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) Source #
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 Source #

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 Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> StackMapFrameType r -> m (StackMapFrameType r') Source # evolve :: EvolveM m => StackMapFrameType Low -> m (StackMapFrameType High) Source # devolve :: DevolveM m => StackMapFrameType High -> m (StackMapFrameType Low) Source #
Eq (StackMapFrameType High) Source #
Methods (==) :: StackMapFrameType High -> StackMapFrameType High -> Bool # (/=) :: StackMapFrameType High -> StackMapFrameType High -> Bool #
Eq (StackMapFrameType Low) Source #
Methods (==) :: StackMapFrameType Low -> StackMapFrameType Low -> Bool # (/=) :: StackMapFrameType Low -> StackMapFrameType Low -> Bool #
Ord (StackMapFrameType Low) Source #
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) Source #
Methods showsPrec :: Int -> StackMapFrameType High -> ShowS # show :: StackMapFrameType High -> String # showList :: [StackMapFrameType High] -> ShowS #
Show (StackMapFrameType Low) Source #
Methods showsPrec :: Int -> StackMapFrameType Low -> ShowS # show :: StackMapFrameType Low -> String # showList :: [StackMapFrameType Low] -> ShowS #
Generic (StackMapFrameType High) Source #
Associated Types type Rep (StackMapFrameType High) :: * -> * # Methods from :: StackMapFrameType High -> Rep (StackMapFrameType High) x # to :: Rep (StackMapFrameType High) x -> StackMapFrameType High #
Generic (StackMapFrameType Low) Source #
Associated Types type Rep (StackMapFrameType Low) :: * -> * # Methods from :: StackMapFrameType Low -> Rep (StackMapFrameType Low) x # to :: Rep (StackMapFrameType Low) x -> StackMapFrameType Low #
NFData (StackMapFrameType High) Source #
Methods rnf :: StackMapFrameType High -> () #
NFData (StackMapFrameType Low) Source #
Methods rnf :: StackMapFrameType Low -> () #
type Rep (StackMapFrameType High) Source #
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) Source #
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 Source #

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 Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> VerificationTypeInfo r -> m (VerificationTypeInfo r') Source # evolve :: EvolveM m => VerificationTypeInfo Low -> m (VerificationTypeInfo High) Source # devolve :: DevolveM m => VerificationTypeInfo High -> m (VerificationTypeInfo Low) Source #
Eq (VerificationTypeInfo High) Source #
Methods (==) :: VerificationTypeInfo High -> VerificationTypeInfo High -> Bool # (/=) :: VerificationTypeInfo High -> VerificationTypeInfo High -> Bool #
Eq (VerificationTypeInfo Low) Source #
Methods (==) :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Bool # (/=) :: VerificationTypeInfo Low -> VerificationTypeInfo Low -> Bool #
Ord (VerificationTypeInfo Low) Source #
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) Source #
Methods showsPrec :: Int -> VerificationTypeInfo High -> ShowS # show :: VerificationTypeInfo High -> String # showList :: [VerificationTypeInfo High] -> ShowS #
Show (VerificationTypeInfo Low) Source #
Methods showsPrec :: Int -> VerificationTypeInfo Low -> ShowS # show :: VerificationTypeInfo Low -> String # showList :: [VerificationTypeInfo Low] -> ShowS #
Generic (VerificationTypeInfo High) Source #
Associated Types type Rep (VerificationTypeInfo High) :: * -> * # Methods from :: VerificationTypeInfo High -> Rep (VerificationTypeInfo High) x # to :: Rep (VerificationTypeInfo High) x -> VerificationTypeInfo High #
Generic (VerificationTypeInfo Low) Source #
Associated Types type Rep (VerificationTypeInfo Low) :: * -> * # Methods from :: VerificationTypeInfo Low -> Rep (VerificationTypeInfo Low) x # to :: Rep (VerificationTypeInfo Low) x -> VerificationTypeInfo Low #
Binary (VerificationTypeInfo Low) Source #
Methods put :: VerificationTypeInfo Low -> Put # get :: Get (VerificationTypeInfo Low) # putList :: [VerificationTypeInfo Low] -> Put #
NFData (VerificationTypeInfo High) Source #
Methods rnf :: VerificationTypeInfo High -> () #
NFData (VerificationTypeInfo Low) Source #
Methods rnf :: VerificationTypeInfo Low -> () #
type Rep (VerificationTypeInfo High) Source #
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) Source #
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 Source #

Arguments

:: Word16	Last Index
-> Word16	Delta
-> Word16	This Index

offsetDeltaInv Source #

Arguments

:: Word16	Last Index
-> Word16	Current Index
-> Word16	Delta