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

Language.JVM.Attribute.LineNumberTable

Contents

Helper functions

Description

Based on the LineNumberTable Attribute, as documented here.

Synopsis

newtype LineNumberTable r = LineNumberTable {
- lineNumberTable :: IntMap LineNumber
}
type LineNumber = Word16
type BinaryFormat = SizedList16 (Word16, LineNumber)
linenumber :: Int -> LineNumberTable r -> Maybe LineNumber
linenumber' :: Integral a => a -> LineNumberTable r -> Maybe LineNumber

Documentation

newtype LineNumberTable r Source #

The LineNumberTable is just a mapping from offsets to linenumbers.

Constructors

LineNumberTable
Fields lineNumberTable :: IntMap LineNumber

Instances

Instances details

ByteCodeStaged LineNumberTable Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low) Source #
Eq (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods (==) :: LineNumberTable r -> LineNumberTable r -> Bool # (/=) :: LineNumberTable r -> LineNumberTable r -> Bool #
Ord (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods compare :: LineNumberTable r -> LineNumberTable r -> Ordering # (<) :: LineNumberTable r -> LineNumberTable r -> Bool # (<=) :: LineNumberTable r -> LineNumberTable r -> Bool # (>) :: LineNumberTable r -> LineNumberTable r -> Bool # (>=) :: LineNumberTable r -> LineNumberTable r -> Bool # max :: LineNumberTable r -> LineNumberTable r -> LineNumberTable r # min :: LineNumberTable r -> LineNumberTable r -> LineNumberTable r #
Show (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods showsPrec :: Int -> LineNumberTable r -> ShowS # show :: LineNumberTable r -> String # showList :: [LineNumberTable r] -> ShowS #
Generic (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Associated Types type Rep (LineNumberTable r) :: Type -> Type # Methods from :: LineNumberTable r -> Rep (LineNumberTable r) x # to :: Rep (LineNumberTable r) x -> LineNumberTable r #
Binary (LineNumberTable Low) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods put :: LineNumberTable Low -> Put # get :: Get (LineNumberTable Low) # putList :: [LineNumberTable Low] -> Put #
NFData (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods rnf :: LineNumberTable r -> () #
IsAttribute (LineNumberTable Low) Source #	`Signature` is an Attribute.
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods attrName :: Const Text (LineNumberTable Low) Source #
type Rep (LineNumberTable r) Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable type Rep (LineNumberTable r) = D1 ('MetaData "LineNumberTable" "Language.JVM.Attribute.LineNumberTable" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'True) (C1 ('MetaCons "LineNumberTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "lineNumberTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap LineNumber))))

type LineNumber = Word16 Source #

type BinaryFormat = SizedList16 (Word16, LineNumber) Source #

Helper functions

linenumber :: Int -> LineNumberTable r -> Maybe LineNumber Source #

Returns the line number of an offset.

linenumber' :: Integral a => a -> LineNumberTable r -> Maybe LineNumber Source #

Returns the line number of an offset. Helper function that also does the conversion from integral to int.