Language.JVM.Attribute.LineNumberTable

Based on the LineNumberTable Attribute, as documented here.

Documentation

newtype LineNumberTable r

The LineNumberTable is just a mapping from offsets to linenumbers.

Constructors

LineNumberTable

Fields

• lineNumberTable :: IntMap LineNumber

Instances

ByteCodeStaged LineNumberTable

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High)

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low)

Eq (LineNumberTable r)

Methods

(==) :: LineNumberTable r -> LineNumberTable r -> Bool

(/=) :: LineNumberTable r -> LineNumberTable r -> Bool

Ord (LineNumberTable r)

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)

Methods

showsPrec :: Int -> LineNumberTable r -> ShowS

show :: LineNumberTable r -> String

showList :: [LineNumberTable r] -> ShowS

Generic (LineNumberTable r)

Associated Types

type Rep (LineNumberTable r) :: * -> *

Methods

from :: LineNumberTable r -> Rep (LineNumberTable r) x

to :: Rep (LineNumberTable r) x -> LineNumberTable r

Binary (LineNumberTable Low)

Methods

put :: LineNumberTable Low -> Put

get :: Get (LineNumberTable Low)

putList :: [LineNumberTable Low] -> Put

NFData (LineNumberTable r)

Methods

rnf :: LineNumberTable r -> ()

IsAttribute (LineNumberTable Low)

Signature is an Attribute.

Methods

attrName :: Const Text (LineNumberTable Low)

type Rep (LineNumberTable r)

type Rep (LineNumberTable r) = D1 * (MetaData "LineNumberTable" "Language.JVM.Attribute.LineNumberTable" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "LineNumberTable" PrefixI True) (S1 * (MetaSel (Just Symbol "lineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (IntMap LineNumber))))

type LineNumber = Word16

type BinaryFormat = SizedList16 (Word16, LineNumber)

Helper functions

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

Returns the line number of an offset.

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

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