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

Language.JVM.Field

Contents

Attributes

Description

Synopsis

data Field r = Field {
- fAccessFlags' :: !(BitSet16 FAccessFlag)
- fName :: !(Ref Text r)
- fDescriptor :: !(Ref FieldDescriptor r)
- fAttributes :: !(Attributes FieldAttributes r)
}
fAccessFlags :: Field r -> Set FAccessFlag
fConstantValue :: Field High -> Maybe (ConstantValue High)
fSignature :: Field High -> Maybe (Signature High)
data FieldAttributes r = FieldAttributes {
- faConstantValues :: [ConstantValue r]
- faSignatures :: [Signature r]
- faVisibleAnnotations :: [RuntimeVisibleAnnotations r]
- faInvisibleAnnotations :: [RuntimeInvisibleAnnotations r]
- faVisibleTypeAnnotations :: [RuntimeVisibleTypeAnnotations FieldTypeAnnotation r]
- faInvisibleTypeAnnotations :: [RuntimeInvisibleTypeAnnotations FieldTypeAnnotation r]
- faOthers :: [Attribute r]
}
emptyFieldAttributes :: FieldAttributes High

Documentation

data Field r Source #

A Field in the class-file, as described here.

Constructors

Field
Fields fAccessFlags' :: !(BitSet16 FAccessFlag) fName :: !(Ref Text r) fDescriptor :: !(Ref FieldDescriptor r) fAttributes :: !(Attributes FieldAttributes r)

Instances

Staged Field Source #
Instance details Defined in Language.JVM.Field Methods stage :: LabelM m => (forall (s' :: Type -> Type). Staged s' => s' r -> m (s' r')) -> Field r -> m (Field r') Source # evolve :: EvolveM m => Field Low -> m (Field High) Source # devolve :: DevolveM m => Field High -> m (Field Low) Source #
Eq (Field High) Source #
Instance details Defined in Language.JVM.Field Methods (==) :: Field High -> Field High -> Bool # (/=) :: Field High -> Field High -> Bool #
Eq (Field Low) Source #
Instance details Defined in Language.JVM.Field Methods (==) :: Field Low -> Field Low -> Bool # (/=) :: Field Low -> Field Low -> Bool #
Ord (Field Low) Source #
Instance details Defined in Language.JVM.Field Methods compare :: Field Low -> Field Low -> Ordering # (<) :: Field Low -> Field Low -> Bool # (<=) :: Field Low -> Field Low -> Bool # (>) :: Field Low -> Field Low -> Bool # (>=) :: Field Low -> Field Low -> Bool # max :: Field Low -> Field Low -> Field Low # min :: Field Low -> Field Low -> Field Low #
Show (Field High) Source #
Instance details Defined in Language.JVM.Field Methods showsPrec :: Int -> Field High -> ShowS # show :: Field High -> String # showList :: [Field High] -> ShowS #
Show (Field Low) Source #
Instance details Defined in Language.JVM.Field Methods showsPrec :: Int -> Field Low -> ShowS # show :: Field Low -> String # showList :: [Field Low] -> ShowS #
Generic (Field High) Source #
Instance details Defined in Language.JVM.Field Associated Types type Rep (Field High) :: Type -> Type # Methods from :: Field High -> Rep (Field High) x # to :: Rep (Field High) x -> Field High #
Generic (Field Low) Source #
Instance details Defined in Language.JVM.Field Associated Types type Rep (Field Low) :: Type -> Type # Methods from :: Field Low -> Rep (Field Low) x # to :: Rep (Field Low) x -> Field Low #
Binary (Field Low) Source #
Instance details Defined in Language.JVM.Field Methods put :: Field Low -> Put # get :: Get (Field Low) # putList :: [Field Low] -> Put #
NFData (Field High) Source #
Instance details Defined in Language.JVM.Field Methods rnf :: Field High -> () #
NFData (Field Low) Source #
Instance details Defined in Language.JVM.Field Methods rnf :: Field Low -> () #
type Rep (Field High) Source #
Instance details Defined in Language.JVM.Field type Rep (Field High) = D1 (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Field" PrefixI True) ((S1 (MetaSel (Just "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 FAccessFlag)) :: S1 (MetaSel (Just "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text High))) :: (S1 (MetaSel (Just "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldDescriptor High)) :*: S1 (MetaSel (Just "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes FieldAttributes High)))))
type Rep (Field Low) Source #
Instance details Defined in Language.JVM.Field type Rep (Field Low) = D1 (MetaData "Field" "Language.JVM.Field" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "Field" PrefixI True) ((S1 (MetaSel (Just "fAccessFlags'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (BitSet16 FAccessFlag)) :: S1 (MetaSel (Just "fName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref Text Low))) :: (S1 (MetaSel (Just "fDescriptor") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Ref FieldDescriptor Low)) :*: S1 (MetaSel (Just "fAttributes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Attributes FieldAttributes Low)))))

fAccessFlags :: Field r -> Set FAccessFlag Source #

Get the set of access flags

Attributes

fConstantValue :: Field High -> Maybe (ConstantValue High) Source #

Fetch the ConstantValue attribute.

fSignature :: Field High -> Maybe (Signature High) Source #

Fetches the Signature attribute, if any.

data FieldAttributes r Source #

Constructors

FieldAttributes
Fields faConstantValues :: [ConstantValue r] faSignatures :: [Signature r] faVisibleAnnotations :: [RuntimeVisibleAnnotations r] faInvisibleAnnotations :: [RuntimeInvisibleAnnotations r] faVisibleTypeAnnotations :: [RuntimeVisibleTypeAnnotations FieldTypeAnnotation r] faInvisibleTypeAnnotations :: [RuntimeInvisibleTypeAnnotations FieldTypeAnnotation r] faOthers :: [Attribute r]

Instances

Eq (FieldAttributes High) Source #
Instance details Defined in Language.JVM.Field Methods (==) :: FieldAttributes High -> FieldAttributes High -> Bool # (/=) :: FieldAttributes High -> FieldAttributes High -> Bool #
Eq (FieldAttributes Low) Source #
Instance details Defined in Language.JVM.Field Methods (==) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (/=) :: FieldAttributes Low -> FieldAttributes Low -> Bool #
Ord (FieldAttributes Low) Source #
Instance details Defined in Language.JVM.Field Methods compare :: FieldAttributes Low -> FieldAttributes Low -> Ordering # (<) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (<=) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (>) :: FieldAttributes Low -> FieldAttributes Low -> Bool # (>=) :: FieldAttributes Low -> FieldAttributes Low -> Bool # max :: FieldAttributes Low -> FieldAttributes Low -> FieldAttributes Low # min :: FieldAttributes Low -> FieldAttributes Low -> FieldAttributes Low #
Show (FieldAttributes High) Source #
Instance details Defined in Language.JVM.Field Methods showsPrec :: Int -> FieldAttributes High -> ShowS # show :: FieldAttributes High -> String # showList :: [FieldAttributes High] -> ShowS #
Show (FieldAttributes Low) Source #
Instance details Defined in Language.JVM.Field Methods showsPrec :: Int -> FieldAttributes Low -> ShowS # show :: FieldAttributes Low -> String # showList :: [FieldAttributes Low] -> ShowS #
Generic (FieldAttributes High) Source #
Instance details Defined in Language.JVM.Field Associated Types type Rep (FieldAttributes High) :: Type -> Type # Methods from :: FieldAttributes High -> Rep (FieldAttributes High) x # to :: Rep (FieldAttributes High) x -> FieldAttributes High #
Generic (FieldAttributes Low) Source #
Instance details Defined in Language.JVM.Field Associated Types type Rep (FieldAttributes Low) :: Type -> Type # Methods from :: FieldAttributes Low -> Rep (FieldAttributes Low) x # to :: Rep (FieldAttributes Low) x -> FieldAttributes Low #
NFData (FieldAttributes High) Source #
Instance details Defined in Language.JVM.Field Methods rnf :: FieldAttributes High -> () #
NFData (FieldAttributes Low) Source #
Instance details Defined in Language.JVM.Field Methods rnf :: FieldAttributes Low -> () #
type Rep (FieldAttributes High) Source #
Instance details Defined in Language.JVM.Field type Rep (FieldAttributes High) = D1 (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "FieldAttributes" PrefixI True) ((S1 (MetaSel (Just "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ConstantValue High]) :: (S1 (MetaSel (Just "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature High]) :: S1 (MetaSel (Just "faVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleAnnotations High]))) :: ((S1 (MetaSel (Just "faInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleAnnotations High]) :: S1 (MetaSel (Just "faVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations FieldTypeAnnotation High])) :: (S1 (MetaSel (Just "faInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations FieldTypeAnnotation High]) :: S1 (MetaSel (Just "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute High])))))
type Rep (FieldAttributes Low) Source #
Instance details Defined in Language.JVM.Field type Rep (FieldAttributes Low) = D1 (MetaData "FieldAttributes" "Language.JVM.Field" "jvm-binary-0.9.0-9S1OjG3yP2JAIJl8zf6L4B" False) (C1 (MetaCons "FieldAttributes" PrefixI True) ((S1 (MetaSel (Just "faConstantValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ConstantValue Low]) :: (S1 (MetaSel (Just "faSignatures") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Signature Low]) :: S1 (MetaSel (Just "faVisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleAnnotations Low]))) :: ((S1 (MetaSel (Just "faInvisibleAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleAnnotations Low]) :: S1 (MetaSel (Just "faVisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeVisibleTypeAnnotations FieldTypeAnnotation Low])) :: (S1 (MetaSel (Just "faInvisibleTypeAnnotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RuntimeInvisibleTypeAnnotations FieldTypeAnnotation Low]) :: S1 (MetaSel (Just "faOthers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Attribute Low])))))

emptyFieldAttributes :: FieldAttributes High Source #