Safe Haskell	None
Language	GHC2021

H2JVM

Contents

Core Types
Names, Types and Descriptors
Constant Pool
Code Generation & Instructions
High-level Serialisation API

Description

Unified entry point for the H2JVM library.

This module exposes the high-level, type-safe API for assembling JVM bytecode classes.

For general usage, see the H2JVM.Builder and H2JVM.Builder.Code modules for constructing class and method bodies, and classFileBytes to serialise.

Synopsis

data ClassFile = ClassFile {
- name :: QualifiedClassName
- version :: JVMVersion
- accessFlags :: [ClassAccessFlag]
- superClass :: Maybe QualifiedClassName
- interfaces :: [QualifiedClassName]
- fields :: [ClassFileField]
- methods :: [ClassFileMethod]
- attributes :: TypeMergingList ClassFileAttribute
}
data ClassFileAttribute
- = InnerClasses [InnerClassInfo]
- | EnclosingMethod
- | Signature
- | SourceFile Text
- | SourceDebugExtension
- | Deprecated
- | RuntimeVisibleAnnotations
- | RuntimeInvisibleAnnotations
- | BootstrapMethods [BootstrapMethod]
data InnerClassInfo = InnerClassInfo {
- innerClassInfo :: QualifiedClassName
- outerClassInfo :: QualifiedClassName
- innerName :: Text
- accessFlags :: [ClassAccessFlag]
}
data JVMVersion
data MajorVersion
data MinorVersion
unwrapMajor :: MajorVersion -> Word16
unwrapMinor :: MinorVersion -> Word16
getMajor :: JVMVersion -> MajorVersion
getMinor :: JVMVersion -> MinorVersion
java6 :: JVMVersion
java7 :: JVMVersion
java8 :: JVMVersion
java9 :: JVMVersion
java10 :: JVMVersion
java11 :: JVMVersion
java12 :: JVMVersion
java13 :: JVMVersion
java14 :: JVMVersion
java15 :: JVMVersion
java16 :: JVMVersion
java17 :: JVMVersion
java18 :: JVMVersion
java19 :: JVMVersion
java20 :: JVMVersion
java21 :: JVMVersion
data ClassAccessFlag
- = CPublic
- | CFinal
- | CSuper
- | CInterface
- | CAbstract
- | CSynthetic
- | CAnnotation
- | CEnum
data MethodAccessFlag
- = MPublic
- | MPrivate
- | MProtected
- | MStatic
- | MFinal
- | MSynchronized
- | MBridge
- | MVarargs
- | MNative
- | MAbstract
- | MStrict
- | MSynthetic
data ClassFileField = ClassFileField {
- fieldAccessFlags :: [FieldAccessFlag]
- fieldName :: Text
- fieldType :: FieldType
- fieldAttributes :: [FieldAttribute]
}
data ClassFileMethod = ClassFileMethod {
- methodAccessFlags :: [MethodAccessFlag]
- methodName :: Text
- methodDescriptor :: MethodDescriptor
- methodAttributes :: TypeMergingList MethodAttribute
}
newtype MethodAttribute = Code CodeAttributeData
data CodeAttributeData = CodeAttributeData {
- maxStack :: U2
- maxLocals :: U2
- code :: NonEmpty Instruction
- exceptionTable :: [ExceptionTableEntry]
- codeAttributes :: [CodeAttribute]
}
data ExceptionTableEntry = ExceptionTableEntry {
- startPc :: Int
- endPc :: Int
- handlerPc :: Int
- catchType :: Maybe ClassInfoType
}
data CodeAttribute
- = LineNumberTable [LineNumberTableEntry]
- | StackMapTable [StackMapFrame]
data QualifiedClassName
data PackageName
data ClassName
parseQualifiedClassName :: Text -> QualifiedClassName
parseClassName :: Text -> ClassName
parsePackageName :: Text -> PackageName
classFilePath :: ClassFile -> FilePath
data MethodDescriptor = MethodDescriptor {
- params :: [FieldType]
- returnDesc :: ReturnDescriptor
}
data ReturnDescriptor
- = VoidReturn
- | TypeReturn FieldType
data FieldType
- = PrimitiveFieldType PrimitiveType
- | ObjectFieldType QualifiedClassName
- | ArrayFieldType FieldType
data PrimitiveType
- = JByte
- | JChar
- | JDouble
- | JFloat
- | JInt
- | JLong
- | JShort
- | JBoolean
data ConstantPoolEntry
- = CPClassEntry ClassInfoType
- | CPFieldRefEntry FieldRef
- | CPMethodRefEntry MethodRef
- | CPInterfaceMethodRefEntry MethodRef
- | CPStringEntry Text
- | CPIntegerEntry Int32
- | CPFloatEntry Float
- | CPLongEntry Int64
- | CPDoubleEntry Double
- | CPNameAndTypeEntry Text Text
- | CPUTF8Entry Text
- | CPMethodHandleEntry MethodHandleEntry
- | CPMethodTypeEntry MethodDescriptor
- | CPInvokeDynamicEntry BootstrapMethod Text MethodDescriptor
data MethodHandleEntry
- = MHGetField FieldRef
- | MHGetStatic FieldRef
- | MHPutField FieldRef
- | MHPutStatic FieldRef
- | MHInvokeVirtual MethodRef
- | MHNewInvokeSpecial MethodRef
- | MHInvokeStatic MethodRef
- | MHInvokeSpecial MethodRef
- | MHInvokeInterface MethodRef
data FieldRef = FieldRef ClassInfoType Text FieldType
data MethodRef = MethodRef ClassInfoType Text MethodDescriptor
data BootstrapMethod = BootstrapMethod MethodHandleEntry [BootstrapArgument]
data BootstrapArgument
- = BMClassArg ClassInfoType
- | BMStringArg Text
- | BMIntArg Int32
- | BMMethodArg MethodDescriptor
- | BMMethodHandleArg MethodHandleEntry
data CodeBuilder (m :: k) a
runCodeBuilder :: forall (r :: [(Type -> Type) -> Type -> Type]) a. HasCallStack => Eff ((CodeBuilder :: (Type -> Type) -> Type -> Type) ': r) a -> Eff r (a, [CodeAttribute], NonEmpty Instruction)
emit :: forall (r :: [Effect]). (CodeBuilder :: (Type -> Type) -> Type -> Type) :> r => Instruction -> Eff r ()
newLabel :: forall {k} (es :: [Effect]). (HasCallStack, (CodeBuilder :: (Type -> Type) -> Type -> Type) :> es) => Eff es Label
data Label
type Instruction = Instruction' Label
data Instruction' label
- = ALoad U2
- | AStore U2
- | AReturn
- | AConstNull
- | Dup
- | IAnd
- | If (IfCond label)
- | Instanceof ClassInfoType
- | InvokeStatic ClassInfoType Text MethodDescriptor
- | InvokeInterface ClassInfoType Text MethodDescriptor
- | InvokeVirtual ClassInfoType Text MethodDescriptor
- | InvokeDynamic BootstrapMethod Text MethodDescriptor
- | InvokeSpecial ClassInfoType Text MethodDescriptor
- | IOr
- | ILoad U2
- | IStore U2
- | Label label
- | LDC LDCEntry
- | PutStatic ClassInfoType Text FieldType
- | GetField ClassInfoType Text FieldType
- | GetStatic ClassInfoType Text FieldType
- | PutField ClassInfoType Text FieldType
- | Goto label
- | CheckCast ClassInfoType
- | Return
- | IReturn
- | IConst0
- | IConst1
- | New ClassInfoType
- | ArrayLength
- | AALoad
- | IfICmp (IfCond label)
- | IAdd
- | ISub
- | IMul
- | IDiv
data LDCEntry
- = LDCInt JVMInt
- | LDCFloat Float
- | LDCString Text
- | LDCClass ClassInfoType
classFileBytes :: ClassFile -> Either CodeConverterError ByteString
data CodeConverterError

Core Types

data ClassFile Source #

High-level representation of a Java class file.

Constructors

ClassFile

Fields

name :: QualifiedClassName
The fully qualified name of the class.
version :: JVMVersion
The target JVM/Java version
accessFlags :: [ClassAccessFlag]
Access flags and modifiers of the class (e.g. public, abstract).
superClass :: Maybe QualifiedClassName
The fully qualified name of the superclass (or Nothing for javalangObject).
interfaces :: [QualifiedClassName]
The fully qualified names of the interfaces implemented by this class.
fields :: [ClassFileField]
Fields defined in the class.
methods :: [ClassFileMethod]
Methods defined in the class.
attributes :: TypeMergingList ClassFileAttribute
Additional class file attributes.

Instances

Instances details

Show ClassFile Source #
Instance details Defined in H2JVM.ClassFile Methods showsPrec :: Int -> ClassFile -> ShowS # show :: ClassFile -> String # showList :: [ClassFile] -> ShowS #
Pretty ClassFile Source #
Instance details Defined in H2JVM.ClassFile Methods pretty :: ClassFile -> Doc ann Source # prettyList :: [ClassFile] -> Doc ann Source #

data ClassFileAttribute Source #

Attributes that can be attached to a class file.

Constructors

InnerClasses [InnerClassInfo]	The `InnerClasses` attribute, specifying the nested/inner class info.
EnclosingMethod	The `EnclosingMethod` attribute.
Signature	The `Signature` attribute for generic type information.
SourceFile Text	The name of the source file this class was compiled from.
SourceDebugExtension	The `SourceDebugExtension` attribute.
Deprecated	The `Deprecated` attribute indicating this class is deprecated.
RuntimeVisibleAnnotations	The annotations visible at runtime.
RuntimeInvisibleAnnotations	The annotations invisible at runtime.
BootstrapMethods [BootstrapMethod]	Bootstrap methods for `invokedynamic` instructions.

Instances

Instances details

Data ClassFileAttribute Source #
Instance details Defined in H2JVM.ClassFile Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassFileAttribute -> c ClassFileAttribute # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassFileAttribute # toConstr :: ClassFileAttribute -> Constr # dataTypeOf :: ClassFileAttribute -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ClassFileAttribute) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassFileAttribute) # gmapT :: (forall b. Data b => b -> b) -> ClassFileAttribute -> ClassFileAttribute # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassFileAttribute -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassFileAttribute -> r # gmapQ :: (forall d. Data d => d -> u) -> ClassFileAttribute -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassFileAttribute -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassFileAttribute -> m ClassFileAttribute # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassFileAttribute -> m ClassFileAttribute # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassFileAttribute -> m ClassFileAttribute #
Show ClassFileAttribute Source #
Instance details Defined in H2JVM.ClassFile Methods showsPrec :: Int -> ClassFileAttribute -> ShowS # show :: ClassFileAttribute -> String # showList :: [ClassFileAttribute] -> ShowS #
Eq ClassFileAttribute Source #
Instance details Defined in H2JVM.ClassFile Methods (==) :: ClassFileAttribute -> ClassFileAttribute -> Bool # (/=) :: ClassFileAttribute -> ClassFileAttribute -> Bool #
DataMergeable ClassFileAttribute Source #
Instance details Defined in H2JVM.ClassFile Methods merge :: ClassFileAttribute -> ClassFileAttribute -> ClassFileAttribute Source #
Pretty ClassFileAttribute Source #
Instance details Defined in H2JVM.ClassFile Methods pretty :: ClassFileAttribute -> Doc ann Source # prettyList :: [ClassFileAttribute] -> Doc ann Source #

data InnerClassInfo Source #

Information about an inner class.

Constructors

InnerClassInfo
Fields innerClassInfo :: QualifiedClassName The inner class being defined. outerClassInfo :: QualifiedClassName The enclosing outer class. innerName :: Text Simple name of the inner class. accessFlags :: [ClassAccessFlag] Access flags of the inner class.

Instances

Instances details

Data InnerClassInfo Source #
Instance details Defined in H2JVM.ClassFile Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InnerClassInfo -> c InnerClassInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InnerClassInfo # toConstr :: InnerClassInfo -> Constr # dataTypeOf :: InnerClassInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InnerClassInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InnerClassInfo) # gmapT :: (forall b. Data b => b -> b) -> InnerClassInfo -> InnerClassInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InnerClassInfo -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InnerClassInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> InnerClassInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InnerClassInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InnerClassInfo -> m InnerClassInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InnerClassInfo -> m InnerClassInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InnerClassInfo -> m InnerClassInfo #
Show InnerClassInfo Source #
Instance details Defined in H2JVM.ClassFile Methods showsPrec :: Int -> InnerClassInfo -> ShowS # show :: InnerClassInfo -> String # showList :: [InnerClassInfo] -> ShowS #
Eq InnerClassInfo Source #
Instance details Defined in H2JVM.ClassFile Methods (==) :: InnerClassInfo -> InnerClassInfo -> Bool # (/=) :: InnerClassInfo -> InnerClassInfo -> Bool #
Pretty InnerClassInfo Source #
Instance details Defined in H2JVM.ClassFile Methods pretty :: InnerClassInfo -> Doc ann Source # prettyList :: [InnerClassInfo] -> Doc ann Source #

data JVMVersion Source #

A JVM Version Number.

Instances

Instances details

Show JVMVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods showsPrec :: Int -> JVMVersion -> ShowS # show :: JVMVersion -> String # showList :: [JVMVersion] -> ShowS #
Eq JVMVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods (==) :: JVMVersion -> JVMVersion -> Bool # (/=) :: JVMVersion -> JVMVersion -> Bool #
Ord JVMVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods compare :: JVMVersion -> JVMVersion -> Ordering # (<) :: JVMVersion -> JVMVersion -> Bool # (<=) :: JVMVersion -> JVMVersion -> Bool # (>) :: JVMVersion -> JVMVersion -> Bool # (>=) :: JVMVersion -> JVMVersion -> Bool # max :: JVMVersion -> JVMVersion -> JVMVersion # min :: JVMVersion -> JVMVersion -> JVMVersion #
Pretty JVMVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods pretty :: JVMVersion -> Doc ann Source # prettyList :: [JVMVersion] -> Doc ann Source #

data MajorVersion Source #

A Major JVM version.

Instances

Instances details

Num MajorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods (+) :: MajorVersion -> MajorVersion -> MajorVersion # (-) :: MajorVersion -> MajorVersion -> MajorVersion # (*) :: MajorVersion -> MajorVersion -> MajorVersion # negate :: MajorVersion -> MajorVersion # abs :: MajorVersion -> MajorVersion # signum :: MajorVersion -> MajorVersion # fromInteger :: Integer -> MajorVersion #
Show MajorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods showsPrec :: Int -> MajorVersion -> ShowS # show :: MajorVersion -> String # showList :: [MajorVersion] -> ShowS #
Eq MajorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods (==) :: MajorVersion -> MajorVersion -> Bool # (/=) :: MajorVersion -> MajorVersion -> Bool #
Ord MajorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods compare :: MajorVersion -> MajorVersion -> Ordering # (<) :: MajorVersion -> MajorVersion -> Bool # (<=) :: MajorVersion -> MajorVersion -> Bool # (>) :: MajorVersion -> MajorVersion -> Bool # (>=) :: MajorVersion -> MajorVersion -> Bool # max :: MajorVersion -> MajorVersion -> MajorVersion # min :: MajorVersion -> MajorVersion -> MajorVersion #

data MinorVersion Source #

A Minor JVM version.

Instances

Instances details

Num MinorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods (+) :: MinorVersion -> MinorVersion -> MinorVersion # (-) :: MinorVersion -> MinorVersion -> MinorVersion # (*) :: MinorVersion -> MinorVersion -> MinorVersion # negate :: MinorVersion -> MinorVersion # abs :: MinorVersion -> MinorVersion # signum :: MinorVersion -> MinorVersion # fromInteger :: Integer -> MinorVersion #
Show MinorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods showsPrec :: Int -> MinorVersion -> ShowS # show :: MinorVersion -> String # showList :: [MinorVersion] -> ShowS #
Eq MinorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods (==) :: MinorVersion -> MinorVersion -> Bool # (/=) :: MinorVersion -> MinorVersion -> Bool #
Ord MinorVersion Source #
Instance details Defined in H2JVM.JVMVersion Methods compare :: MinorVersion -> MinorVersion -> Ordering # (<) :: MinorVersion -> MinorVersion -> Bool # (<=) :: MinorVersion -> MinorVersion -> Bool # (>) :: MinorVersion -> MinorVersion -> Bool # (>=) :: MinorVersion -> MinorVersion -> Bool # max :: MinorVersion -> MinorVersion -> MinorVersion # min :: MinorVersion -> MinorVersion -> MinorVersion #

unwrapMajor :: MajorVersion -> Word16 Source #

Unwrap the MajorVersion to obtain the raw Word16 value.

unwrapMinor :: MinorVersion -> Word16 Source #

Unwrap the MinorVersion to obtain the raw Word16 value.

getMajor :: JVMVersion -> MajorVersion Source #

Extract the MajorVersion from a JVMVersion.

getMinor :: JVMVersion -> MinorVersion Source #

Extract the MinorVersion from a JVMVersion (always 0 for standard JVMs).

java6 :: JVMVersion Source #

JVM Version number representing Java 6 (class file major version 50).

java7 :: JVMVersion Source #

JVM Version number representing Java 7 (class file major version 51).

java8 :: JVMVersion Source #

JVM Version number representing Java 8 (class file major version 52).

java9 :: JVMVersion Source #

JVM Version number representing Java 9 (class file major version 53).

java10 :: JVMVersion Source #

JVM Version number representing Java 10 (class file major version 54).

java11 :: JVMVersion Source #

JVM Version number representing Java 11 (class file major version 55).

java12 :: JVMVersion Source #

JVM Version number representing Java 12 (class file major version 56).

java13 :: JVMVersion Source #

JVM Version number representing Java 13 (class file major version 57).

java14 :: JVMVersion Source #

JVM Version number representing Java 14 (class file major version 58).

java15 :: JVMVersion Source #

JVM Version number representing Java 15 (class file major version 59).

java16 :: JVMVersion Source #

JVM Version number representing Java 16 (class file major version 60).

java17 :: JVMVersion Source #

JVM Version number representing Java 17 (class file major version 61).

java18 :: JVMVersion Source #

JVM Version number representing Java 18 (class file major version 62).

java19 :: JVMVersion Source #

JVM Version number representing Java 19 (class file major version 63).

java20 :: JVMVersion Source #

JVM Version number representing Java 20 (class file major version 64).

java21 :: JVMVersion Source #

JVM Version number representing Java 21 (class file major version 65).

data ClassAccessFlag Source #

Access flags for a class.

Constructors

CPublic
CFinal
CSuper
CInterface
CAbstract
CSynthetic
CAnnotation
CEnum

Instances

Instances details

Data ClassAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassAccessFlag -> c ClassAccessFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassAccessFlag # toConstr :: ClassAccessFlag -> Constr # dataTypeOf :: ClassAccessFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ClassAccessFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassAccessFlag) # gmapT :: (forall b. Data b => b -> b) -> ClassAccessFlag -> ClassAccessFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassAccessFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassAccessFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> ClassAccessFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassAccessFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassAccessFlag -> m ClassAccessFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassAccessFlag -> m ClassAccessFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassAccessFlag -> m ClassAccessFlag #
Show ClassAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods showsPrec :: Int -> ClassAccessFlag -> ShowS # show :: ClassAccessFlag -> String # showList :: [ClassAccessFlag] -> ShowS #
Eq ClassAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods (==) :: ClassAccessFlag -> ClassAccessFlag -> Bool # (/=) :: ClassAccessFlag -> ClassAccessFlag -> Bool #
Pretty ClassAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods pretty :: ClassAccessFlag -> Doc ann Source # prettyList :: [ClassAccessFlag] -> Doc ann Source #

data MethodAccessFlag Source #

Access flags for a method.

Constructors

MPublic
MPrivate
MProtected
MStatic
MFinal
MSynchronized
MBridge
MVarargs
MNative
MAbstract
MStrict
MSynthetic

Instances

Instances details

Data MethodAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodAccessFlag -> c MethodAccessFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodAccessFlag # toConstr :: MethodAccessFlag -> Constr # dataTypeOf :: MethodAccessFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MethodAccessFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodAccessFlag) # gmapT :: (forall b. Data b => b -> b) -> MethodAccessFlag -> MethodAccessFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodAccessFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodAccessFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> MethodAccessFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodAccessFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodAccessFlag -> m MethodAccessFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodAccessFlag -> m MethodAccessFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodAccessFlag -> m MethodAccessFlag #
Show MethodAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods showsPrec :: Int -> MethodAccessFlag -> ShowS # show :: MethodAccessFlag -> String # showList :: [MethodAccessFlag] -> ShowS #
Eq MethodAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods (==) :: MethodAccessFlag -> MethodAccessFlag -> Bool # (/=) :: MethodAccessFlag -> MethodAccessFlag -> Bool #
Pretty MethodAccessFlag Source #
Instance details Defined in H2JVM.ClassFile.AccessFlags Methods pretty :: MethodAccessFlag -> Doc ann Source # prettyList :: [MethodAccessFlag] -> Doc ann Source #

data ClassFileField Source #

A field in a Java class file.

Constructors

ClassFileField
Fields fieldAccessFlags :: [FieldAccessFlag] The access flags of the field fieldName :: Text The name of the field fieldType :: FieldType The type of the field fieldAttributes :: [FieldAttribute] The attributes of the field

Instances

Instances details

Show ClassFileField Source #
Instance details Defined in H2JVM.ClassFile.Field Methods showsPrec :: Int -> ClassFileField -> ShowS # show :: ClassFileField -> String # showList :: [ClassFileField] -> ShowS #
Pretty ClassFileField Source #
Instance details Defined in H2JVM.ClassFile.Field Methods pretty :: ClassFileField -> Doc ann Source # prettyList :: [ClassFileField] -> Doc ann Source #

data ClassFileMethod Source #

A high level representation of a method in a class file.

Constructors

ClassFileMethod
Fields methodAccessFlags :: [MethodAccessFlag] Access flags for the method. methodName :: Text The name of the method. methodDescriptor :: MethodDescriptor The descriptor of the method. methodAttributes :: TypeMergingList MethodAttribute The attributes of the method.

Instances

Instances details

Show ClassFileMethod Source #
Instance details Defined in H2JVM.ClassFile.Method Methods showsPrec :: Int -> ClassFileMethod -> ShowS # show :: ClassFileMethod -> String # showList :: [ClassFileMethod] -> ShowS #
Pretty ClassFileMethod Source #
Instance details Defined in H2JVM.ClassFile.Method Methods pretty :: ClassFileMethod -> Doc ann Source # prettyList :: [ClassFileMethod] -> Doc ann Source #

newtype MethodAttribute Source #

An attribute of a method.

Constructors

Code CodeAttributeData

The bytecode instructions and execution context of the method body.

Instances

Instances details

Data MethodAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodAttribute -> c MethodAttribute #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodAttribute #

toConstr :: MethodAttribute -> Constr #

dataTypeOf :: MethodAttribute -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MethodAttribute) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodAttribute) #

gmapT :: (forall b. Data b => b -> b) -> MethodAttribute -> MethodAttribute #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodAttribute -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodAttribute -> r #

gmapQ :: (forall d. Data d => d -> u) -> MethodAttribute -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodAttribute -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodAttribute -> m MethodAttribute #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodAttribute -> m MethodAttribute #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodAttribute -> m MethodAttribute #

Generic MethodAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Associated Types

type Rep MethodAttribute
Instance details Defined in H2JVM.ClassFile.Method type Rep MethodAttribute = D1 ('MetaData "MethodAttribute" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'True) (C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CodeAttributeData)))

Methods

from :: MethodAttribute -> Rep MethodAttribute x #

to :: Rep MethodAttribute x -> MethodAttribute #

Show MethodAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

showsPrec :: Int -> MethodAttribute -> ShowS #

show :: MethodAttribute -> String #

showList :: [MethodAttribute] -> ShowS #

DataMergeable MethodAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

merge :: MethodAttribute -> MethodAttribute -> MethodAttribute Source #

Pretty MethodAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

pretty :: MethodAttribute -> Doc ann Source #

prettyList :: [MethodAttribute] -> Doc ann Source #

type Rep MethodAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

type Rep MethodAttribute = D1 ('MetaData "MethodAttribute" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'True) (C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CodeAttributeData)))

data CodeAttributeData Source #

The data contained in a Code attribute.

Constructors

CodeAttributeData
Fields maxStack :: U2 The maximum stack size used by the method. maxLocals :: U2 The maximum number of local variables used by the method. code :: NonEmpty Instruction The bytecode instructions of the method. exceptionTable :: [ExceptionTableEntry] The exception table of the method. codeAttributes :: [CodeAttribute] Code attributes (like stack map tables and line number tables).

Instances

Instances details

Data CodeAttributeData Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CodeAttributeData -> c CodeAttributeData #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CodeAttributeData #

toConstr :: CodeAttributeData -> Constr #

dataTypeOf :: CodeAttributeData -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CodeAttributeData) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CodeAttributeData) #

gmapT :: (forall b. Data b => b -> b) -> CodeAttributeData -> CodeAttributeData #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttributeData -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttributeData -> r #

gmapQ :: (forall d. Data d => d -> u) -> CodeAttributeData -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CodeAttributeData -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CodeAttributeData -> m CodeAttributeData #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttributeData -> m CodeAttributeData #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttributeData -> m CodeAttributeData #

Generic CodeAttributeData Source #

Instance details

Defined in H2JVM.ClassFile.Method

Associated Types

type Rep CodeAttributeData

Instance details

Defined in H2JVM.ClassFile.Method

type Rep CodeAttributeData = D1 ('MetaData "CodeAttributeData" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) (C1 ('MetaCons "CodeAttributeData" 'PrefixI 'True) ((S1 ('MetaSel ('Just "maxStack") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2) :*: S1 ('MetaSel ('Just "maxLocals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2)) :*: (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Instruction)) :*: (S1 ('MetaSel ('Just "exceptionTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExceptionTableEntry]) :*: S1 ('MetaSel ('Just "codeAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CodeAttribute])))))

Methods

from :: CodeAttributeData -> Rep CodeAttributeData x #

to :: Rep CodeAttributeData x -> CodeAttributeData #

Show CodeAttributeData Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

showsPrec :: Int -> CodeAttributeData -> ShowS #

show :: CodeAttributeData -> String #

showList :: [CodeAttributeData] -> ShowS #

DataMergeable CodeAttributeData Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

merge :: CodeAttributeData -> CodeAttributeData -> CodeAttributeData Source #

Pretty CodeAttributeData Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

pretty :: CodeAttributeData -> Doc ann Source #

prettyList :: [CodeAttributeData] -> Doc ann Source #

type Rep CodeAttributeData Source #

Instance details

Defined in H2JVM.ClassFile.Method

type Rep CodeAttributeData = D1 ('MetaData "CodeAttributeData" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) (C1 ('MetaCons "CodeAttributeData" 'PrefixI 'True) ((S1 ('MetaSel ('Just "maxStack") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2) :*: S1 ('MetaSel ('Just "maxLocals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 U2)) :*: (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Instruction)) :*: (S1 ('MetaSel ('Just "exceptionTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExceptionTableEntry]) :*: S1 ('MetaSel ('Just "codeAttributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CodeAttribute])))))

data ExceptionTableEntry Source #

An entry in the method's exception handler table.

Constructors

ExceptionTableEntry
Fields startPc :: Int The start of the instruction range protected by this handler. endPc :: Int The end of the instruction range protected by this handler. handlerPc :: Int The instruction address to branch to when an exception is caught. catchType :: Maybe ClassInfoType The class type of the exception caught (or `Nothing` for all/`finally`).

Instances

Instances details

Data ExceptionTableEntry Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExceptionTableEntry -> c ExceptionTableEntry #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExceptionTableEntry #

toConstr :: ExceptionTableEntry -> Constr #

dataTypeOf :: ExceptionTableEntry -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExceptionTableEntry) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExceptionTableEntry) #

gmapT :: (forall b. Data b => b -> b) -> ExceptionTableEntry -> ExceptionTableEntry #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExceptionTableEntry -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExceptionTableEntry -> r #

gmapQ :: (forall d. Data d => d -> u) -> ExceptionTableEntry -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExceptionTableEntry -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExceptionTableEntry -> m ExceptionTableEntry #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExceptionTableEntry -> m ExceptionTableEntry #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExceptionTableEntry -> m ExceptionTableEntry #

Generic ExceptionTableEntry Source #

Instance details

Defined in H2JVM.ClassFile.Method

Associated Types

type Rep ExceptionTableEntry

Instance details

Defined in H2JVM.ClassFile.Method

type Rep ExceptionTableEntry = D1 ('MetaData "ExceptionTableEntry" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) (C1 ('MetaCons "ExceptionTableEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "startPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "endPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "handlerPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "catchType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ClassInfoType)))))

Methods

from :: ExceptionTableEntry -> Rep ExceptionTableEntry x #

to :: Rep ExceptionTableEntry x -> ExceptionTableEntry #

Show ExceptionTableEntry Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

showsPrec :: Int -> ExceptionTableEntry -> ShowS #

show :: ExceptionTableEntry -> String #

showList :: [ExceptionTableEntry] -> ShowS #

Pretty ExceptionTableEntry Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

pretty :: ExceptionTableEntry -> Doc ann Source #

prettyList :: [ExceptionTableEntry] -> Doc ann Source #

type Rep ExceptionTableEntry Source #

Instance details

Defined in H2JVM.ClassFile.Method

type Rep ExceptionTableEntry = D1 ('MetaData "ExceptionTableEntry" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) (C1 ('MetaCons "ExceptionTableEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "startPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "endPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "handlerPc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "catchType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ClassInfoType)))))

data CodeAttribute Source #

Additional properties of the compiled method bytecode.

Constructors

LineNumberTable [LineNumberTableEntry]	Line number information for debugging stack traces.
StackMapTable [StackMapFrame]	Stack map frame table for JVM verification.

Instances

Instances details

Data CodeAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CodeAttribute -> c CodeAttribute #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CodeAttribute #

toConstr :: CodeAttribute -> Constr #

dataTypeOf :: CodeAttribute -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CodeAttribute) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CodeAttribute) #

gmapT :: (forall b. Data b => b -> b) -> CodeAttribute -> CodeAttribute #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttribute -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttribute -> r #

gmapQ :: (forall d. Data d => d -> u) -> CodeAttribute -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CodeAttribute -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CodeAttribute -> m CodeAttribute #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttribute -> m CodeAttribute #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttribute -> m CodeAttribute #

Generic CodeAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Associated Types

type Rep CodeAttribute

Instance details

Defined in H2JVM.ClassFile.Method

type Rep CodeAttribute = D1 ('MetaData "CodeAttribute" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) (C1 ('MetaCons "LineNumberTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LineNumberTableEntry])) :+: C1 ('MetaCons "StackMapTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [StackMapFrame])))

Methods

from :: CodeAttribute -> Rep CodeAttribute x #

to :: Rep CodeAttribute x -> CodeAttribute #

Show CodeAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

showsPrec :: Int -> CodeAttribute -> ShowS #

show :: CodeAttribute -> String #

showList :: [CodeAttribute] -> ShowS #

Eq CodeAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

(==) :: CodeAttribute -> CodeAttribute -> Bool #

(/=) :: CodeAttribute -> CodeAttribute -> Bool #

DataMergeable CodeAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

merge :: CodeAttribute -> CodeAttribute -> CodeAttribute Source #

Pretty CodeAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

Methods

pretty :: CodeAttribute -> Doc ann Source #

prettyList :: [CodeAttribute] -> Doc ann Source #

type Rep CodeAttribute Source #

Instance details

Defined in H2JVM.ClassFile.Method

type Rep CodeAttribute = D1 ('MetaData "CodeAttribute" "H2JVM.ClassFile.Method" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) (C1 ('MetaCons "LineNumberTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [LineNumberTableEntry])) :+: C1 ('MetaCons "StackMapTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [StackMapFrame])))

Names, Types and Descriptors

data QualifiedClassName Source #

A fully qualified JVM class name, consisting of a PackageName and a ClassName. For example, "java.lang.Object" would be represented as QualifiedClassName (PackageName ["java","lang"]) (ClassName "Object").

Instances

Instances details

Data QualifiedClassName Source #
Instance details Defined in H2JVM.Name Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QualifiedClassName -> c QualifiedClassName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QualifiedClassName # toConstr :: QualifiedClassName -> Constr # dataTypeOf :: QualifiedClassName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QualifiedClassName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QualifiedClassName) # gmapT :: (forall b. Data b => b -> b) -> QualifiedClassName -> QualifiedClassName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QualifiedClassName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QualifiedClassName -> r # gmapQ :: (forall d. Data d => d -> u) -> QualifiedClassName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QualifiedClassName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QualifiedClassName -> m QualifiedClassName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QualifiedClassName -> m QualifiedClassName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QualifiedClassName -> m QualifiedClassName #
IsString QualifiedClassName Source #
Instance details Defined in H2JVM.Name Methods fromString :: String -> QualifiedClassName #
Show QualifiedClassName Source #
Instance details Defined in H2JVM.Name Methods showsPrec :: Int -> QualifiedClassName -> ShowS # show :: QualifiedClassName -> String # showList :: [QualifiedClassName] -> ShowS #
Eq QualifiedClassName Source #
Instance details Defined in H2JVM.Name Methods (==) :: QualifiedClassName -> QualifiedClassName -> Bool # (/=) :: QualifiedClassName -> QualifiedClassName -> Bool #
Ord QualifiedClassName Source #
Instance details Defined in H2JVM.Name Methods compare :: QualifiedClassName -> QualifiedClassName -> Ordering # (<) :: QualifiedClassName -> QualifiedClassName -> Bool # (<=) :: QualifiedClassName -> QualifiedClassName -> Bool # (>) :: QualifiedClassName -> QualifiedClassName -> Bool # (>=) :: QualifiedClassName -> QualifiedClassName -> Bool # max :: QualifiedClassName -> QualifiedClassName -> QualifiedClassName # min :: QualifiedClassName -> QualifiedClassName -> QualifiedClassName #
Pretty QualifiedClassName Source #
Instance details Defined in H2JVM.Name Methods pretty :: QualifiedClassName -> Doc ann Source # prettyList :: [QualifiedClassName] -> Doc ann Source #

data PackageName Source #

A JVM package name. This is defined as a potentially empty list of identifiers, which would be separated by dots in the source code, e.g. "java.lang" would be represented as PackageName ["java","lang"].

Instances

Instances details

Data PackageName Source #
Instance details Defined in H2JVM.Name Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PackageName -> c PackageName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PackageName # toConstr :: PackageName -> Constr # dataTypeOf :: PackageName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PackageName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PackageName) # gmapT :: (forall b. Data b => b -> b) -> PackageName -> PackageName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PackageName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PackageName -> r # gmapQ :: (forall d. Data d => d -> u) -> PackageName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PackageName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PackageName -> m PackageName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageName -> m PackageName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PackageName -> m PackageName #
Show PackageName Source #
Instance details Defined in H2JVM.Name Methods showsPrec :: Int -> PackageName -> ShowS # show :: PackageName -> String # showList :: [PackageName] -> ShowS #
Eq PackageName Source #
Instance details Defined in H2JVM.Name Methods (==) :: PackageName -> PackageName -> Bool # (/=) :: PackageName -> PackageName -> Bool #
Ord PackageName Source #
Instance details Defined in H2JVM.Name Methods compare :: PackageName -> PackageName -> Ordering # (<) :: PackageName -> PackageName -> Bool # (<=) :: PackageName -> PackageName -> Bool # (>) :: PackageName -> PackageName -> Bool # (>=) :: PackageName -> PackageName -> Bool # max :: PackageName -> PackageName -> PackageName # min :: PackageName -> PackageName -> PackageName #

data ClassName Source #

A JVM class name, in its public, simple form, e.g. Object or ArrayList.

Instances

Instances details

Data ClassName Source #
Instance details Defined in H2JVM.Name Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassName -> c ClassName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassName # toConstr :: ClassName -> Constr # dataTypeOf :: ClassName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ClassName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassName) # gmapT :: (forall b. Data b => b -> b) -> ClassName -> ClassName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassName -> r # gmapQ :: (forall d. Data d => d -> u) -> ClassName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassName -> m ClassName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassName -> m ClassName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassName -> m ClassName #
Show ClassName Source #
Instance details Defined in H2JVM.Name Methods showsPrec :: Int -> ClassName -> ShowS # show :: ClassName -> String # showList :: [ClassName] -> ShowS #
Eq ClassName Source #
Instance details Defined in H2JVM.Name Methods (==) :: ClassName -> ClassName -> Bool # (/=) :: ClassName -> ClassName -> Bool #
Ord ClassName Source #
Instance details Defined in H2JVM.Name Methods compare :: ClassName -> ClassName -> Ordering # (<) :: ClassName -> ClassName -> Bool # (<=) :: ClassName -> ClassName -> Bool # (>) :: ClassName -> ClassName -> Bool # (>=) :: ClassName -> ClassName -> Bool # max :: ClassName -> ClassName -> ClassName # min :: ClassName -> ClassName -> ClassName #

parseQualifiedClassName :: Text -> QualifiedClassName Source #

Parse a QualifiedClassName from a Text

>>> parseQualifiedClassName "java.lang.Object"
QualifiedClassName (PackageName ["java","lang"]) (ClassName "Object")

>>> parseQualifiedClassName "Object"
QualifiedClassName (PackageName []) (ClassName "Object")

This function is lenient and will accept invalid class names: >>> parseQualifiedClassName "123invalid" QualifiedClassName (PackageName []) (ClassName "123invalid")

parseClassName :: Text -> ClassName Source #

Parse a ClassName from a Text. This function is lenient, but this behaviour should not be relied on, and in future this may throw an error if the input is not a valid class name.

parsePackageName :: Text -> PackageName Source #

Parse a PackageName from a Text

>>> parsePackageName "java.lang"
PackageName ["java","lang"]

>>> parsePackageName ""
PackageName []

classFilePath :: ClassFile -> FilePath Source #

Determine the standard relative output filepath for a class (e.g., "javalangObject.class").

data MethodDescriptor Source #

Represents a JVM method type signature descriptor (§4.3.3).

Constructors

MethodDescriptor
Fields params :: [FieldType] The parameter types of the method. returnDesc :: ReturnDescriptor The return type descriptor of the method.

Instances

Instances details

Data MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodDescriptor -> c MethodDescriptor # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodDescriptor # toConstr :: MethodDescriptor -> Constr # dataTypeOf :: MethodDescriptor -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MethodDescriptor) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodDescriptor) # gmapT :: (forall b. Data b => b -> b) -> MethodDescriptor -> MethodDescriptor # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodDescriptor -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodDescriptor -> r # gmapQ :: (forall d. Data d => d -> u) -> MethodDescriptor -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodDescriptor -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodDescriptor -> m MethodDescriptor # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodDescriptor -> m MethodDescriptor # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodDescriptor -> m MethodDescriptor #
Show MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods showsPrec :: Int -> MethodDescriptor -> ShowS # show :: MethodDescriptor -> String # showList :: [MethodDescriptor] -> ShowS #
Eq MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods (==) :: MethodDescriptor -> MethodDescriptor -> Bool # (/=) :: MethodDescriptor -> MethodDescriptor -> Bool #
Ord MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods compare :: MethodDescriptor -> MethodDescriptor -> Ordering # (<) :: MethodDescriptor -> MethodDescriptor -> Bool # (<=) :: MethodDescriptor -> MethodDescriptor -> Bool # (>) :: MethodDescriptor -> MethodDescriptor -> Bool # (>=) :: MethodDescriptor -> MethodDescriptor -> Bool # max :: MethodDescriptor -> MethodDescriptor -> MethodDescriptor # min :: MethodDescriptor -> MethodDescriptor -> MethodDescriptor #
Pretty MethodDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods pretty :: MethodDescriptor -> Doc ann Source # prettyList :: [MethodDescriptor] -> Doc ann Source #

data ReturnDescriptor Source #

Represents a method return type descriptor.

Constructors

VoidReturn	A void return (`V`).
TypeReturn FieldType	A return of some `FieldType`.

Instances

Instances details

Data ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ReturnDescriptor -> c ReturnDescriptor # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ReturnDescriptor # toConstr :: ReturnDescriptor -> Constr # dataTypeOf :: ReturnDescriptor -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ReturnDescriptor) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ReturnDescriptor) # gmapT :: (forall b. Data b => b -> b) -> ReturnDescriptor -> ReturnDescriptor # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ReturnDescriptor -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ReturnDescriptor -> r # gmapQ :: (forall d. Data d => d -> u) -> ReturnDescriptor -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ReturnDescriptor -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ReturnDescriptor -> m ReturnDescriptor # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ReturnDescriptor -> m ReturnDescriptor # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ReturnDescriptor -> m ReturnDescriptor #
Show ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods showsPrec :: Int -> ReturnDescriptor -> ShowS # show :: ReturnDescriptor -> String # showList :: [ReturnDescriptor] -> ShowS #
Eq ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods (==) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (/=) :: ReturnDescriptor -> ReturnDescriptor -> Bool #
Ord ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods compare :: ReturnDescriptor -> ReturnDescriptor -> Ordering # (<) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (<=) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (>) :: ReturnDescriptor -> ReturnDescriptor -> Bool # (>=) :: ReturnDescriptor -> ReturnDescriptor -> Bool # max :: ReturnDescriptor -> ReturnDescriptor -> ReturnDescriptor # min :: ReturnDescriptor -> ReturnDescriptor -> ReturnDescriptor #
Pretty ReturnDescriptor Source #
Instance details Defined in H2JVM.Descriptor Methods pretty :: ReturnDescriptor -> Doc ann Source # prettyList :: [ReturnDescriptor] -> Doc ann Source #

data FieldType Source #

JVM field type, corresponding to the FieldType production in the JVM specification. Used in places such as method descriptors and field descriptors.

Constructors

PrimitiveFieldType PrimitiveType
ObjectFieldType QualifiedClassName
ArrayFieldType FieldType

Instances

Instances details

Data FieldType Source #
Instance details Defined in H2JVM.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldType -> c FieldType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldType # toConstr :: FieldType -> Constr # dataTypeOf :: FieldType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldType) # gmapT :: (forall b. Data b => b -> b) -> FieldType -> FieldType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldType -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldType -> m FieldType #
Show FieldType Source #
Instance details Defined in H2JVM.Type Methods showsPrec :: Int -> FieldType -> ShowS # show :: FieldType -> String # showList :: [FieldType] -> ShowS #
Eq FieldType Source #
Instance details Defined in H2JVM.Type Methods (==) :: FieldType -> FieldType -> Bool # (/=) :: FieldType -> FieldType -> Bool #
Ord FieldType Source #
Instance details Defined in H2JVM.Type Methods compare :: FieldType -> FieldType -> Ordering # (<) :: FieldType -> FieldType -> Bool # (<=) :: FieldType -> FieldType -> Bool # (>) :: FieldType -> FieldType -> Bool # (>=) :: FieldType -> FieldType -> Bool # max :: FieldType -> FieldType -> FieldType # min :: FieldType -> FieldType -> FieldType #
Pretty FieldType Source #
Instance details Defined in H2JVM.Type Methods pretty :: FieldType -> Doc ann Source # prettyList :: [FieldType] -> Doc ann Source #

data PrimitiveType Source #

JVM primitive types. Corresponds to the BaseType production in the JVM specification.

Constructors

JByte
JChar
JDouble
JFloat
JInt
JLong
JShort
JBoolean

Instances

Instances details

Data PrimitiveType Source #
Instance details Defined in H2JVM.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimitiveType -> c PrimitiveType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimitiveType # toConstr :: PrimitiveType -> Constr # dataTypeOf :: PrimitiveType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrimitiveType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimitiveType) # gmapT :: (forall b. Data b => b -> b) -> PrimitiveType -> PrimitiveType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveType -> r # gmapQ :: (forall d. Data d => d -> u) -> PrimitiveType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimitiveType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimitiveType -> m PrimitiveType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveType -> m PrimitiveType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveType -> m PrimitiveType #
Bounded PrimitiveType Source #
Instance details Defined in H2JVM.Type Methods minBound :: PrimitiveType # maxBound :: PrimitiveType #
Enum PrimitiveType Source #
Instance details Defined in H2JVM.Type Methods succ :: PrimitiveType -> PrimitiveType # pred :: PrimitiveType -> PrimitiveType # toEnum :: Int -> PrimitiveType # fromEnum :: PrimitiveType -> Int # enumFrom :: PrimitiveType -> [PrimitiveType] # enumFromThen :: PrimitiveType -> PrimitiveType -> [PrimitiveType] # enumFromTo :: PrimitiveType -> PrimitiveType -> [PrimitiveType] # enumFromThenTo :: PrimitiveType -> PrimitiveType -> PrimitiveType -> [PrimitiveType] #
Show PrimitiveType Source #
Instance details Defined in H2JVM.Type Methods showsPrec :: Int -> PrimitiveType -> ShowS # show :: PrimitiveType -> String # showList :: [PrimitiveType] -> ShowS #
Eq PrimitiveType Source #
Instance details Defined in H2JVM.Type Methods (==) :: PrimitiveType -> PrimitiveType -> Bool # (/=) :: PrimitiveType -> PrimitiveType -> Bool #
Ord PrimitiveType Source #
Instance details Defined in H2JVM.Type Methods compare :: PrimitiveType -> PrimitiveType -> Ordering # (<) :: PrimitiveType -> PrimitiveType -> Bool # (<=) :: PrimitiveType -> PrimitiveType -> Bool # (>) :: PrimitiveType -> PrimitiveType -> Bool # (>=) :: PrimitiveType -> PrimitiveType -> Bool # max :: PrimitiveType -> PrimitiveType -> PrimitiveType # min :: PrimitiveType -> PrimitiveType -> PrimitiveType #
Pretty PrimitiveType Source #
Instance details Defined in H2JVM.Type Methods pretty :: PrimitiveType -> Doc ann Source # prettyList :: [PrimitiveType] -> Doc ann Source #

Constant Pool

data ConstantPoolEntry Source #

High-level, type-safe representation of a constant pool entry This tries to hide indexes as much as possible, instead just allowing the values to be provided directly. These are transformed into the correct indexes when the constant pool is built, which uses a state monad to avoid repeating entries.

Constructors

CPClassEntry	A class reference
Fields ClassInfoType The class being referenced
CPFieldRefEntry FieldRef
CPMethodRefEntry MethodRef
CPInterfaceMethodRefEntry MethodRef
CPStringEntry Text
CPIntegerEntry Int32
CPFloatEntry Float
CPLongEntry Int64
CPDoubleEntry Double
CPNameAndTypeEntry Text Text
CPUTF8Entry Text
CPMethodHandleEntry MethodHandleEntry
CPMethodTypeEntry MethodDescriptor
CPInvokeDynamicEntry	CONSTANT_InvokeDynamic_info
Fields BootstrapMethod bootstrap_method_attr(_index) Text name(_and_type_index) MethodDescriptor (name_and_)type(_index)

Instances

Instances details

Show ConstantPoolEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods showsPrec :: Int -> ConstantPoolEntry -> ShowS # show :: ConstantPoolEntry -> String # showList :: [ConstantPoolEntry] -> ShowS #
Eq ConstantPoolEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods (==) :: ConstantPoolEntry -> ConstantPoolEntry -> Bool # (/=) :: ConstantPoolEntry -> ConstantPoolEntry -> Bool #
Ord ConstantPoolEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods compare :: ConstantPoolEntry -> ConstantPoolEntry -> Ordering # (<) :: ConstantPoolEntry -> ConstantPoolEntry -> Bool # (<=) :: ConstantPoolEntry -> ConstantPoolEntry -> Bool # (>) :: ConstantPoolEntry -> ConstantPoolEntry -> Bool # (>=) :: ConstantPoolEntry -> ConstantPoolEntry -> Bool # max :: ConstantPoolEntry -> ConstantPoolEntry -> ConstantPoolEntry # min :: ConstantPoolEntry -> ConstantPoolEntry -> ConstantPoolEntry #

data MethodHandleEntry Source #

A Method Handle type entry in the constant pool (§4.4.8).

Constructors

MHGetField FieldRef	read field
MHGetStatic FieldRef	read static field
MHPutField FieldRef	write field
MHPutStatic FieldRef	write static field
MHInvokeVirtual MethodRef	invoke virtual method
MHNewInvokeSpecial MethodRef	invoke special method (e.g. `init`)
MHInvokeStatic MethodRef	invoke static method
MHInvokeSpecial MethodRef	invoke private/super method
MHInvokeInterface MethodRef	invoke interface method

Instances

Instances details

Data MethodHandleEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodHandleEntry -> c MethodHandleEntry # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodHandleEntry # toConstr :: MethodHandleEntry -> Constr # dataTypeOf :: MethodHandleEntry -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MethodHandleEntry) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodHandleEntry) # gmapT :: (forall b. Data b => b -> b) -> MethodHandleEntry -> MethodHandleEntry # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodHandleEntry -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodHandleEntry -> r # gmapQ :: (forall d. Data d => d -> u) -> MethodHandleEntry -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodHandleEntry -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodHandleEntry -> m MethodHandleEntry # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodHandleEntry -> m MethodHandleEntry # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodHandleEntry -> m MethodHandleEntry #
Show MethodHandleEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods showsPrec :: Int -> MethodHandleEntry -> ShowS # show :: MethodHandleEntry -> String # showList :: [MethodHandleEntry] -> ShowS #
Eq MethodHandleEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods (==) :: MethodHandleEntry -> MethodHandleEntry -> Bool # (/=) :: MethodHandleEntry -> MethodHandleEntry -> Bool #
Ord MethodHandleEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods compare :: MethodHandleEntry -> MethodHandleEntry -> Ordering # (<) :: MethodHandleEntry -> MethodHandleEntry -> Bool # (<=) :: MethodHandleEntry -> MethodHandleEntry -> Bool # (>) :: MethodHandleEntry -> MethodHandleEntry -> Bool # (>=) :: MethodHandleEntry -> MethodHandleEntry -> Bool # max :: MethodHandleEntry -> MethodHandleEntry -> MethodHandleEntry # min :: MethodHandleEntry -> MethodHandleEntry -> MethodHandleEntry #
Pretty MethodHandleEntry Source #
Instance details Defined in H2JVM.ConstantPool Methods pretty :: MethodHandleEntry -> Doc ann Source # prettyList :: [MethodHandleEntry] -> Doc ann Source #

data FieldRef Source #

A reference to a field, consisting of the containing class type, field name, and field type.

Constructors

FieldRef ClassInfoType Text FieldType

Instances

Instances details

Data FieldRef Source #
Instance details Defined in H2JVM.ConstantPool Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldRef -> c FieldRef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldRef # toConstr :: FieldRef -> Constr # dataTypeOf :: FieldRef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldRef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldRef) # gmapT :: (forall b. Data b => b -> b) -> FieldRef -> FieldRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldRef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldRef -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldRef -> m FieldRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldRef -> m FieldRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldRef -> m FieldRef #
Show FieldRef Source #
Instance details Defined in H2JVM.ConstantPool Methods showsPrec :: Int -> FieldRef -> ShowS # show :: FieldRef -> String # showList :: [FieldRef] -> ShowS #
Eq FieldRef Source #
Instance details Defined in H2JVM.ConstantPool Methods (==) :: FieldRef -> FieldRef -> Bool # (/=) :: FieldRef -> FieldRef -> Bool #
Ord FieldRef Source #
Instance details Defined in H2JVM.ConstantPool Methods compare :: FieldRef -> FieldRef -> Ordering # (<) :: FieldRef -> FieldRef -> Bool # (<=) :: FieldRef -> FieldRef -> Bool # (>) :: FieldRef -> FieldRef -> Bool # (>=) :: FieldRef -> FieldRef -> Bool # max :: FieldRef -> FieldRef -> FieldRef # min :: FieldRef -> FieldRef -> FieldRef #
Pretty FieldRef Source #
Instance details Defined in H2JVM.ConstantPool Methods pretty :: FieldRef -> Doc ann Source # prettyList :: [FieldRef] -> Doc ann Source #

data MethodRef Source #

A reference to a method, consisting of the containing class type, method name, and descriptor signature.

Constructors

MethodRef
Fields ClassInfoType The class containing the method Text The name of the method MethodDescriptor The descriptor of the method

Instances

Instances details

Data MethodRef Source #
Instance details Defined in H2JVM.ConstantPool Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodRef -> c MethodRef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodRef # toConstr :: MethodRef -> Constr # dataTypeOf :: MethodRef -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MethodRef) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodRef) # gmapT :: (forall b. Data b => b -> b) -> MethodRef -> MethodRef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodRef -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodRef -> r # gmapQ :: (forall d. Data d => d -> u) -> MethodRef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodRef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodRef -> m MethodRef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodRef -> m MethodRef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodRef -> m MethodRef #
Show MethodRef Source #
Instance details Defined in H2JVM.ConstantPool Methods showsPrec :: Int -> MethodRef -> ShowS # show :: MethodRef -> String # showList :: [MethodRef] -> ShowS #
Eq MethodRef Source #
Instance details Defined in H2JVM.ConstantPool Methods (==) :: MethodRef -> MethodRef -> Bool # (/=) :: MethodRef -> MethodRef -> Bool #
Ord MethodRef Source #
Instance details Defined in H2JVM.ConstantPool Methods compare :: MethodRef -> MethodRef -> Ordering # (<) :: MethodRef -> MethodRef -> Bool # (<=) :: MethodRef -> MethodRef -> Bool # (>) :: MethodRef -> MethodRef -> Bool # (>=) :: MethodRef -> MethodRef -> Bool # max :: MethodRef -> MethodRef -> MethodRef # min :: MethodRef -> MethodRef -> MethodRef #
Pretty MethodRef Source #
Instance details Defined in H2JVM.ConstantPool Methods pretty :: MethodRef -> Doc ann Source # prettyList :: [MethodRef] -> Doc ann Source #

data BootstrapMethod Source #

A Bootstrap Method specification, used in invokedynamic call sites (§4.7.23).

Constructors

BootstrapMethod MethodHandleEntry [BootstrapArgument]

Construct a bootstrap method referencing a method handle and its static arguments.

Instances

Instances details

Data BootstrapMethod Source #
Instance details Defined in H2JVM.ConstantPool Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BootstrapMethod -> c BootstrapMethod # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BootstrapMethod # toConstr :: BootstrapMethod -> Constr # dataTypeOf :: BootstrapMethod -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BootstrapMethod) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BootstrapMethod) # gmapT :: (forall b. Data b => b -> b) -> BootstrapMethod -> BootstrapMethod # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BootstrapMethod -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BootstrapMethod -> r # gmapQ :: (forall d. Data d => d -> u) -> BootstrapMethod -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BootstrapMethod -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BootstrapMethod -> m BootstrapMethod # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BootstrapMethod -> m BootstrapMethod # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BootstrapMethod -> m BootstrapMethod #
Show BootstrapMethod Source #
Instance details Defined in H2JVM.ConstantPool Methods showsPrec :: Int -> BootstrapMethod -> ShowS # show :: BootstrapMethod -> String # showList :: [BootstrapMethod] -> ShowS #
Eq BootstrapMethod Source #
Instance details Defined in H2JVM.ConstantPool Methods (==) :: BootstrapMethod -> BootstrapMethod -> Bool # (/=) :: BootstrapMethod -> BootstrapMethod -> Bool #
Ord BootstrapMethod Source #
Instance details Defined in H2JVM.ConstantPool Methods compare :: BootstrapMethod -> BootstrapMethod -> Ordering # (<) :: BootstrapMethod -> BootstrapMethod -> Bool # (<=) :: BootstrapMethod -> BootstrapMethod -> Bool # (>) :: BootstrapMethod -> BootstrapMethod -> Bool # (>=) :: BootstrapMethod -> BootstrapMethod -> Bool # max :: BootstrapMethod -> BootstrapMethod -> BootstrapMethod # min :: BootstrapMethod -> BootstrapMethod -> BootstrapMethod #
Pretty BootstrapMethod Source #
Instance details Defined in H2JVM.ConstantPool Methods pretty :: BootstrapMethod -> Doc ann Source # prettyList :: [BootstrapMethod] -> Doc ann Source #

data BootstrapArgument Source #

A static argument for a bootstrap method.

Constructors

BMClassArg ClassInfoType	A Class reference argument.
BMStringArg Text	A String constant argument.
BMIntArg Int32	An integer constant argument.
BMMethodArg MethodDescriptor	A Method type descriptor argument.
BMMethodHandleArg MethodHandleEntry	A Method handle argument.

Instances

Instances details

Data BootstrapArgument Source #
Instance details Defined in H2JVM.ConstantPool Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BootstrapArgument -> c BootstrapArgument # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BootstrapArgument # toConstr :: BootstrapArgument -> Constr # dataTypeOf :: BootstrapArgument -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BootstrapArgument) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BootstrapArgument) # gmapT :: (forall b. Data b => b -> b) -> BootstrapArgument -> BootstrapArgument # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BootstrapArgument -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BootstrapArgument -> r # gmapQ :: (forall d. Data d => d -> u) -> BootstrapArgument -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BootstrapArgument -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BootstrapArgument -> m BootstrapArgument # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BootstrapArgument -> m BootstrapArgument # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BootstrapArgument -> m BootstrapArgument #
Show BootstrapArgument Source #
Instance details Defined in H2JVM.ConstantPool Methods showsPrec :: Int -> BootstrapArgument -> ShowS # show :: BootstrapArgument -> String # showList :: [BootstrapArgument] -> ShowS #
Eq BootstrapArgument Source #
Instance details Defined in H2JVM.ConstantPool Methods (==) :: BootstrapArgument -> BootstrapArgument -> Bool # (/=) :: BootstrapArgument -> BootstrapArgument -> Bool #
Ord BootstrapArgument Source #
Instance details Defined in H2JVM.ConstantPool Methods compare :: BootstrapArgument -> BootstrapArgument -> Ordering # (<) :: BootstrapArgument -> BootstrapArgument -> Bool # (<=) :: BootstrapArgument -> BootstrapArgument -> Bool # (>) :: BootstrapArgument -> BootstrapArgument -> Bool # (>=) :: BootstrapArgument -> BootstrapArgument -> Bool # max :: BootstrapArgument -> BootstrapArgument -> BootstrapArgument # min :: BootstrapArgument -> BootstrapArgument -> BootstrapArgument #
Pretty BootstrapArgument Source #
Instance details Defined in H2JVM.ConstantPool Methods pretty :: BootstrapArgument -> Doc ann Source # prettyList :: [BootstrapArgument] -> Doc ann Source #

Code Generation & Instructions

data CodeBuilder (m :: k) a Source #

The CodeBuilder effect, which allows emitting instructions and adding code attributes in a monadic style.

Instances

Instances details

type DispatchOf (CodeBuilder :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in H2JVM.Builder.Code type DispatchOf (CodeBuilder :: (Type -> Type) -> Type -> Type) = 'Dynamic

runCodeBuilder Source #

Arguments

:: forall (r :: [(Type -> Type) -> Type -> Type]) a. HasCallStack
=> Eff ((CodeBuilder :: (Type -> Type) -> Type -> Type) ': r) a
-> Eff r (a, [CodeAttribute], NonEmpty Instruction)	the result of the computation, the list of emitted code attributes, and the list of emitted instructions, in the order they were emitted.

Run a CodeBuilder effect, returning the emitted code and attributes. Throws an imprecise exception if no code was emitted, since a code block with no instructions is invalid.

emit :: forall (r :: [Effect]). (CodeBuilder :: (Type -> Type) -> Type -> Type) :> r => Instruction -> Eff r () Source #

Emit a single instruction.

newLabel :: forall {k} (es :: [Effect]). (HasCallStack, (CodeBuilder :: (Type -> Type) -> Type -> Type) :> es) => Eff es Label Source #

Create a new, unique Label.

data Label Source #

A unique label for an instruction.

Instances

Instances details

Data Label Source #
Instance details Defined in H2JVM.Builder.Label Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Label -> c Label # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Label # toConstr :: Label -> Constr # dataTypeOf :: Label -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Label) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Label) # gmapT :: (forall b. Data b => b -> b) -> Label -> Label # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Label -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Label -> r # gmapQ :: (forall d. Data d => d -> u) -> Label -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Label -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Label -> m Label # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Label -> m Label # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Label -> m Label #
Show Label Source #
Instance details Defined in H2JVM.Builder.Label Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Eq Label Source #
Instance details Defined in H2JVM.Builder.Label Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label Source #
Instance details Defined in H2JVM.Builder.Label Methods compare :: Label -> Label -> Ordering # (<) :: Label -> Label -> Bool # (<=) :: Label -> Label -> Bool # (>) :: Label -> Label -> Bool # (>=) :: Label -> Label -> Bool # max :: Label -> Label -> Label # min :: Label -> Label -> Label #
Pretty Label Source #
Instance details Defined in H2JVM.Builder.Label Methods pretty :: Label -> Doc ann Source # prettyList :: [Label] -> Doc ann Source #

type Instruction = Instruction' Label Source #

An instruction whose labels are the Label type. This is probably the type you want.

data Instruction' label Source #

An instruction with a polymorphic label type.

Constructors

ALoad U2	aload_n
AStore U2	astore_n
AReturn
AConstNull
Dup
IAnd
If (IfCond label)	Encodes `if_cond`
Instanceof ClassInfoType
InvokeStatic ClassInfoType Text MethodDescriptor
InvokeInterface ClassInfoType Text MethodDescriptor
InvokeVirtual ClassInfoType Text MethodDescriptor
InvokeDynamic BootstrapMethod Text MethodDescriptor
InvokeSpecial ClassInfoType Text MethodDescriptor
IOr
ILoad U2
IStore U2
Label label
LDC LDCEntry
PutStatic ClassInfoType Text FieldType
GetField ClassInfoType Text FieldType
GetStatic ClassInfoType Text FieldType
PutField ClassInfoType Text FieldType
Goto label
CheckCast ClassInfoType
Return
IReturn
IConst0
IConst1
New ClassInfoType
ArrayLength
AALoad
IfICmp (IfCond label)	Encodes `if_icmpcond`
IAdd
ISub
IMul
IDiv

Instances

Instances details

Functor Instruction' Source #

Instance details

Defined in H2JVM.Instruction

Methods

fmap :: (a -> b) -> Instruction' a -> Instruction' b #

(<$) :: a -> Instruction' b -> Instruction' a #

Data label => Data (Instruction' label) Source #

Instance details

Defined in H2JVM.Instruction

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Instruction' label -> c (Instruction' label) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Instruction' label) #

toConstr :: Instruction' label -> Constr #

dataTypeOf :: Instruction' label -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Instruction' label)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Instruction' label)) #

gmapT :: (forall b. Data b => b -> b) -> Instruction' label -> Instruction' label #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Instruction' label -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Instruction' label -> r #

gmapQ :: (forall d. Data d => d -> u) -> Instruction' label -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Instruction' label -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Instruction' label -> m (Instruction' label) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Instruction' label -> m (Instruction' label) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Instruction' label -> m (Instruction' label) #

Generic (Instruction' label) Source #

Instance details

Defined in H2JVM.Instruction

Associated Types

type Rep (Instruction' label)

Instance details

Defined in H2JVM.Instruction

Methods

from :: Instruction' label -> Rep (Instruction' label) x #

to :: Rep (Instruction' label) x -> Instruction' label #

Show label => Show (Instruction' label) Source #

Instance details

Defined in H2JVM.Instruction

Methods

showsPrec :: Int -> Instruction' label -> ShowS #

show :: Instruction' label -> String #

showList :: [Instruction' label] -> ShowS #

Eq label => Eq (Instruction' label) Source #

Instance details

Defined in H2JVM.Instruction

Methods

(==) :: Instruction' label -> Instruction' label -> Bool #

(/=) :: Instruction' label -> Instruction' label -> Bool #

Ord label => Ord (Instruction' label) Source #

Instance details

Defined in H2JVM.Instruction

Methods

compare :: Instruction' label -> Instruction' label -> Ordering #

(<) :: Instruction' label -> Instruction' label -> Bool #

(<=) :: Instruction' label -> Instruction' label -> Bool #

(>) :: Instruction' label -> Instruction' label -> Bool #

(>=) :: Instruction' label -> Instruction' label -> Bool #

max :: Instruction' label -> Instruction' label -> Instruction' label #

min :: Instruction' label -> Instruction' label -> Instruction' label #

Pretty label => Pretty (Instruction' label) Source #

Instance details

Defined in H2JVM.Instruction

Methods

pretty :: Instruction' label -> Doc ann Source #

prettyList :: [Instruction' label] -> Doc ann Source #

type Rep (Instruction' label) Source #

Instance details

Defined in H2JVM.Instruction

data LDCEntry Source #

A value that can be loaded by the LDC instruction.

Constructors

LDCInt JVMInt	Load an integer constant.
LDCFloat Float	Load a float constant.
LDCString Text	Load a string constant.
LDCClass ClassInfoType	Load a Class object.

Instances

Instances details

Data LDCEntry Source #

Instance details

Defined in H2JVM.Instruction

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LDCEntry -> c LDCEntry #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LDCEntry #

toConstr :: LDCEntry -> Constr #

dataTypeOf :: LDCEntry -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LDCEntry) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LDCEntry) #

gmapT :: (forall b. Data b => b -> b) -> LDCEntry -> LDCEntry #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LDCEntry -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LDCEntry -> r #

gmapQ :: (forall d. Data d => d -> u) -> LDCEntry -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LDCEntry -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LDCEntry -> m LDCEntry #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LDCEntry -> m LDCEntry #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LDCEntry -> m LDCEntry #

Generic LDCEntry Source #

Instance details

Defined in H2JVM.Instruction

Associated Types

type Rep LDCEntry

Instance details

Defined in H2JVM.Instruction

type Rep LDCEntry = D1 ('MetaData "LDCEntry" "H2JVM.Instruction" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) ((C1 ('MetaCons "LDCInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JVMInt)) :+: C1 ('MetaCons "LDCFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float))) :+: (C1 ('MetaCons "LDCString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "LDCClass" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassInfoType))))

Methods

from :: LDCEntry -> Rep LDCEntry x #

to :: Rep LDCEntry x -> LDCEntry #

Show LDCEntry Source #

Instance details

Defined in H2JVM.Instruction

Methods

showsPrec :: Int -> LDCEntry -> ShowS #

show :: LDCEntry -> String #

showList :: [LDCEntry] -> ShowS #

Eq LDCEntry Source #

Instance details

Defined in H2JVM.Instruction

Methods

(==) :: LDCEntry -> LDCEntry -> Bool #

(/=) :: LDCEntry -> LDCEntry -> Bool #

Ord LDCEntry Source #

Instance details

Defined in H2JVM.Instruction

Methods

compare :: LDCEntry -> LDCEntry -> Ordering #

(<) :: LDCEntry -> LDCEntry -> Bool #

(<=) :: LDCEntry -> LDCEntry -> Bool #

(>) :: LDCEntry -> LDCEntry -> Bool #

(>=) :: LDCEntry -> LDCEntry -> Bool #

max :: LDCEntry -> LDCEntry -> LDCEntry #

min :: LDCEntry -> LDCEntry -> LDCEntry #

Pretty LDCEntry Source #

Instance details

Defined in H2JVM.Instruction

Methods

pretty :: LDCEntry -> Doc ann Source #

prettyList :: [LDCEntry] -> Doc ann Source #

type Rep LDCEntry Source #

Instance details

Defined in H2JVM.Instruction

type Rep LDCEntry = D1 ('MetaData "LDCEntry" "H2JVM.Instruction" "h2jvm-0.1.0.0-LWhbtWHvrTPFtGJV7ONYMS" 'False) ((C1 ('MetaCons "LDCInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JVMInt)) :+: C1 ('MetaCons "LDCFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float))) :+: (C1 ('MetaCons "LDCString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "LDCClass" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassInfoType))))

High-level Serialisation API

classFileBytes :: ClassFile -> Either CodeConverterError ByteString Source #

Convert and serialise a high-level ClassFile directly to lazy ByteString bytes.

data CodeConverterError Source #

Errors that may be thrown during code conversion.

Instances

Instances details

Show CodeConverterError Source #
Instance details Defined in H2JVM.Internal.Convert.Error Methods showsPrec :: Int -> CodeConverterError -> ShowS # show :: CodeConverterError -> String # showList :: [CodeConverterError] -> ShowS #