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

Language.JVM.ConstantPool

Contents

Constant Pool

Description

This module contains the ConstantPool data structure and multiple other types, and classes.

Synopsis

Constant Pool

The ConstantPool contains all the constants, and is accessible using the Lookup methods.

newtype ConstantPool r Source #

A ConstantPool is just an IntMap. A IntMap is used, because constants are accessed using their byte-offset, and sometimes the offset depends on the constant size. See constantSize.

Constructors

ConstantPool
Fields unConstantPool :: IntMap (Constant r)

Instances

Eq (ConstantPool High) Source #
Methods (==) :: ConstantPool High -> ConstantPool High -> Bool # (/=) :: ConstantPool High -> ConstantPool High -> Bool #
Eq (ConstantPool Low) Source #
Methods (==) :: ConstantPool Low -> ConstantPool Low -> Bool # (/=) :: ConstantPool Low -> ConstantPool Low -> Bool #
Ord (ConstantPool Low) Source #
Methods compare :: ConstantPool Low -> ConstantPool Low -> Ordering # (<) :: ConstantPool Low -> ConstantPool Low -> Bool # (<=) :: ConstantPool Low -> ConstantPool Low -> Bool # (>) :: ConstantPool Low -> ConstantPool Low -> Bool # (>=) :: ConstantPool Low -> ConstantPool Low -> Bool # max :: ConstantPool Low -> ConstantPool Low -> ConstantPool Low # min :: ConstantPool Low -> ConstantPool Low -> ConstantPool Low #
Show (ConstantPool High) Source #
Methods showsPrec :: Int -> ConstantPool High -> ShowS # show :: ConstantPool High -> String # showList :: [ConstantPool High] -> ShowS #
Show (ConstantPool Low) Source #
Methods showsPrec :: Int -> ConstantPool Low -> ShowS # show :: ConstantPool Low -> String # showList :: [ConstantPool Low] -> ShowS #
Generic (ConstantPool High) Source #
Associated Types type Rep (ConstantPool High) :: * -> * # Methods from :: ConstantPool High -> Rep (ConstantPool High) x # to :: Rep (ConstantPool High) x -> ConstantPool High #
Generic (ConstantPool Low) Source #
Associated Types type Rep (ConstantPool Low) :: * -> * # Methods from :: ConstantPool Low -> Rep (ConstantPool Low) x # to :: Rep (ConstantPool Low) x -> ConstantPool Low #
Binary (ConstantPool Low) Source #
Methods put :: ConstantPool Low -> Put # get :: Get (ConstantPool Low) # putList :: [ConstantPool Low] -> Put #
NFData (ConstantPool High) Source #
Methods rnf :: ConstantPool High -> () #
NFData (ConstantPool Low) Source #
Methods rnf :: ConstantPool Low -> () #
MonadReader (String, ConstantPool High) Evolve #
Methods ask :: Evolve (String, ConstantPool High) # local :: ((String, ConstantPool High) -> (String, ConstantPool High)) -> Evolve a -> Evolve a # reader :: ((String, ConstantPool High) -> a) -> Evolve a #
type Rep (ConstantPool High) Source #
type Rep (ConstantPool High) = D1 * (MetaData "ConstantPool" "Language.JVM.ConstantPool" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ConstantPool" PrefixI True) (S1 * (MetaSel (Just Symbol "unConstantPool") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (IntMap (Constant High)))))
type Rep (ConstantPool Low) Source #
type Rep (ConstantPool Low) = D1 * (MetaData "ConstantPool" "Language.JVM.ConstantPool" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" True) (C1 * (MetaCons "ConstantPool" PrefixI True) (S1 * (MetaSel (Just Symbol "unConstantPool") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (IntMap (Constant Low)))))

access :: Index -> ConstantPool r -> Either PoolAccessError (Constant r) Source #

Access a constant in the constant pool

append :: Constant r -> ConstantPool r -> (Index, ConstantPool r) Source #

Append a constant to the constant pool, and get the offset.

empty :: ConstantPool r Source #

Creates an empty constant pool

data PoolAccessError Source #

A pool access error

Constructors

PoolAccessError
Fields paErrorRef :: !Word16 paErrorMsg :: String

Instances

Eq PoolAccessError Source #
Methods (==) :: PoolAccessError -> PoolAccessError -> Bool # (/=) :: PoolAccessError -> PoolAccessError -> Bool #
Show PoolAccessError Source #
Methods showsPrec :: Int -> PoolAccessError -> ShowS # show :: PoolAccessError -> String # showList :: [PoolAccessError] -> ShowS #
Generic PoolAccessError Source #
Associated Types type Rep PoolAccessError :: * -> * # Methods from :: PoolAccessError -> Rep PoolAccessError x # to :: Rep PoolAccessError x -> PoolAccessError #
NFData PoolAccessError Source #
Methods rnf :: PoolAccessError -> () #
type Rep PoolAccessError Source #
type Rep PoolAccessError = D1 * (MetaData "PoolAccessError" "Language.JVM.ConstantPool" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "PoolAccessError" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "paErrorRef") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "paErrorMsg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))