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

Language.JVM.ByteCode

Contents

evolve and devolve
Managing offsets
ByteCode Operations
Operations
Type sets
Renames

Description

Synopsis

data ByteCode i = ByteCode {
- byteCodeSize :: !Word32
- byteCodeInstructions :: Vector (ByteCodeInst i)
}
unByteCode :: ByteCode i -> Vector (ByteCodeInst i)
evolveByteCode :: EvolveM m => ByteCode Low -> m (OffsetMap, ByteCode High)
devolveByteCode :: DevolveM m => ByteCode High -> m (ByteCode Low)
evolveOffset :: EvolveM m => OffsetMap -> ByteCodeOffset -> m ByteCodeIndex
devolveOffset :: DevolveM m => ByteCode Low -> ByteCodeIndex -> m ByteCodeOffset
class ByteCodeStaged s where
- evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> s Low -> m (s High)
- devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> s High -> m (s Low)
data ByteCodeInst r = ByteCodeInst {
- offset :: !ByteCodeOffset
- opcode :: !(ByteCodeOpr r)
}
type ByteCodeRef i = Choice ByteCodeOffset ByteCodeIndex i
type ByteCodeOffset = Word16
type ByteCodeIndex = Int
type OffsetMap = IntMap ByteCodeIndex
indexOffset :: ByteCode Low -> ByteCodeIndex -> Maybe ByteCodeOffset
offsetIndex :: OffsetMap -> ByteCodeOffset -> Maybe ByteCodeIndex
offsetMap :: ByteCode Low -> OffsetMap
generateOffsets :: DevolveM m => Vector (ByteCodeOpr High) -> m (Word16, Vector ByteCodeOffset)
data ByteCodeOpr r
- = ArrayLoad !ArrayType
- | ArrayStore !ArrayType
- | Push !(BConstant r)
- | Load !LocalType !LocalAddress
- | Store !LocalType !LocalAddress
- | BinaryOpr !BinOpr !ArithmeticType
- | Neg !ArithmeticType
- | BitOpr !BitOpr !WordSize
- | IncrLocal !LocalAddress !IncrementAmount
- | Cast !CastOpr
- | CompareLongs
- | CompareFloating !Bool !WordSize
- | If !CmpOpr !OneOrTwo !(ShortRelativeRef r)
- | IfRef !Bool !OneOrTwo !(ShortRelativeRef r)
- | Goto !(LongRelativeRef r)
- | Jsr !(LongRelativeRef r)
- | Ret !LocalAddress
- | TableSwitch !(LongRelativeRef r) !(SwitchTable r)
- | LookupSwitch !(LongRelativeRef r) (Vector (Int32, LongRelativeRef r))
- | Get !FieldAccess !(Ref AbsFieldId r)
- | Put !FieldAccess !(Ref AbsFieldId r)
- | Invoke !(Invocation r)
- | New !(Ref ClassName r)
- | NewArray !(Choice LowNewArrayType NewArrayType r)
- | ArrayLength
- | Throw
- | CheckCast !(Ref JRefType r)
- | InstanceOf !(Ref JRefType r)
- | Monitor !Bool
- | Return !(Maybe LocalType)
- | Nop
- | Pop !WordSize
- | Dup !WordSize
- | DupX1 !WordSize
- | DupX2 !WordSize
- | Swap
type BConstant r = Choice (CConstant r) (Maybe JValue) r
data CConstant r
- = CNull
- | CIntM1
- | CInt0
- | CInt1
- | CInt2
- | CInt3
- | CInt4
- | CInt5
- | CLong0
- | CLong1
- | CFloat0
- | CFloat1
- | CFloat2
- | CDouble0
- | CDouble1
- | CByte Int8
- | CShort Int16
- | CRef (Maybe WordSize) (Ref JValue r)
data OneOrTwo
- = One
- | Two
data SwitchTable r = SwitchTable {
- switchLow :: Int32
- switchOffsets :: Vector (LongRelativeRef r)
}
switchHigh :: SwitchTable Low -> Int32
data FieldAccess
- = FldStatic
- | FldField
data Invocation r
- = InvkSpecial !(Ref AbsVariableMethodId r)
- | InvkVirtual !(Ref (InRefType MethodId) r)
- | InvkStatic !(Ref AbsVariableMethodId r)
- | InvkInterface !Word8 !(Ref AbsInterfaceMethodId r)
- | InvkDynamic !(DeepRef InvokeDynamic r)
type ShortRelativeRef i = Choice Int16 ByteCodeIndex i
type LongRelativeRef i = Choice Int32 ByteCodeIndex i
data NewArrayType = NewArrayType Word8 JType
newArrayTypeType :: NewArrayType -> JRefType
data LowNewArrayType
- = ArrayBaseType JBaseType
- | ArrayReference (Ref JRefType Low) Word8
data BinOpr
- = Add
- | Sub
- | Mul
- | Div
- | Rem
data BitOpr
- = ShL
- | ShR
- | UShR
- | And
- | Or
- | XOr
data CmpOpr
- = CEq
- | CNe
- | CLt
- | CGe
- | CGt
- | CLe
data CastOpr
- = CastDown SmallArithmeticType
- | CastTo ArithmeticType ArithmeticType
data ArithmeticType
- = MInt
- | MLong
- | MFloat
- | MDouble
data SmallArithmeticType
- = MByte
- | MChar
- | MShort
data LocalType
- = LInt
- | LLong
- | LFloat
- | LDouble
- | LRef
data ArrayType
- = AByte
- | AChar
- | AShort
- | AInt
- | ALong
- | AFloat
- | ADouble
- | ARef
type WordSize = OneOrTwo
type ByteOffset = Int64
type LocalAddress = Word16
type IncrementAmount = Int16

Documentation

data ByteCode i Source #

ByteCode constains a list of ByteCode instructions and the size of the bytecode. if the ByteCode is in the Low stage then the byte code instructions are annotated with the byte code offsets.

Constructors

ByteCode
Fields byteCodeSize :: !Word32 byteCodeInstructions :: Vector (ByteCodeInst i)

Instances

Eq (ByteCode High) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ByteCode High -> ByteCode High -> Bool # (/=) :: ByteCode High -> ByteCode High -> Bool #
Eq (ByteCode Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ByteCode Low -> ByteCode Low -> Bool # (/=) :: ByteCode Low -> ByteCode Low -> Bool #
Ord (ByteCode Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: ByteCode Low -> ByteCode Low -> Ordering # (<) :: ByteCode Low -> ByteCode Low -> Bool # (<=) :: ByteCode Low -> ByteCode Low -> Bool # (>) :: ByteCode Low -> ByteCode Low -> Bool # (>=) :: ByteCode Low -> ByteCode Low -> Bool # max :: ByteCode Low -> ByteCode Low -> ByteCode Low # min :: ByteCode Low -> ByteCode Low -> ByteCode Low #
Show (ByteCode High) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ByteCode High -> ShowS # show :: ByteCode High -> String # showList :: [ByteCode High] -> ShowS #
Show (ByteCode Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ByteCode Low -> ShowS # show :: ByteCode Low -> String # showList :: [ByteCode Low] -> ShowS #
Generic (ByteCode High) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (ByteCode High) :: Type -> Type # Methods from :: ByteCode High -> Rep (ByteCode High) x # to :: Rep (ByteCode High) x -> ByteCode High #
Generic (ByteCode Low) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (ByteCode Low) :: Type -> Type # Methods from :: ByteCode Low -> Rep (ByteCode Low) x # to :: Rep (ByteCode Low) x -> ByteCode Low #
Binary (ByteCode Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods put :: ByteCode Low -> Put # get :: Get (ByteCode Low) # putList :: [ByteCode Low] -> Put #
NFData (ByteCode High) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ByteCode High -> () #
NFData (ByteCode Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ByteCode Low -> () #
type Rep (ByteCode High) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (ByteCode High) = D1 (MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ByteCode" PrefixI True) (S1 (MetaSel (Just "byteCodeSize") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word32) :*: S1 (MetaSel (Just "byteCodeInstructions") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Vector (ByteCodeInst High)))))
type Rep (ByteCode Low) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (ByteCode Low) = D1 (MetaData "ByteCode" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ByteCode" PrefixI True) (S1 (MetaSel (Just "byteCodeSize") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word32) :*: S1 (MetaSel (Just "byteCodeInstructions") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Vector (ByteCodeInst Low)))))

unByteCode :: ByteCode i -> Vector (ByteCodeInst i) Source #

evolve and devolve

evolveByteCode :: EvolveM m => ByteCode Low -> m (OffsetMap, ByteCode High) Source #

devolveByteCode :: DevolveM m => ByteCode High -> m (ByteCode Low) Source #

evolveOffset :: EvolveM m => OffsetMap -> ByteCodeOffset -> m ByteCodeIndex Source #

Given an OffsetMap turn a offset into a bytecode index

devolveOffset :: DevolveM m => ByteCode Low -> ByteCodeIndex -> m ByteCodeOffset Source #

Given an OffsetMap turn a offset into a bytecode index

class ByteCodeStaged s where Source #

Methods

evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> s Low -> m (s High) Source #

devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> s High -> m (s Low) Source #

Instances

ByteCodeStaged ByteCodeInst Source #
Instance details Defined in Language.JVM.ByteCode Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> ByteCodeInst Low -> m (ByteCodeInst High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> ByteCodeInst High -> m (ByteCodeInst Low) Source #
ByteCodeStaged VerificationTypeInfo Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> VerificationTypeInfo Low -> m (VerificationTypeInfo High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> VerificationTypeInfo High -> m (VerificationTypeInfo Low) Source #
ByteCodeStaged StackMapFrameType Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapFrameType Low -> m (StackMapFrameType High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapFrameType High -> m (StackMapFrameType Low) Source #
ByteCodeStaged StackMapTable Source #
Instance details Defined in Language.JVM.Attribute.StackMapTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> StackMapTable Low -> m (StackMapTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> StackMapTable High -> m (StackMapTable Low) Source #
ByteCodeStaged LineNumberTable Source #
Instance details Defined in Language.JVM.Attribute.LineNumberTable Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LineNumberTable Low -> m (LineNumberTable High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LineNumberTable High -> m (LineNumberTable Low) Source #
ByteCodeStaged TypeArgumentTarget Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> TypeArgumentTarget Low -> m (TypeArgumentTarget High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> TypeArgumentTarget High -> m (TypeArgumentTarget Low) Source #
ByteCodeStaged LocalvarEntry Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> LocalvarEntry Low -> m (LocalvarEntry High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> LocalvarEntry High -> m (LocalvarEntry Low) Source #
ByteCodeStaged CodeTypeAnnotation Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> CodeTypeAnnotation Low -> m (CodeTypeAnnotation High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> CodeTypeAnnotation High -> m (CodeTypeAnnotation Low) Source #
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 #
ByteCodeStaged m => ByteCodeStaged (RuntimeInvisibleTypeAnnotations m) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m0 => (ByteCodeOffset -> m0 ByteCodeIndex) -> RuntimeInvisibleTypeAnnotations m Low -> m0 (RuntimeInvisibleTypeAnnotations m High) Source # devolveBC :: DevolveM m0 => (ByteCodeIndex -> m0 ByteCodeOffset) -> RuntimeInvisibleTypeAnnotations m High -> m0 (RuntimeInvisibleTypeAnnotations m Low) Source #
ByteCodeStaged m => ByteCodeStaged (RuntimeVisibleTypeAnnotations m) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m0 => (ByteCodeOffset -> m0 ByteCodeIndex) -> RuntimeVisibleTypeAnnotations m Low -> m0 (RuntimeVisibleTypeAnnotations m High) Source # devolveBC :: DevolveM m0 => (ByteCodeIndex -> m0 ByteCodeOffset) -> RuntimeVisibleTypeAnnotations m High -> m0 (RuntimeVisibleTypeAnnotations m Low) Source #
ByteCodeStaged m => ByteCodeStaged (TypeAnnotation m) Source #
Instance details Defined in Language.JVM.Attribute.Annotations Methods evolveBC :: EvolveM m0 => (ByteCodeOffset -> m0 ByteCodeIndex) -> TypeAnnotation m Low -> m0 (TypeAnnotation m High) Source # devolveBC :: DevolveM m0 => (ByteCodeIndex -> m0 ByteCodeOffset) -> TypeAnnotation m High -> m0 (TypeAnnotation m Low) Source #

Managing offsets

data ByteCodeInst r Source #

The byte code instruction is mostly used to succinctly read and write an bytecode instruction from a bytestring.

Constructors

ByteCodeInst
Fields offset :: !ByteCodeOffset opcode :: !(ByteCodeOpr r)

Instances

ByteCodeStaged ByteCodeInst Source #
Instance details Defined in Language.JVM.ByteCode Methods evolveBC :: EvolveM m => (ByteCodeOffset -> m ByteCodeIndex) -> ByteCodeInst Low -> m (ByteCodeInst High) Source # devolveBC :: DevolveM m => (ByteCodeIndex -> m ByteCodeOffset) -> ByteCodeInst High -> m (ByteCodeInst Low) Source #
Eq (ByteCodeInst High) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ByteCodeInst High -> ByteCodeInst High -> Bool # (/=) :: ByteCodeInst High -> ByteCodeInst High -> Bool #
Eq (ByteCodeInst Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (/=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool #
Ord (ByteCodeInst Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: ByteCodeInst Low -> ByteCodeInst Low -> Ordering # (<) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (<=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (>) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # (>=) :: ByteCodeInst Low -> ByteCodeInst Low -> Bool # max :: ByteCodeInst Low -> ByteCodeInst Low -> ByteCodeInst Low # min :: ByteCodeInst Low -> ByteCodeInst Low -> ByteCodeInst Low #
Show (ByteCodeInst High) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ByteCodeInst High -> ShowS # show :: ByteCodeInst High -> String # showList :: [ByteCodeInst High] -> ShowS #
Show (ByteCodeInst Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ByteCodeInst Low -> ShowS # show :: ByteCodeInst Low -> String # showList :: [ByteCodeInst Low] -> ShowS #
Generic (ByteCodeInst High) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (ByteCodeInst High) :: Type -> Type # Methods from :: ByteCodeInst High -> Rep (ByteCodeInst High) x # to :: Rep (ByteCodeInst High) x -> ByteCodeInst High #
Generic (ByteCodeInst Low) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (ByteCodeInst Low) :: Type -> Type # Methods from :: ByteCodeInst Low -> Rep (ByteCodeInst Low) x # to :: Rep (ByteCodeInst Low) x -> ByteCodeInst Low #
Binary (ByteCodeInst Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods put :: ByteCodeInst Low -> Put # get :: Get (ByteCodeInst Low) # putList :: [ByteCodeInst Low] -> Put #
NFData (ByteCodeInst High) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ByteCodeInst High -> () #
NFData (ByteCodeInst Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ByteCodeInst Low -> () #
type Rep (ByteCodeInst High) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (ByteCodeInst High) = D1 (MetaData "ByteCodeInst" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ByteCodeInst" PrefixI True) (S1 (MetaSel (Just "offset") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ByteCodeOffset) :*: S1 (MetaSel (Just "opcode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeOpr High))))
type Rep (ByteCodeInst Low) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (ByteCodeInst Low) = D1 (MetaData "ByteCodeInst" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ByteCodeInst" PrefixI True) (S1 (MetaSel (Just "offset") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ByteCodeOffset) :*: S1 (MetaSel (Just "opcode") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ByteCodeOpr Low))))

type ByteCodeRef i = Choice ByteCodeOffset ByteCodeIndex i Source #

A ByteCode reference is either byte code offset in the low stage, and a byte code index in the high state

type ByteCodeOffset = Word16 Source #

The offset in the byte code

type ByteCodeIndex = Int Source #

The index of the byte code.

type OffsetMap = IntMap ByteCodeIndex Source #

The offset map, maps offset to instruction ids.

indexOffset :: ByteCode Low -> ByteCodeIndex -> Maybe ByteCodeOffset Source #

Return the bytecode offset from the bytecode.

offsetIndex :: OffsetMap -> ByteCodeOffset -> Maybe ByteCodeIndex Source #

Given an OffsetMap turn a offset into a bytecode index

offsetMap :: ByteCode Low -> OffsetMap Source #

Given low byte code we can create an OffsetMap

generateOffsets :: DevolveM m => Vector (ByteCodeOpr High) -> m (Word16, Vector ByteCodeOffset) Source #

ByteCode Operations

data ByteCodeOpr r Source #

Constructors

ArrayLoad !ArrayType	aaload baload ...
ArrayStore !ArrayType	aastore bastore ...
Push !(BConstant r)
Load !LocalType !LocalAddress	aload_0, bload_2, iload 5 ...
Store !LocalType !LocalAddress	aload, bload ...
BinaryOpr !BinOpr !ArithmeticType	iadd ...
Neg !ArithmeticType	ineg ...
BitOpr !BitOpr !WordSize	Exclusively on int and long, identified by the word-size
IncrLocal !LocalAddress !IncrementAmount	Only works on ints, increment local 2
Cast !CastOpr	Only valid on different types
CompareLongs
CompareFloating !Bool !WordSize	Compare two floating values, 2 is if float or double should be used.
If !CmpOpr !OneOrTwo !(ShortRelativeRef r)	compare with 0 if #2 is False, and two ints from the stack if True. the last value is the offset
IfRef !Bool !OneOrTwo !(ShortRelativeRef r)	check if two objects are equal, or not equal. If #2 is True, compare with null.
Goto !(LongRelativeRef r)
Jsr !(LongRelativeRef r)
Ret !LocalAddress
TableSwitch !(LongRelativeRef r) !(SwitchTable r)	a table switch has 2 values a `default` and a `SwitchTable`
LookupSwitch !(LongRelativeRef r) (Vector (Int32, LongRelativeRef r))	a lookup switch has a `default` value and a list of pairs.
Get !FieldAccess !(Ref AbsFieldId r)
Put !FieldAccess !(Ref AbsFieldId r)
Invoke !(Invocation r)
New !(Ref ClassName r)
NewArray !(Choice LowNewArrayType NewArrayType r)	the first argument is the number of dimentions of the array that have to be instantiatied. The JType indicates the type of the instantiated array
ArrayLength
Throw
CheckCast !(Ref JRefType r)
InstanceOf !(Ref JRefType r)
Monitor !Bool	True => Enter, False => Exit
Return !(Maybe LocalType)
Nop
Pop !WordSize
Dup !WordSize
DupX1 !WordSize
DupX2 !WordSize
Swap

Instances

Eq (ByteCodeOpr High) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ByteCodeOpr High -> ByteCodeOpr High -> Bool # (/=) :: ByteCodeOpr High -> ByteCodeOpr High -> Bool #
Eq (ByteCodeOpr Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool # (/=) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool #
Ord (ByteCodeOpr Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: ByteCodeOpr Low -> ByteCodeOpr Low -> Ordering # (<) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool # (<=) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool # (>) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool # (>=) :: ByteCodeOpr Low -> ByteCodeOpr Low -> Bool # max :: ByteCodeOpr Low -> ByteCodeOpr Low -> ByteCodeOpr Low # min :: ByteCodeOpr Low -> ByteCodeOpr Low -> ByteCodeOpr Low #
Show (ByteCodeOpr High) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ByteCodeOpr High -> ShowS # show :: ByteCodeOpr High -> String # showList :: [ByteCodeOpr High] -> ShowS #
Show (ByteCodeOpr Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ByteCodeOpr Low -> ShowS # show :: ByteCodeOpr Low -> String # showList :: [ByteCodeOpr Low] -> ShowS #
Generic (ByteCodeOpr High) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (ByteCodeOpr High) :: Type -> Type # Methods from :: ByteCodeOpr High -> Rep (ByteCodeOpr High) x # to :: Rep (ByteCodeOpr High) x -> ByteCodeOpr High #
Generic (ByteCodeOpr Low) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (ByteCodeOpr Low) :: Type -> Type # Methods from :: ByteCodeOpr Low -> Rep (ByteCodeOpr Low) x # to :: Rep (ByteCodeOpr Low) x -> ByteCodeOpr Low #
Binary (ByteCodeOpr Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods put :: ByteCodeOpr Low -> Put # get :: Get (ByteCodeOpr Low) # putList :: [ByteCodeOpr Low] -> Put #
NFData (ByteCodeOpr High) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ByteCodeOpr High -> () #
NFData (ByteCodeOpr Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ByteCodeOpr Low -> () #
type Rep (ByteCodeOpr High) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (ByteCodeOpr High) = D1 (MetaData "ByteCodeOpr" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (((((C1 (MetaCons "ArrayLoad" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArrayType)) :+: C1 (MetaCons "ArrayStore" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArrayType))) :+: (C1 (MetaCons "Push" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BConstant High))) :+: C1 (MetaCons "Load" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress)))) :+: ((C1 (MetaCons "Store" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress)) :+: C1 (MetaCons "BinaryOpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BinOpr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArithmeticType))) :+: (C1 (MetaCons "Neg" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArithmeticType)) :+: (C1 (MetaCons "BitOpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BitOpr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "IncrLocal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IncrementAmount)))))) :+: (((C1 (MetaCons "Cast" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CastOpr)) :+: C1 (MetaCons "CompareLongs" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CompareFloating" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "If" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CmpOpr) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 OneOrTwo) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ShortRelativeRef High)))))) :+: ((C1 (MetaCons "IfRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 OneOrTwo) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ShortRelativeRef High)))) :+: C1 (MetaCons "Goto" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef High)))) :+: (C1 (MetaCons "Jsr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef High))) :+: (C1 (MetaCons "Ret" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress)) :+: C1 (MetaCons "TableSwitch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef High)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SwitchTable High)))))))) :+: ((((C1 (MetaCons "LookupSwitch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef High)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Vector (Int32, LongRelativeRef High)))) :+: C1 (MetaCons "Get" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FieldAccess) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsFieldId High)))) :+: (C1 (MetaCons "Put" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FieldAccess) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsFieldId High))) :+: C1 (MetaCons "Invoke" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Invocation High))))) :+: ((C1 (MetaCons "New" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName High))) :+: C1 (MetaCons "NewArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Choice LowNewArrayType NewArrayType High)))) :+: (C1 (MetaCons "ArrayLength" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Throw" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CheckCast" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JRefType High))))))) :+: (((C1 (MetaCons "InstanceOf" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JRefType High))) :+: C1 (MetaCons "Monitor" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool))) :+: (C1 (MetaCons "Return" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe LocalType))) :+: C1 (MetaCons "Nop" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Pop" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "Dup" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize))) :+: (C1 (MetaCons "DupX1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: (C1 (MetaCons "DupX2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "Swap" PrefixI False) (U1 :: Type -> Type)))))))
type Rep (ByteCodeOpr Low) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (ByteCodeOpr Low) = D1 (MetaData "ByteCodeOpr" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (((((C1 (MetaCons "ArrayLoad" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArrayType)) :+: C1 (MetaCons "ArrayStore" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArrayType))) :+: (C1 (MetaCons "Push" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BConstant Low))) :+: C1 (MetaCons "Load" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress)))) :+: ((C1 (MetaCons "Store" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalType) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress)) :+: C1 (MetaCons "BinaryOpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BinOpr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArithmeticType))) :+: (C1 (MetaCons "Neg" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ArithmeticType)) :+: (C1 (MetaCons "BitOpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BitOpr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "IncrLocal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IncrementAmount)))))) :+: (((C1 (MetaCons "Cast" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CastOpr)) :+: C1 (MetaCons "CompareLongs" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CompareFloating" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "If" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 CmpOpr) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 OneOrTwo) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ShortRelativeRef Low)))))) :+: ((C1 (MetaCons "IfRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 OneOrTwo) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (ShortRelativeRef Low)))) :+: C1 (MetaCons "Goto" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef Low)))) :+: (C1 (MetaCons "Jsr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef Low))) :+: (C1 (MetaCons "Ret" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 LocalAddress)) :+: C1 (MetaCons "TableSwitch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef Low)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (SwitchTable Low)))))))) :+: ((((C1 (MetaCons "LookupSwitch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (LongRelativeRef Low)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Vector (Int32, LongRelativeRef Low)))) :+: C1 (MetaCons "Get" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FieldAccess) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsFieldId Low)))) :+: (C1 (MetaCons "Put" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 FieldAccess) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsFieldId Low))) :+: C1 (MetaCons "Invoke" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Invocation Low))))) :+: ((C1 (MetaCons "New" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref ClassName Low))) :+: C1 (MetaCons "NewArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Choice LowNewArrayType NewArrayType Low)))) :+: (C1 (MetaCons "ArrayLength" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Throw" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CheckCast" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JRefType Low))))))) :+: (((C1 (MetaCons "InstanceOf" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref JRefType Low))) :+: C1 (MetaCons "Monitor" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool))) :+: (C1 (MetaCons "Return" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe LocalType))) :+: C1 (MetaCons "Nop" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Pop" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "Dup" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize))) :+: (C1 (MetaCons "DupX1" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: (C1 (MetaCons "DupX2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 WordSize)) :+: C1 (MetaCons "Swap" PrefixI False) (U1 :: Type -> Type)))))))

type BConstant r = Choice (CConstant r) (Maybe JValue) r Source #

A Wrapper around CConstant.

data CConstant r Source #

Constructors

CNull
CIntM1	1
CInt0
CInt1
CInt2
CInt3
CInt4
CInt5
CLong0
CLong1
CFloat0
CFloat1
CFloat2
CDouble0
CDouble1
CByte Int8
CShort Int16
CRef (Maybe WordSize) (Ref JValue r)

Instances

Staged CConstant Source #
Instance details Defined in Language.JVM.ByteCode Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> CConstant r -> m (CConstant r') Source # evolve :: EvolveM m => CConstant Low -> m (CConstant High) Source # devolve :: DevolveM m => CConstant High -> m (CConstant Low) Source #
Eq (CConstant High) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: CConstant High -> CConstant High -> Bool # (/=) :: CConstant High -> CConstant High -> Bool #
Eq (CConstant Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: CConstant Low -> CConstant Low -> Bool # (/=) :: CConstant Low -> CConstant Low -> Bool #
Ord (CConstant Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: CConstant Low -> CConstant Low -> Ordering # (<) :: CConstant Low -> CConstant Low -> Bool # (<=) :: CConstant Low -> CConstant Low -> Bool # (>) :: CConstant Low -> CConstant Low -> Bool # (>=) :: CConstant Low -> CConstant Low -> Bool # max :: CConstant Low -> CConstant Low -> CConstant Low # min :: CConstant Low -> CConstant Low -> CConstant Low #
Show (CConstant High) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> CConstant High -> ShowS # show :: CConstant High -> String # showList :: [CConstant High] -> ShowS #
Show (CConstant Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> CConstant Low -> ShowS # show :: CConstant Low -> String # showList :: [CConstant Low] -> ShowS #
Generic (CConstant High) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (CConstant High) :: Type -> Type # Methods from :: CConstant High -> Rep (CConstant High) x # to :: Rep (CConstant High) x -> CConstant High #
Generic (CConstant Low) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (CConstant Low) :: Type -> Type # Methods from :: CConstant Low -> Rep (CConstant Low) x # to :: Rep (CConstant Low) x -> CConstant Low #
NFData (CConstant High) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: CConstant High -> () #
NFData (CConstant Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: CConstant Low -> () #
type Rep (CConstant High) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (CConstant High) = D1 (MetaData "CConstant" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((((C1 (MetaCons "CNull" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CIntM1" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CInt0" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CInt1" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CInt2" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CInt3" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CInt4" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CInt5" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CLong0" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "CLong1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CFloat0" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CFloat1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CFloat2" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CDouble0" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CDouble1" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CByte" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int8)) :+: (C1 (MetaCons "CShort" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int16)) :+: C1 (MetaCons "CRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe WordSize)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Ref JValue High))))))))
type Rep (CConstant Low) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (CConstant Low) = D1 (MetaData "CConstant" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((((C1 (MetaCons "CNull" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CIntM1" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CInt0" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CInt1" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CInt2" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CInt3" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CInt4" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CInt5" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CLong0" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "CLong1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CFloat0" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CFloat1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CFloat2" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CDouble0" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CDouble1" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CByte" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int8)) :+: (C1 (MetaCons "CShort" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int16)) :+: C1 (MetaCons "CRef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe WordSize)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Ref JValue Low))))))))

data OneOrTwo Source #

Constructors

One
Two

Instances

Bounded OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode Methods minBound :: OneOrTwo # maxBound :: OneOrTwo #
Enum OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode Methods succ :: OneOrTwo -> OneOrTwo # pred :: OneOrTwo -> OneOrTwo # toEnum :: Int -> OneOrTwo # fromEnum :: OneOrTwo -> Int # enumFrom :: OneOrTwo -> [OneOrTwo] # enumFromThen :: OneOrTwo -> OneOrTwo -> [OneOrTwo] # enumFromTo :: OneOrTwo -> OneOrTwo -> [OneOrTwo] # enumFromThenTo :: OneOrTwo -> OneOrTwo -> OneOrTwo -> [OneOrTwo] #
Eq OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: OneOrTwo -> OneOrTwo -> Bool # (/=) :: OneOrTwo -> OneOrTwo -> Bool #
Ord OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: OneOrTwo -> OneOrTwo -> Ordering # (<) :: OneOrTwo -> OneOrTwo -> Bool # (<=) :: OneOrTwo -> OneOrTwo -> Bool # (>) :: OneOrTwo -> OneOrTwo -> Bool # (>=) :: OneOrTwo -> OneOrTwo -> Bool # max :: OneOrTwo -> OneOrTwo -> OneOrTwo # min :: OneOrTwo -> OneOrTwo -> OneOrTwo #
Show OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> OneOrTwo -> ShowS # show :: OneOrTwo -> String # showList :: [OneOrTwo] -> ShowS #
Generic OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep OneOrTwo :: Type -> Type # Methods from :: OneOrTwo -> Rep OneOrTwo x # to :: Rep OneOrTwo x -> OneOrTwo #
NFData OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: OneOrTwo -> () #
type Rep OneOrTwo Source #
Instance details Defined in Language.JVM.ByteCode type Rep OneOrTwo = D1 (MetaData "OneOrTwo" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "One" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Two" PrefixI False) (U1 :: Type -> Type))

data SwitchTable r Source #

Constructors

SwitchTable
Fields switchLow :: Int32 switchOffsets :: Vector (LongRelativeRef r)

Instances

Eq (SwitchTable High) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: SwitchTable High -> SwitchTable High -> Bool # (/=) :: SwitchTable High -> SwitchTable High -> Bool #
Eq (SwitchTable Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: SwitchTable Low -> SwitchTable Low -> Bool # (/=) :: SwitchTable Low -> SwitchTable Low -> Bool #
Ord (SwitchTable Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: SwitchTable Low -> SwitchTable Low -> Ordering # (<) :: SwitchTable Low -> SwitchTable Low -> Bool # (<=) :: SwitchTable Low -> SwitchTable Low -> Bool # (>) :: SwitchTable Low -> SwitchTable Low -> Bool # (>=) :: SwitchTable Low -> SwitchTable Low -> Bool # max :: SwitchTable Low -> SwitchTable Low -> SwitchTable Low # min :: SwitchTable Low -> SwitchTable Low -> SwitchTable Low #
Show (SwitchTable High) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> SwitchTable High -> ShowS # show :: SwitchTable High -> String # showList :: [SwitchTable High] -> ShowS #
Show (SwitchTable Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> SwitchTable Low -> ShowS # show :: SwitchTable Low -> String # showList :: [SwitchTable Low] -> ShowS #
Generic (SwitchTable High) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (SwitchTable High) :: Type -> Type # Methods from :: SwitchTable High -> Rep (SwitchTable High) x # to :: Rep (SwitchTable High) x -> SwitchTable High #
Generic (SwitchTable Low) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (SwitchTable Low) :: Type -> Type # Methods from :: SwitchTable Low -> Rep (SwitchTable Low) x # to :: Rep (SwitchTable Low) x -> SwitchTable Low #
NFData (SwitchTable High) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: SwitchTable High -> () #
NFData (SwitchTable Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: SwitchTable Low -> () #
type Rep (SwitchTable High) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (SwitchTable High) = D1 (MetaData "SwitchTable" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "SwitchTable" PrefixI True) (S1 (MetaSel (Just "switchLow") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int32) :*: S1 (MetaSel (Just "switchOffsets") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Vector (LongRelativeRef High)))))
type Rep (SwitchTable Low) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (SwitchTable Low) = D1 (MetaData "SwitchTable" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "SwitchTable" PrefixI True) (S1 (MetaSel (Just "switchLow") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int32) :*: S1 (MetaSel (Just "switchOffsets") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Vector (LongRelativeRef Low)))))

switchHigh :: SwitchTable Low -> Int32 Source #

data FieldAccess Source #

Constructors

FldStatic
FldField

Instances

Eq FieldAccess Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: FieldAccess -> FieldAccess -> Bool # (/=) :: FieldAccess -> FieldAccess -> Bool #
Ord FieldAccess Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: FieldAccess -> FieldAccess -> Ordering # (<) :: FieldAccess -> FieldAccess -> Bool # (<=) :: FieldAccess -> FieldAccess -> Bool # (>) :: FieldAccess -> FieldAccess -> Bool # (>=) :: FieldAccess -> FieldAccess -> Bool # max :: FieldAccess -> FieldAccess -> FieldAccess # min :: FieldAccess -> FieldAccess -> FieldAccess #
Show FieldAccess Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> FieldAccess -> ShowS # show :: FieldAccess -> String # showList :: [FieldAccess] -> ShowS #
Generic FieldAccess Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep FieldAccess :: Type -> Type # Methods from :: FieldAccess -> Rep FieldAccess x # to :: Rep FieldAccess x -> FieldAccess #
NFData FieldAccess Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: FieldAccess -> () #
type Rep FieldAccess Source #
Instance details Defined in Language.JVM.ByteCode type Rep FieldAccess = D1 (MetaData "FieldAccess" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "FldStatic" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "FldField" PrefixI False) (U1 :: Type -> Type))

data Invocation r Source #

Constructors

InvkSpecial !(Ref AbsVariableMethodId r)	Variable since 52.0
InvkVirtual !(Ref (InRefType MethodId) r)
InvkStatic !(Ref AbsVariableMethodId r)	Variable since 52.0
InvkInterface !Word8 !(Ref AbsInterfaceMethodId r)	Should be a positive number
InvkDynamic !(DeepRef InvokeDynamic r)

Instances

Staged Invocation Source #
Instance details Defined in Language.JVM.ByteCode Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Invocation r -> m (Invocation r') Source # evolve :: EvolveM m => Invocation Low -> m (Invocation High) Source # devolve :: DevolveM m => Invocation High -> m (Invocation Low) Source #
Eq (Invocation High) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: Invocation High -> Invocation High -> Bool # (/=) :: Invocation High -> Invocation High -> Bool #
Eq (Invocation Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: Invocation Low -> Invocation Low -> Bool # (/=) :: Invocation Low -> Invocation Low -> Bool #
Ord (Invocation Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: Invocation Low -> Invocation Low -> Ordering # (<) :: Invocation Low -> Invocation Low -> Bool # (<=) :: Invocation Low -> Invocation Low -> Bool # (>) :: Invocation Low -> Invocation Low -> Bool # (>=) :: Invocation Low -> Invocation Low -> Bool # max :: Invocation Low -> Invocation Low -> Invocation Low # min :: Invocation Low -> Invocation Low -> Invocation Low #
Show (Invocation High) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> Invocation High -> ShowS # show :: Invocation High -> String # showList :: [Invocation High] -> ShowS #
Show (Invocation Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> Invocation Low -> ShowS # show :: Invocation Low -> String # showList :: [Invocation Low] -> ShowS #
Generic (Invocation High) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (Invocation High) :: Type -> Type # Methods from :: Invocation High -> Rep (Invocation High) x # to :: Rep (Invocation High) x -> Invocation High #
Generic (Invocation Low) Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep (Invocation Low) :: Type -> Type # Methods from :: Invocation Low -> Rep (Invocation Low) x # to :: Rep (Invocation Low) x -> Invocation Low #
NFData (Invocation High) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: Invocation High -> () #
NFData (Invocation Low) Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: Invocation Low -> () #
type Rep (Invocation High) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (Invocation High) = D1 (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "InvkSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsVariableMethodId High))) :+: C1 (MetaCons "InvkVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (InRefType MethodId) High)))) :+: (C1 (MetaCons "InvkStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsVariableMethodId High))) :+: (C1 (MetaCons "InvkInterface" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word8) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsInterfaceMethodId High))) :+: C1 (MetaCons "InvkDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef InvokeDynamic High))))))
type Rep (Invocation Low) Source #
Instance details Defined in Language.JVM.ByteCode type Rep (Invocation Low) = D1 (MetaData "Invocation" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "InvkSpecial" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsVariableMethodId Low))) :+: C1 (MetaCons "InvkVirtual" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref (InRefType MethodId) Low)))) :+: (C1 (MetaCons "InvkStatic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsVariableMethodId Low))) :+: (C1 (MetaCons "InvkInterface" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Word8) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref AbsInterfaceMethodId Low))) :+: C1 (MetaCons "InvkDynamic" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DeepRef InvokeDynamic Low))))))

type ShortRelativeRef i = Choice Int16 ByteCodeIndex i Source #

A short relative bytecode ref is defined in correspondence with the

type LongRelativeRef i = Choice Int32 ByteCodeIndex i Source #

A Long relative reference. The only reason this exist because the signed nature of int, looses a bit.

data NewArrayType Source #

Constructors

NewArrayType Word8 JType

Instances

Eq NewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: NewArrayType -> NewArrayType -> Bool # (/=) :: NewArrayType -> NewArrayType -> Bool #
Ord NewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: NewArrayType -> NewArrayType -> Ordering # (<) :: NewArrayType -> NewArrayType -> Bool # (<=) :: NewArrayType -> NewArrayType -> Bool # (>) :: NewArrayType -> NewArrayType -> Bool # (>=) :: NewArrayType -> NewArrayType -> Bool # max :: NewArrayType -> NewArrayType -> NewArrayType # min :: NewArrayType -> NewArrayType -> NewArrayType #
Show NewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> NewArrayType -> ShowS # show :: NewArrayType -> String # showList :: [NewArrayType] -> ShowS #
Generic NewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep NewArrayType :: Type -> Type # Methods from :: NewArrayType -> Rep NewArrayType x # to :: Rep NewArrayType x -> NewArrayType #
NFData NewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: NewArrayType -> () #
type Rep NewArrayType Source #
Instance details Defined in Language.JVM.ByteCode type Rep NewArrayType = D1 (MetaData "NewArrayType" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "NewArrayType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Word8) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 JType)))

newArrayTypeType :: NewArrayType -> JRefType Source #

data LowNewArrayType Source #

Constructors

ArrayBaseType JBaseType
ArrayReference (Ref JRefType Low) Word8

Instances

Eq LowNewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: LowNewArrayType -> LowNewArrayType -> Bool # (/=) :: LowNewArrayType -> LowNewArrayType -> Bool #
Ord LowNewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: LowNewArrayType -> LowNewArrayType -> Ordering # (<) :: LowNewArrayType -> LowNewArrayType -> Bool # (<=) :: LowNewArrayType -> LowNewArrayType -> Bool # (>) :: LowNewArrayType -> LowNewArrayType -> Bool # (>=) :: LowNewArrayType -> LowNewArrayType -> Bool # max :: LowNewArrayType -> LowNewArrayType -> LowNewArrayType # min :: LowNewArrayType -> LowNewArrayType -> LowNewArrayType #
Show LowNewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> LowNewArrayType -> ShowS # show :: LowNewArrayType -> String # showList :: [LowNewArrayType] -> ShowS #
Generic LowNewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep LowNewArrayType :: Type -> Type # Methods from :: LowNewArrayType -> Rep LowNewArrayType x # to :: Rep LowNewArrayType x -> LowNewArrayType #
NFData LowNewArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: LowNewArrayType -> () #
type Rep LowNewArrayType Source #
Instance details Defined in Language.JVM.ByteCode type Rep LowNewArrayType = D1 (MetaData "LowNewArrayType" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "ArrayBaseType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 JBaseType)) :+: C1 (MetaCons "ArrayReference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Ref JRefType Low)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Word8)))

Operations

data BinOpr Source #

Constructors

Add
Sub
Mul
Div
Rem

Instances

Eq BinOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: BinOpr -> BinOpr -> Bool # (/=) :: BinOpr -> BinOpr -> Bool #
Ord BinOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: BinOpr -> BinOpr -> Ordering # (<) :: BinOpr -> BinOpr -> Bool # (<=) :: BinOpr -> BinOpr -> Bool # (>) :: BinOpr -> BinOpr -> Bool # (>=) :: BinOpr -> BinOpr -> Bool # max :: BinOpr -> BinOpr -> BinOpr # min :: BinOpr -> BinOpr -> BinOpr #
Show BinOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> BinOpr -> ShowS # show :: BinOpr -> String # showList :: [BinOpr] -> ShowS #
Generic BinOpr Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep BinOpr :: Type -> Type # Methods from :: BinOpr -> Rep BinOpr x # to :: Rep BinOpr x -> BinOpr #
NFData BinOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: BinOpr -> () #
type Rep BinOpr Source #
Instance details Defined in Language.JVM.ByteCode type Rep BinOpr = D1 (MetaData "BinOpr" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "Add" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Sub" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Mul" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Div" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Rem" PrefixI False) (U1 :: Type -> Type))))

data BitOpr Source #

Constructors

ShL
ShR
UShR
And
Or
XOr

Instances

Eq BitOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: BitOpr -> BitOpr -> Bool # (/=) :: BitOpr -> BitOpr -> Bool #
Ord BitOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: BitOpr -> BitOpr -> Ordering # (<) :: BitOpr -> BitOpr -> Bool # (<=) :: BitOpr -> BitOpr -> Bool # (>) :: BitOpr -> BitOpr -> Bool # (>=) :: BitOpr -> BitOpr -> Bool # max :: BitOpr -> BitOpr -> BitOpr # min :: BitOpr -> BitOpr -> BitOpr #
Show BitOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> BitOpr -> ShowS # show :: BitOpr -> String # showList :: [BitOpr] -> ShowS #
Generic BitOpr Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep BitOpr :: Type -> Type # Methods from :: BitOpr -> Rep BitOpr x # to :: Rep BitOpr x -> BitOpr #
NFData BitOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: BitOpr -> () #
type Rep BitOpr Source #
Instance details Defined in Language.JVM.ByteCode type Rep BitOpr = D1 (MetaData "BitOpr" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "ShL" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ShR" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UShR" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "And" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Or" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "XOr" PrefixI False) (U1 :: Type -> Type))))

data CmpOpr Source #

Constructors

CEq
CNe
CLt
CGe
CGt
CLe

Instances

Eq CmpOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: CmpOpr -> CmpOpr -> Bool # (/=) :: CmpOpr -> CmpOpr -> Bool #
Ord CmpOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: CmpOpr -> CmpOpr -> Ordering # (<) :: CmpOpr -> CmpOpr -> Bool # (<=) :: CmpOpr -> CmpOpr -> Bool # (>) :: CmpOpr -> CmpOpr -> Bool # (>=) :: CmpOpr -> CmpOpr -> Bool # max :: CmpOpr -> CmpOpr -> CmpOpr # min :: CmpOpr -> CmpOpr -> CmpOpr #
Show CmpOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> CmpOpr -> ShowS # show :: CmpOpr -> String # showList :: [CmpOpr] -> ShowS #
Generic CmpOpr Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep CmpOpr :: Type -> Type # Methods from :: CmpOpr -> Rep CmpOpr x # to :: Rep CmpOpr x -> CmpOpr #
NFData CmpOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: CmpOpr -> () #
type Rep CmpOpr Source #
Instance details Defined in Language.JVM.ByteCode type Rep CmpOpr = D1 (MetaData "CmpOpr" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "CEq" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CNe" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CLt" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "CGe" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CGt" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CLe" PrefixI False) (U1 :: Type -> Type))))

data CastOpr Source #

Constructors

CastDown SmallArithmeticType	Cast from Int to a smaller type
CastTo ArithmeticType ArithmeticType	Cast from any to any arithmetic type. Cannot be the same type.

Instances

Eq CastOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: CastOpr -> CastOpr -> Bool # (/=) :: CastOpr -> CastOpr -> Bool #
Ord CastOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: CastOpr -> CastOpr -> Ordering # (<) :: CastOpr -> CastOpr -> Bool # (<=) :: CastOpr -> CastOpr -> Bool # (>) :: CastOpr -> CastOpr -> Bool # (>=) :: CastOpr -> CastOpr -> Bool # max :: CastOpr -> CastOpr -> CastOpr # min :: CastOpr -> CastOpr -> CastOpr #
Show CastOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> CastOpr -> ShowS # show :: CastOpr -> String # showList :: [CastOpr] -> ShowS #
Generic CastOpr Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep CastOpr :: Type -> Type # Methods from :: CastOpr -> Rep CastOpr x # to :: Rep CastOpr x -> CastOpr #
NFData CastOpr Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: CastOpr -> () #
type Rep CastOpr Source #
Instance details Defined in Language.JVM.ByteCode type Rep CastOpr = D1 (MetaData "CastOpr" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "CastDown" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 SmallArithmeticType)) :+: C1 (MetaCons "CastTo" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ArithmeticType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ArithmeticType)))

Type sets

data ArithmeticType Source #

Constructors

MInt
MLong
MFloat
MDouble

Instances

Bounded ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods minBound :: ArithmeticType # maxBound :: ArithmeticType #
Enum ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods succ :: ArithmeticType -> ArithmeticType # pred :: ArithmeticType -> ArithmeticType # toEnum :: Int -> ArithmeticType # fromEnum :: ArithmeticType -> Int # enumFrom :: ArithmeticType -> [ArithmeticType] # enumFromThen :: ArithmeticType -> ArithmeticType -> [ArithmeticType] # enumFromTo :: ArithmeticType -> ArithmeticType -> [ArithmeticType] # enumFromThenTo :: ArithmeticType -> ArithmeticType -> ArithmeticType -> [ArithmeticType] #
Eq ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ArithmeticType -> ArithmeticType -> Bool # (/=) :: ArithmeticType -> ArithmeticType -> Bool #
Ord ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: ArithmeticType -> ArithmeticType -> Ordering # (<) :: ArithmeticType -> ArithmeticType -> Bool # (<=) :: ArithmeticType -> ArithmeticType -> Bool # (>) :: ArithmeticType -> ArithmeticType -> Bool # (>=) :: ArithmeticType -> ArithmeticType -> Bool # max :: ArithmeticType -> ArithmeticType -> ArithmeticType # min :: ArithmeticType -> ArithmeticType -> ArithmeticType #
Show ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ArithmeticType -> ShowS # show :: ArithmeticType -> String # showList :: [ArithmeticType] -> ShowS #
Generic ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep ArithmeticType :: Type -> Type # Methods from :: ArithmeticType -> Rep ArithmeticType x # to :: Rep ArithmeticType x -> ArithmeticType #
NFData ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ArithmeticType -> () #
type Rep ArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode type Rep ArithmeticType = D1 (MetaData "ArithmeticType" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "MInt" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MLong" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "MFloat" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MDouble" PrefixI False) (U1 :: Type -> Type)))

data SmallArithmeticType Source #

Constructors

MByte
MChar
MShort

Instances

Bounded SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods minBound :: SmallArithmeticType # maxBound :: SmallArithmeticType #
Enum SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods succ :: SmallArithmeticType -> SmallArithmeticType # pred :: SmallArithmeticType -> SmallArithmeticType # toEnum :: Int -> SmallArithmeticType # fromEnum :: SmallArithmeticType -> Int # enumFrom :: SmallArithmeticType -> [SmallArithmeticType] # enumFromThen :: SmallArithmeticType -> SmallArithmeticType -> [SmallArithmeticType] # enumFromTo :: SmallArithmeticType -> SmallArithmeticType -> [SmallArithmeticType] # enumFromThenTo :: SmallArithmeticType -> SmallArithmeticType -> SmallArithmeticType -> [SmallArithmeticType] #
Eq SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: SmallArithmeticType -> SmallArithmeticType -> Bool # (/=) :: SmallArithmeticType -> SmallArithmeticType -> Bool #
Ord SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: SmallArithmeticType -> SmallArithmeticType -> Ordering # (<) :: SmallArithmeticType -> SmallArithmeticType -> Bool # (<=) :: SmallArithmeticType -> SmallArithmeticType -> Bool # (>) :: SmallArithmeticType -> SmallArithmeticType -> Bool # (>=) :: SmallArithmeticType -> SmallArithmeticType -> Bool # max :: SmallArithmeticType -> SmallArithmeticType -> SmallArithmeticType # min :: SmallArithmeticType -> SmallArithmeticType -> SmallArithmeticType #
Show SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> SmallArithmeticType -> ShowS # show :: SmallArithmeticType -> String # showList :: [SmallArithmeticType] -> ShowS #
Generic SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep SmallArithmeticType :: Type -> Type # Methods from :: SmallArithmeticType -> Rep SmallArithmeticType x # to :: Rep SmallArithmeticType x -> SmallArithmeticType #
NFData SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: SmallArithmeticType -> () #
type Rep SmallArithmeticType Source #
Instance details Defined in Language.JVM.ByteCode type Rep SmallArithmeticType = D1 (MetaData "SmallArithmeticType" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "MByte" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MChar" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MShort" PrefixI False) (U1 :: Type -> Type)))

data LocalType Source #

Constructors

LInt
LLong
LFloat
LDouble
LRef

Instances

Bounded LocalType Source #
Instance details Defined in Language.JVM.ByteCode Methods minBound :: LocalType # maxBound :: LocalType #
Enum LocalType Source #
Instance details Defined in Language.JVM.ByteCode Methods succ :: LocalType -> LocalType # pred :: LocalType -> LocalType # toEnum :: Int -> LocalType # fromEnum :: LocalType -> Int # enumFrom :: LocalType -> [LocalType] # enumFromThen :: LocalType -> LocalType -> [LocalType] # enumFromTo :: LocalType -> LocalType -> [LocalType] # enumFromThenTo :: LocalType -> LocalType -> LocalType -> [LocalType] #
Eq LocalType Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: LocalType -> LocalType -> Bool # (/=) :: LocalType -> LocalType -> Bool #
Ord LocalType Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: LocalType -> LocalType -> Ordering # (<) :: LocalType -> LocalType -> Bool # (<=) :: LocalType -> LocalType -> Bool # (>) :: LocalType -> LocalType -> Bool # (>=) :: LocalType -> LocalType -> Bool # max :: LocalType -> LocalType -> LocalType # min :: LocalType -> LocalType -> LocalType #
Show LocalType Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> LocalType -> ShowS # show :: LocalType -> String # showList :: [LocalType] -> ShowS #
Generic LocalType Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep LocalType :: Type -> Type # Methods from :: LocalType -> Rep LocalType x # to :: Rep LocalType x -> LocalType #
NFData LocalType Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: LocalType -> () #
type Rep LocalType Source #
Instance details Defined in Language.JVM.ByteCode type Rep LocalType = D1 (MetaData "LocalType" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) ((C1 (MetaCons "LInt" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LLong" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "LFloat" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "LDouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LRef" PrefixI False) (U1 :: Type -> Type))))

data ArrayType Source #

Constructors

AByte
AChar
AShort
AInt
ALong
AFloat
ADouble
ARef

Instances

Eq ArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods (==) :: ArrayType -> ArrayType -> Bool # (/=) :: ArrayType -> ArrayType -> Bool #
Ord ArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods compare :: ArrayType -> ArrayType -> Ordering # (<) :: ArrayType -> ArrayType -> Bool # (<=) :: ArrayType -> ArrayType -> Bool # (>) :: ArrayType -> ArrayType -> Bool # (>=) :: ArrayType -> ArrayType -> Bool # max :: ArrayType -> ArrayType -> ArrayType # min :: ArrayType -> ArrayType -> ArrayType #
Show ArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods showsPrec :: Int -> ArrayType -> ShowS # show :: ArrayType -> String # showList :: [ArrayType] -> ShowS #
Generic ArrayType Source #
Instance details Defined in Language.JVM.ByteCode Associated Types type Rep ArrayType :: Type -> Type # Methods from :: ArrayType -> Rep ArrayType x # to :: Rep ArrayType x -> ArrayType #
NFData ArrayType Source #
Instance details Defined in Language.JVM.ByteCode Methods rnf :: ArrayType -> () #
type Rep ArrayType Source #
Instance details Defined in Language.JVM.ByteCode type Rep ArrayType = D1 (MetaData "ArrayType" "Language.JVM.ByteCode" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (((C1 (MetaCons "AByte" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AChar" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "AShort" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AInt" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ALong" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AFloat" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ADouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ARef" PrefixI False) (U1 :: Type -> Type))))

Renames

type WordSize = OneOrTwo Source #

type ByteOffset = Int64 #

An offset, counted in bytes.

type LocalAddress = Word16 Source #

type IncrementAmount = Int16 Source #