Safe Haskell	None
Language	GHC2021

JVM.Data.Abstract.ClassFile

Description

High level representation of a class file

Documentation

data ClassFile Source #

Constructors

ClassFile
Fields name :: QualifiedClassName version :: JVMVersion accessFlags :: [ClassAccessFlag] superClass :: Maybe QualifiedClassName interfaces :: [QualifiedClassName] fields :: [ClassFileField] methods :: [ClassFileMethod] attributes :: TypeMergingList ClassFileAttribute

Instances

Instances details

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

data ClassFileAttribute Source #

Constructors

InnerClasses [InnerClassInfo]
EnclosingMethod
Synthetic
Signature
SourceFile Text
SourceDebugExtension
Deprecated
RuntimeVisibleAnnotations
RuntimeInvisibleAnnotations
BootstrapMethods [BootstrapMethod]

Instances

Instances details

Data ClassFileAttribute Source #
Instance details Defined in JVM.Data.Abstract.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 JVM.Data.Abstract.ClassFile Methods showsPrec :: Int -> ClassFileAttribute -> ShowS # show :: ClassFileAttribute -> String # showList :: [ClassFileAttribute] -> ShowS #
Eq ClassFileAttribute Source #
Instance details Defined in JVM.Data.Abstract.ClassFile Methods (==) :: ClassFileAttribute -> ClassFileAttribute -> Bool # (/=) :: ClassFileAttribute -> ClassFileAttribute -> Bool #
DataMergeable ClassFileAttribute Source #
Instance details Defined in JVM.Data.Abstract.ClassFile Methods merge :: ClassFileAttribute -> ClassFileAttribute -> ClassFileAttribute Source #
Pretty ClassFileAttribute Source #
Instance details Defined in JVM.Data.Abstract.ClassFile Methods pretty :: ClassFileAttribute -> Doc ann Source # prettyList :: [ClassFileAttribute] -> Doc ann Source #

data InnerClassInfo Source #

Constructors

InnerClassInfo
Fields innerClassInfo :: QualifiedClassName outerClassInfo :: QualifiedClassName innerName :: Text accessFlags :: [ClassAccessFlag]

Instances

Instances details

Data InnerClassInfo Source #
Instance details Defined in JVM.Data.Abstract.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 JVM.Data.Abstract.ClassFile Methods showsPrec :: Int -> InnerClassInfo -> ShowS # show :: InnerClassInfo -> String # showList :: [InnerClassInfo] -> ShowS #
Eq InnerClassInfo Source #
Instance details Defined in JVM.Data.Abstract.ClassFile Methods (==) :: InnerClassInfo -> InnerClassInfo -> Bool # (/=) :: InnerClassInfo -> InnerClassInfo -> Bool #
Pretty InnerClassInfo Source #
Instance details Defined in JVM.Data.Abstract.ClassFile Methods pretty :: InnerClassInfo -> Doc ann Source # prettyList :: [InnerClassInfo] -> Doc ann Source #