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

Language.JVM.Attribute.Code

Description

Synopsis

data Code r = Code {
- codeMaxStack :: !Word16
- codeMaxLocals :: !Word16
- codeByteCode :: !(ByteCode r)
- codeExceptionTable :: !(SizedList16 (ExceptionTable r))
- codeAttributes :: !(Attributes CodeAttributes r)
}
data CodeAttributes r = CodeAttributes {
- caStackMapTable :: [StackMapTable r]
- caLineNumberTable :: [LineNumberTable r]
- caVisibleTypeAnnotations :: [RuntimeVisibleTypeAnnotations CodeTypeAnnotation r]
- caInvisibleTypeAnnotations :: [RuntimeInvisibleTypeAnnotations CodeTypeAnnotation r]
- caOthers :: [Attribute r]
}
emptyCodeAttributes :: CodeAttributes High
data ExceptionTable r = ExceptionTable {
- start :: !(ByteCodeRef r)
- end :: !(ByteCodeRef r)
- handler :: !(ByteCodeRef r)
- catchType :: !(Ref (Maybe ClassName) r)
}
codeStackMapTable :: Code High -> Maybe (StackMapTable High)
codeByteCodeOprs :: Code High -> Vector (ByteCodeOpr High)
codeByteCodeInsts :: Code i -> Vector (ByteCodeInst i)

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 #
Instance details Defined in Language.JVM.Attribute.Code Methods stage :: LabelM m => (forall (s' :: Type -> Type). 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 #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: Code High -> Code High -> Bool # (/=) :: Code High -> Code High -> Bool #
Eq (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: Code Low -> Code Low -> Bool # (/=) :: Code Low -> Code Low -> Bool #
Ord (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code 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 #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> Code High -> ShowS # show :: Code High -> String # showList :: [Code High] -> ShowS #
Show (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> Code Low -> ShowS # show :: Code Low -> String # showList :: [Code Low] -> ShowS #
Generic (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (Code High) :: Type -> Type # Methods from :: Code High -> Rep (Code High) x # to :: Rep (Code High) x -> Code High #
Generic (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (Code Low) :: Type -> Type # Methods from :: Code Low -> Rep (Code Low) x # to :: Rep (Code Low) x -> Code Low #
Binary (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods put :: Code Low -> Put # get :: Get (Code Low) # putList :: [Code Low] -> Put #
NFData (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: Code High -> () #
NFData (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: Code Low -> () #
IsAttribute (Code Low) Source #	`Code` is an Attribute.
Instance details Defined in Language.JVM.Attribute.Code Methods attrName :: Const Text (Code Low) Source #
type Rep (Code High) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (Code High) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode High)) :: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable High))) :: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes High))))))
type Rep (Code Low) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (Code Low) = D1 (MetaData "Code" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Code" PrefixI True) ((S1 (MetaSel (Just "codeMaxStack") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16) :: S1 (MetaSel (Just "codeMaxLocals") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word16)) :: (S1 (MetaSel (Just "codeByteCode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCode Low)) :: (S1 (MetaSel (Just "codeExceptionTable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SizedList16 (ExceptionTable Low))) :: S1 (MetaSel (Just "codeAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes CodeAttributes Low))))))

data CodeAttributes r Source #

Constructors

CodeAttributes
Fields caStackMapTable :: [StackMapTable r] caLineNumberTable :: [LineNumberTable r] caVisibleTypeAnnotations :: [RuntimeVisibleTypeAnnotations CodeTypeAnnotation r] caInvisibleTypeAnnotations :: [RuntimeInvisibleTypeAnnotations CodeTypeAnnotation r] caOthers :: [Attribute r]

Instances

Eq (CodeAttributes High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: CodeAttributes High -> CodeAttributes High -> Bool # (/=) :: CodeAttributes High -> CodeAttributes High -> Bool #
Eq (CodeAttributes Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: CodeAttributes Low -> CodeAttributes Low -> Bool # (/=) :: CodeAttributes Low -> CodeAttributes Low -> Bool #
Ord (CodeAttributes Low) Source #
Instance details Defined in Language.JVM.Attribute.Code 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 #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> CodeAttributes High -> ShowS # show :: CodeAttributes High -> String # showList :: [CodeAttributes High] -> ShowS #
Show (CodeAttributes Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> CodeAttributes Low -> ShowS # show :: CodeAttributes Low -> String # showList :: [CodeAttributes Low] -> ShowS #
Generic (CodeAttributes High) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (CodeAttributes High) :: Type -> Type # Methods from :: CodeAttributes High -> Rep (CodeAttributes High) x # to :: Rep (CodeAttributes High) x -> CodeAttributes High #
Generic (CodeAttributes Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (CodeAttributes Low) :: Type -> Type # Methods from :: CodeAttributes Low -> Rep (CodeAttributes Low) x # to :: Rep (CodeAttributes Low) x -> CodeAttributes Low #
NFData (CodeAttributes High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: CodeAttributes High -> () #
NFData (CodeAttributes Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: CodeAttributes Low -> () #
type Rep (CodeAttributes High) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (CodeAttributes High) = D1 (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "CodeAttributes" PrefixI True) ((S1 (MetaSel (Just "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [StackMapTable High]) :: S1 (MetaSel (Just "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LineNumberTable High])) :: (S1 (MetaSel (Just "caVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations CodeTypeAnnotation High]) :: (S1 (MetaSel (Just "caInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations CodeTypeAnnotation High]) :: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High])))))
type Rep (CodeAttributes Low) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (CodeAttributes Low) = D1 (MetaData "CodeAttributes" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "CodeAttributes" PrefixI True) ((S1 (MetaSel (Just "caStackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [StackMapTable Low]) :: S1 (MetaSel (Just "caLineNumberTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LineNumberTable Low])) :: (S1 (MetaSel (Just "caVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations CodeTypeAnnotation Low]) :: (S1 (MetaSel (Just "caInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations CodeTypeAnnotation Low]) :: S1 (MetaSel (Just "caOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low])))))

emptyCodeAttributes :: CodeAttributes High Source #

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 #
Instance details Defined in Language.JVM.Attribute.Code 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 #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: ExceptionTable High -> ExceptionTable High -> Bool # (/=) :: ExceptionTable High -> ExceptionTable High -> Bool #
Eq (ExceptionTable Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods (==) :: ExceptionTable Low -> ExceptionTable Low -> Bool # (/=) :: ExceptionTable Low -> ExceptionTable Low -> Bool #
Ord (ExceptionTable Low) Source #
Instance details Defined in Language.JVM.Attribute.Code 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 #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> ExceptionTable High -> ShowS # show :: ExceptionTable High -> String # showList :: [ExceptionTable High] -> ShowS #
Show (ExceptionTable Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods showsPrec :: Int -> ExceptionTable Low -> ShowS # show :: ExceptionTable Low -> String # showList :: [ExceptionTable Low] -> ShowS #
Generic (ExceptionTable High) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (ExceptionTable High) :: Type -> Type # Methods from :: ExceptionTable High -> Rep (ExceptionTable High) x # to :: Rep (ExceptionTable High) x -> ExceptionTable High #
Generic (ExceptionTable Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Associated Types type Rep (ExceptionTable Low) :: Type -> Type # Methods from :: ExceptionTable Low -> Rep (ExceptionTable Low) x # to :: Rep (ExceptionTable Low) x -> ExceptionTable Low #
Binary (ExceptionTable Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods put :: ExceptionTable Low -> Put # get :: Get (ExceptionTable Low) # putList :: [ExceptionTable Low] -> Put #
NFData (ExceptionTable High) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: ExceptionTable High -> () #
NFData (ExceptionTable Low) Source #
Instance details Defined in Language.JVM.Attribute.Code Methods rnf :: ExceptionTable Low -> () #
type Rep (ExceptionTable High) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (ExceptionTable High) = D1 (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ExceptionTable" PrefixI True) ((S1 (MetaSel (Just "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef High)) :: S1 (MetaSel (Just "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef High))) :: (S1 (MetaSel (Just "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef High)) :*: S1 (MetaSel (Just "catchType") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (Maybe ClassName) High)))))
type Rep (ExceptionTable Low) Source #
Instance details Defined in Language.JVM.Attribute.Code type Rep (ExceptionTable Low) = D1 (MetaData "ExceptionTable" "Language.JVM.Attribute.Code" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ExceptionTable" PrefixI True) ((S1 (MetaSel (Just "start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef Low)) :: S1 (MetaSel (Just "end") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef Low))) :: (S1 (MetaSel (Just "handler") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeRef Low)) :*: S1 (MetaSel (Just "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 i -> Vector (ByteCodeInst i) Source #

Extracts a list of bytecode instructions