jvm-binary-0.9.0: A library for reading Java class-files

Copyright(c) Christian Gram Kalhauge 2018
LicenseMIT
Maintainerkalhuage@cs.ucla.edu
Safe HaskellNone
LanguageHaskell2010

Language.JVM.Attribute.StackMapTable

Contents

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

Instances
ByteCodeStaged StackMapTable Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

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 # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapTable Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (StackMapTable Low) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable High -> ShowS #

show :: StackMapTable High -> String #

showList :: [StackMapTable High] -> ShowS #

Show (StackMapTable Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapTable Low -> ShowS #

show :: StackMapTable Low -> String #

showList :: [StackMapTable Low] -> ShowS #

Generic (StackMapTable High) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapTable Low -> Put #

get :: Get (StackMapTable Low) #

putList :: [StackMapTable Low] -> Put #

NFData (StackMapTable High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable High -> () #

NFData (StackMapTable Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapTable Low -> () #

IsAttribute (StackMapTable Low) Source #

StackMapTable is an Attribute.

Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

attrName :: Const Text (StackMapTable Low) Source #

type Rep (StackMapTable High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapTable High) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapTable Low) = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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 Source #

A delta offset

data StackMapFrame r Source #

An stack map frame

Constructors

StackMapFrame 

Fields

Instances
Eq (StackMapFrame High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrame Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (StackMapFrame Low) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrame High -> ShowS #

show :: StackMapFrame High -> String #

showList :: [StackMapFrame High] -> ShowS #

Show (StackMapFrame Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrame Low -> ShowS #

show :: StackMapFrame Low -> String #

showList :: [StackMapFrame Low] -> ShowS #

Generic (StackMapFrame High) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: StackMapFrame Low -> Put #

get :: Get (StackMapFrame Low) #

putList :: [StackMapFrame Low] -> Put #

NFData (StackMapFrame High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrame High -> () #

NFData (StackMapFrame Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrame Low -> () #

type Rep (StackMapFrame High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrame High) = D1 (MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrame Low) = D1 (MetaData "StackMapFrame" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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 Source #

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 Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrameType High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (StackMapFrameType Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (StackMapFrameType Low) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrameType High -> ShowS #

show :: StackMapFrameType High -> String #

showList :: [StackMapFrameType High] -> ShowS #

Show (StackMapFrameType Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> StackMapFrameType Low -> ShowS #

show :: StackMapFrameType Low -> String #

showList :: [StackMapFrameType Low] -> ShowS #

Generic (StackMapFrameType High) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrameType High -> () #

NFData (StackMapFrameType Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: StackMapFrameType Low -> () #

type Rep (StackMapFrameType High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrameType High) = D1 (MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (StackMapFrameType Low) = D1 (MetaData "StackMapFrameType" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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 Source #

data VerificationTypeInfo r Source #

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 Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (VerificationTypeInfo High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Eq (VerificationTypeInfo Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

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

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

Ord (VerificationTypeInfo Low) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> VerificationTypeInfo High -> ShowS #

show :: VerificationTypeInfo High -> String #

showList :: [VerificationTypeInfo High] -> ShowS #

Show (VerificationTypeInfo Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

showsPrec :: Int -> VerificationTypeInfo Low -> ShowS #

show :: VerificationTypeInfo Low -> String #

showList :: [VerificationTypeInfo Low] -> ShowS #

Generic (VerificationTypeInfo High) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

put :: VerificationTypeInfo Low -> Put #

get :: Get (VerificationTypeInfo Low) #

putList :: [VerificationTypeInfo Low] -> Put #

NFData (VerificationTypeInfo High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: VerificationTypeInfo High -> () #

NFData (VerificationTypeInfo Low) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

Methods

rnf :: VerificationTypeInfo Low -> () #

type Rep (VerificationTypeInfo High) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (VerificationTypeInfo High) = D1 (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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) Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

type Rep (VerificationTypeInfo Low) = D1 (MetaData "VerificationTypeInfo" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" 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 Source #

Arguments

:: Word16

Last Index

-> Word16

Delta

-> Word16

This Index

offsetDeltaInv Source #

Arguments

:: Word16

Last Index

-> Word16

Current Index

-> Word16

Delta