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

Language.JVM.Attribute.Code

Description

Synopsis

Documentation

data Code r Source #

Code contains the actual byte-code. The i type parameter is added to allow indicate the two stages of the code file, before and after access to the ConstantPool. i should be either Ref or Deref.

Constructors

Code
Fields codeMaxStack :: !Word16 codeMaxLocals :: !Word16 codeByteCode :: !(ByteCode r) codeExceptionTable :: !(SizedList16 (ExceptionTable r)) codeAttributes :: !(Attributes CodeAttributes r)

Instances

Staged Code Source #
Methods stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Code r -> m (Code r') Source # evolve :: EvolveM m => Code Low -> m (Code High) Source # devolve :: DevolveM m => Code High -> m (Code Low) Source #
Eq (Code High) Source #
Methods (==) :: Code High -> Code High -> Bool # (/=) :: Code High -> Code High -> Bool #
Eq (Code Low) Source #
Methods (==) :: Code Low -> Code Low -> Bool # (/=) :: Code Low -> Code Low -> Bool #
Ord (Code Low) Source #
Methods compare :: Code Low -> Code Low -> Ordering # (<) :: Code Low -> Code Low -> Bool # (<=) :: Code Low -> Code Low -> Bool # (>) :: Code Low -> Code Low -> Bool # (>=) :: Code Low -> Code Low -> Bool # max :: Code Low -> Code Low -> Code Low # min :: Code Low -> Code Low -> Code Low #
Show (Code High) Source #
Methods showsPrec :: Int -> Code High -> ShowS # show :: Code High -> String # showList :: [Code High] -> ShowS #
Show (Code Low) Source #
Methods showsPrec :: Int -> Code Low -> ShowS # show :: Code Low -> String # showList :: [Code Low] -> ShowS #
Generic (Code High) Source #
Associated Types type Rep (Code High) :: * -> * # Methods from :: Code High -> Rep (Code High) x # to :: Rep (Code High) x -> Code High #
Generic (Code Low) Source #
Associated Types type Rep (Code Low) :: * -> * # Methods from :: Code Low -> Rep (Code Low) x # to :: Rep (Code Low) x -> Code Low #
Binary (Code Low) Source #
Methods put :: Code Low -> Put # get :: Get (Code Low) # putList :: [Code Low] -> Put #
NFData (Code High) Source #
Methods rnf :: Code High -> () #
NFData (Code Low) Source #
Methods rnf :: Code Low -> () #
IsAttribute (Code Low) Source #	`Code` is an Attribute.
Methods attrName :: Const Text (Code Low) Source #
type Rep (Code High) Source #
type Rep (Code High) = D1 * (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Code" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCode High))) ((::) (S1 * (MetaSel (Just Symbol "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (ExceptionTable High)))) (S1 * (MetaSel (Just Symbol "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes CodeAttributes High)))))))
type Rep (Code Low) Source #
type Rep (Code Low) = D1 * (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "Code" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16)) (S1 * (MetaSel (Just Symbol "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word16))) ((::) (S1 * (MetaSel (Just Symbol "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCode Low))) ((::) (S1 * (MetaSel (Just Symbol "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (SizedList16 (ExceptionTable Low)))) (S1 * (MetaSel (Just Symbol "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Attributes CodeAttributes Low)))))))

data CodeAttributes r Source #

Constructors

CodeAttributes
Fields caStackMapTable :: [StackMapTable r] caLineNumberTable :: [LineNumberTable r] caOthers :: [Attribute r]

Instances

Eq (CodeAttributes High) Source #
Methods (==) :: CodeAttributes High -> CodeAttributes High -> Bool # (/=) :: CodeAttributes High -> CodeAttributes High -> Bool #
Eq (CodeAttributes Low) Source #
Methods (==) :: CodeAttributes Low -> CodeAttributes Low -> Bool # (/=) :: CodeAttributes Low -> CodeAttributes Low -> Bool #
Ord (CodeAttributes Low) Source #
Methods compare :: CodeAttributes Low -> CodeAttributes Low -> Ordering # (<) :: CodeAttributes Low -> CodeAttributes Low -> Bool # (<=) :: CodeAttributes Low -> CodeAttributes Low -> Bool # (>) :: CodeAttributes Low -> CodeAttributes Low -> Bool # (>=) :: CodeAttributes Low -> CodeAttributes Low -> Bool # max :: CodeAttributes Low -> CodeAttributes Low -> CodeAttributes Low # min :: CodeAttributes Low -> CodeAttributes Low -> CodeAttributes Low #
Show (CodeAttributes High) Source #
Methods showsPrec :: Int -> CodeAttributes High -> ShowS # show :: CodeAttributes High -> String # showList :: [CodeAttributes High] -> ShowS #
Show (CodeAttributes Low) Source #
Methods showsPrec :: Int -> CodeAttributes Low -> ShowS # show :: CodeAttributes Low -> String # showList :: [CodeAttributes Low] -> ShowS #
Generic (CodeAttributes High) Source #
Associated Types type Rep (CodeAttributes High) :: * -> * # Methods from :: CodeAttributes High -> Rep (CodeAttributes High) x # to :: Rep (CodeAttributes High) x -> CodeAttributes High #
Generic (CodeAttributes Low) Source #
Associated Types type Rep (CodeAttributes Low) :: * -> * # Methods from :: CodeAttributes Low -> Rep (CodeAttributes Low) x # to :: Rep (CodeAttributes Low) x -> CodeAttributes Low #
NFData (CodeAttributes High) Source #
Methods rnf :: CodeAttributes High -> () #
NFData (CodeAttributes Low) Source #
Methods rnf :: CodeAttributes Low -> () #
type Rep (CodeAttributes High) Source #
type Rep (CodeAttributes High) = D1 * (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "CodeAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [StackMapTable High])) ((::) (S1 * (MetaSel (Just Symbol "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LineNumberTable High])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute High])))))
type Rep (CodeAttributes Low) Source #
type Rep (CodeAttributes Low) = D1 * (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "CodeAttributes" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [StackMapTable Low])) ((::) (S1 * (MetaSel (Just Symbol "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LineNumberTable Low])) (S1 * (MetaSel (Just Symbol "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Attribute Low])))))

data ExceptionTable r Source #

Constructors

ExceptionTable
Fields start :: !(ByteCodeRef r) Inclusive program counter into `code` end :: !(ByteCodeRef r) Exclusive program counter into `code` handler :: !(ByteCodeRef r) A program counter into `code` indicating the handler. catchType :: !(Ref (Maybe ClassName) r)

Instances

ByteCodeStaged ExceptionTable Source #
Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> ExceptionTable Low -> m (ExceptionTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> ExceptionTable High -> m (ExceptionTable Low) Source #
Eq (ExceptionTable High) Source #
Methods (==) :: ExceptionTable High -> ExceptionTable High -> Bool # (/=) :: ExceptionTable High -> ExceptionTable High -> Bool #
Eq (ExceptionTable Low) Source #
Methods (==) :: ExceptionTable Low -> ExceptionTable Low -> Bool # (/=) :: ExceptionTable Low -> ExceptionTable Low -> Bool #
Ord (ExceptionTable Low) Source #
Methods compare :: ExceptionTable Low -> ExceptionTable Low -> Ordering # (<) :: ExceptionTable Low -> ExceptionTable Low -> Bool # (<=) :: ExceptionTable Low -> ExceptionTable Low -> Bool # (>) :: ExceptionTable Low -> ExceptionTable Low -> Bool # (>=) :: ExceptionTable Low -> ExceptionTable Low -> Bool # max :: ExceptionTable Low -> ExceptionTable Low -> ExceptionTable Low # min :: ExceptionTable Low -> ExceptionTable Low -> ExceptionTable Low #
Show (ExceptionTable High) Source #
Methods showsPrec :: Int -> ExceptionTable High -> ShowS # show :: ExceptionTable High -> String # showList :: [ExceptionTable High] -> ShowS #
Show (ExceptionTable Low) Source #
Methods showsPrec :: Int -> ExceptionTable Low -> ShowS # show :: ExceptionTable Low -> String # showList :: [ExceptionTable Low] -> ShowS #
Generic (ExceptionTable High) Source #
Associated Types type Rep (ExceptionTable High) :: * -> * # Methods from :: ExceptionTable High -> Rep (ExceptionTable High) x # to :: Rep (ExceptionTable High) x -> ExceptionTable High #
Generic (ExceptionTable Low) Source #
Associated Types type Rep (ExceptionTable Low) :: * -> * # Methods from :: ExceptionTable Low -> Rep (ExceptionTable Low) x # to :: Rep (ExceptionTable Low) x -> ExceptionTable Low #
Binary (ExceptionTable Low) Source #
Methods put :: ExceptionTable Low -> Put # get :: Get (ExceptionTable Low) # putList :: [ExceptionTable Low] -> Put #
NFData (ExceptionTable High) Source #
Methods rnf :: ExceptionTable High -> () #
NFData (ExceptionTable Low) Source #
Methods rnf :: ExceptionTable Low -> () #
type Rep (ExceptionTable High) Source #
type Rep (ExceptionTable High) = D1 * (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ExceptionTable" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef High))) (S1 * (MetaSel (Just Symbol "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef High)))) ((::) (S1 * (MetaSel (Just Symbol "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef High))) (S1 * (MetaSel (Just Symbol "catchType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref (Maybe ClassName) High))))))
type Rep (ExceptionTable Low) Source #
type Rep (ExceptionTable Low) = D1 * (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.1.0-JJ8Rr7ERir79pQaBJvdiXV" False) (C1 * (MetaCons "ExceptionTable" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef Low))) (S1 * (MetaSel (Just Symbol "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef Low)))) ((::) (S1 * (MetaSel (Just Symbol "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (ByteCodeRef Low))) (S1 * (MetaSel (Just Symbol "catchType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Ref (Maybe ClassName) Low))))))

codeStackMapTable :: Code High -> Maybe (StackMapTable High) Source #

Returns the StackMapTable attribute if any

codeByteCodeOprs :: Code High -> Vector (ByteCodeOpr High) Source #

Extracts a list of bytecode operation

codeByteCodeInsts :: Code Low -> Vector (ByteCodeInst Low) Source #

Extracts a list of bytecode instructions