Safe Haskell	None
Language	GHC2021

H2JVM.ClassFile

Description

High level representation of a class file.

Synopsis

Documentation

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.
Synthetic	The `Synthetic` attribute indicating this class was generated by the compiler.
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 #