jvm-binary-0.2.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) :: * -> * #

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) :: * -> * #

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.2.0-ADCW9RHs0rpAV30EV0jcz6" 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.2.0-ADCW9RHs0rpAV30EV0jcz6" 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) :: * -> * #

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) :: * -> * #

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.2.0-ADCW9RHs0rpAV30EV0jcz6" 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.2.0-ADCW9RHs0rpAV30EV0jcz6" 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
Staged StackMapFrameType Source # 
Instance details

Defined in Language.JVM.Attribute.StackMapTable

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 # 
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) :: * -> * #

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) :: * -> * #

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.2.0-ADCW9RHs0rpAV30EV0jcz6" False) ((C1 (MetaCons "SameFrame" PrefixI False) (U1 :: * -> *) :+: 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.2.0-ADCW9RHs0rpAV30EV0jcz6" False) ((C1 (MetaCons "SameFrame" PrefixI False) (U1 :: * -> *) :+: 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)))))))

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

Defined in Language.JVM.Attribute.StackMapTable

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 # 
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) :: * -> * #

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) :: * -> * #

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