Safe Haskell	None
Language	GHC2021

H2JVM.ClassFile.AccessFlags

Description

Access flags for classes, fields, and methods in Java class files. This uses the JVM meaning of "access flag", which includes any kind of modifier, including things like interface and enum that aren't really "access" modifiers in the Java language.

Synopsis

data ClassAccessFlag
- = CPublic
- | CFinal
- | CSuper
- | CInterface
- | CAbstract
- | CSynthetic
- | CAnnotation
- | CEnum
data FieldAccessFlag
- = FPublic
- | FPrivate
- | FProtected
- | FStatic
- | FFinal
- | FVolatile
- | FTransient
- | FSynthetic
- | FEnum
data MethodAccessFlag
- = MPublic
- | MPrivate
- | MProtected
- | MStatic
- | MFinal
- | MSynchronized
- | MBridge
- | MVarargs
- | MNative
- | MAbstract
- | MStrict
- | MSynthetic

Documentation

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 FieldAccessFlag Source #

Access flags for a field.

Constructors

FPublic
FPrivate
FProtected
FStatic
FFinal
FVolatile
FTransient
FSynthetic
FEnum

Instances

Instances details

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