Language.JVM.Attribute.Code

Documentation

data Code r

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

Methods

stage :: LabelM m => (forall (s' :: * -> *). Staged s' => s' r -> m (s' r')) -> Code r -> m (Code r')

evolve :: EvolveM m => Code Low -> m (Code High)

devolve :: DevolveM m => Code High -> m (Code Low)

Eq (Code High)

Methods

(==) :: Code High -> Code High -> Bool

(/=) :: Code High -> Code High -> Bool

Eq (Code Low)

Methods

(==) :: Code Low -> Code Low -> Bool

(/=) :: Code Low -> Code Low -> Bool

Ord (Code Low)

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)

Methods

showsPrec :: Int -> Code High -> ShowS

show :: Code High -> String

showList :: [Code High] -> ShowS

Show (Code Low)

Methods

showsPrec :: Int -> Code Low -> ShowS

show :: Code Low -> String

showList :: [Code Low] -> ShowS

Generic (Code High)

Associated Types

type Rep (Code High) :: * -> *

Methods

from :: Code High -> Rep (Code High) x

to :: Rep (Code High) x -> Code High

Generic (Code Low)

Associated Types

type Rep (Code Low) :: * -> *

Methods

from :: Code Low -> Rep (Code Low) x

to :: Rep (Code Low) x -> Code Low

Binary (Code Low)

Methods

put :: Code Low -> Put

get :: Get (Code Low)

putList :: [Code Low] -> Put

NFData (Code High)

Methods

rnf :: Code High -> ()

NFData (Code Low)

Methods

rnf :: Code Low -> ()

IsAttribute (Code Low)

Code is an Attribute.

Methods

attrName :: Const Text (Code Low)

type Rep (Code High)

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)

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

Constructors

CodeAttributes

Fields

• caStackMapTable :: [StackMapTable r]
• caLineNumberTable :: [LineNumberTable r]
• caOthers :: [Attribute r]

Instances

Eq (CodeAttributes High)

Methods

(==) :: CodeAttributes High -> CodeAttributes High -> Bool

(/=) :: CodeAttributes High -> CodeAttributes High -> Bool

Eq (CodeAttributes Low)

Methods

(==) :: CodeAttributes Low -> CodeAttributes Low -> Bool

(/=) :: CodeAttributes Low -> CodeAttributes Low -> Bool

Ord (CodeAttributes Low)

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)

Methods

showsPrec :: Int -> CodeAttributes High -> ShowS

show :: CodeAttributes High -> String

showList :: [CodeAttributes High] -> ShowS

Show (CodeAttributes Low)

Methods

showsPrec :: Int -> CodeAttributes Low -> ShowS

show :: CodeAttributes Low -> String

showList :: [CodeAttributes Low] -> ShowS

Generic (CodeAttributes High)

Associated Types

type Rep (CodeAttributes High) :: * -> *

Methods

from :: CodeAttributes High -> Rep (CodeAttributes High) x

to :: Rep (CodeAttributes High) x -> CodeAttributes High

Generic (CodeAttributes Low)

Associated Types

type Rep (CodeAttributes Low) :: * -> *

Methods

from :: CodeAttributes Low -> Rep (CodeAttributes Low) x

to :: Rep (CodeAttributes Low) x -> CodeAttributes Low

NFData (CodeAttributes High)

Methods

rnf :: CodeAttributes High -> ()

NFData (CodeAttributes Low)

Methods

rnf :: CodeAttributes Low -> ()

type Rep (CodeAttributes High)

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)

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

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

Methods

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

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

Eq (ExceptionTable High)

Methods

(==) :: ExceptionTable High -> ExceptionTable High -> Bool

(/=) :: ExceptionTable High -> ExceptionTable High -> Bool

Eq (ExceptionTable Low)

Methods

(==) :: ExceptionTable Low -> ExceptionTable Low -> Bool

(/=) :: ExceptionTable Low -> ExceptionTable Low -> Bool

Ord (ExceptionTable Low)

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)

Methods

showsPrec :: Int -> ExceptionTable High -> ShowS

show :: ExceptionTable High -> String

showList :: [ExceptionTable High] -> ShowS

Show (ExceptionTable Low)

Methods

showsPrec :: Int -> ExceptionTable Low -> ShowS

show :: ExceptionTable Low -> String

showList :: [ExceptionTable Low] -> ShowS

Generic (ExceptionTable High)

Associated Types

type Rep (ExceptionTable High) :: * -> *

Methods

from :: ExceptionTable High -> Rep (ExceptionTable High) x

to :: Rep (ExceptionTable High) x -> ExceptionTable High

Generic (ExceptionTable Low)

Associated Types

type Rep (ExceptionTable Low) :: * -> *

Methods

from :: ExceptionTable Low -> Rep (ExceptionTable Low) x

to :: Rep (ExceptionTable Low) x -> ExceptionTable Low

Binary (ExceptionTable Low)

Methods

put :: ExceptionTable Low -> Put

get :: Get (ExceptionTable Low)

putList :: [ExceptionTable Low] -> Put

NFData (ExceptionTable High)

Methods

rnf :: ExceptionTable High -> ()

NFData (ExceptionTable Low)

Methods

rnf :: ExceptionTable Low -> ()

type Rep (ExceptionTable High)

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)

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)

Returns the StackMapTable attribute if any

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

Extracts a list of bytecode operation

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

Extracts a list of bytecode instructions