jvm-binary-0.10.0: A library for reading Java class-files
Copyright(c) Christian Gram Kalhauge 2017
LicenseMIT
Maintainerkalhuage@cs.ucla.edu
Safe HaskellNone
LanguageHaskell2010

Language.JVM.AccessFlag

Description

Contains the AccessFlags used in the different modules.

Synopsis

Documentation

data MAccessFlag Source #

Access flags for the Method

Instances

Instances details
Eq MAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Ord MAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Show MAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Generic MAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Associated Types

type Rep MAccessFlag :: Type -> Type #

NFData MAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Methods

rnf :: MAccessFlag -> () #

Enumish MAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep MAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep MAccessFlag = D1 ('MetaData "MAccessFlag" "Language.JVM.AccessFlag" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "MPublic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MPrivate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MProtected" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MStatic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MFinal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MSynchronized" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MBridge" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MVarargs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MNative" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MAbstract" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MStrictFP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MSynthetic" 'PrefixI 'False) (U1 :: Type -> Type)))))

mflags :: [(Int, MAccessFlag)] Source #

The Enumish mapping of the MAccessFlag

data FAccessFlag Source #

Access flags for the Field

Instances

Instances details
Eq FAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Ord FAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Show FAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Generic FAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Associated Types

type Rep FAccessFlag :: Type -> Type #

NFData FAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Methods

rnf :: FAccessFlag -> () #

Enumish FAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep FAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep FAccessFlag = D1 ('MetaData "FAccessFlag" "Language.JVM.AccessFlag" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "FPublic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FPrivate" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FProtected" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FStatic" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FFinal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FVolatile" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FTransient" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FSynthetic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FEnum" 'PrefixI 'False) (U1 :: Type -> Type)))))

fflags :: [(Int, FAccessFlag)] Source #

The Enumish mapping of the FAccessFlag

data CAccessFlag Source #

Access flags for the ClassFile

Instances

Instances details
Eq CAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Ord CAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Show CAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Generic CAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Associated Types

type Rep CAccessFlag :: Type -> Type #

NFData CAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Methods

rnf :: CAccessFlag -> () #

Enumish CAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep CAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep CAccessFlag = D1 ('MetaData "CAccessFlag" "Language.JVM.AccessFlag" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "CPublic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFinal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CSuper" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CInterface" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CAbstract" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CSynthetic" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CAnnotation" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CEnum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CModule" 'PrefixI 'False) (U1 :: Type -> Type)))))

cflags :: [(Int, CAccessFlag)] Source #

The Enumish mapping of the CAccessFlag

data ICAccessFlag Source #

Access flags for the InnerClass

Instances

Instances details
Eq ICAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Ord ICAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Show ICAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Generic ICAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Associated Types

type Rep ICAccessFlag :: Type -> Type #

NFData ICAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Methods

rnf :: ICAccessFlag -> () #

Enumish ICAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep ICAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep ICAccessFlag = D1 ('MetaData "ICAccessFlag" "Language.JVM.AccessFlag" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (((C1 ('MetaCons "ICPublic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ICPrivate" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ICProtected" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ICStatic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ICFinal" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ICInterface" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ICAbstract" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ICSynthetic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ICAnnotation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ICEnum" 'PrefixI 'False) (U1 :: Type -> Type)))))

icflags :: [(Int, ICAccessFlag)] Source #

The Enumish mapping of the CAccessFlag

data PAccessFlag Source #

Access flags for parameters, as declared in the documentation.

Constructors

PFinal

Indicates that the formal parameter was declared final.

PSynthetic

Indicates that the formal parameter was not explicitly or implicitly declared in source code, according to the specification of the language in which the source code was written (JLS §13.1). (The formal parameter is an implementation artifact of the compiler which produced this class file.)

PMandated

Indicates that the formal parameter was implicitly declared in source code, according to the specification of the language in which the source code was written (JLS §13.1). (The formal parameter is mandated by a language specification, so all compilers for the language must emit it.)

Instances

Instances details
Eq PAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Ord PAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Show PAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Generic PAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Associated Types

type Rep PAccessFlag :: Type -> Type #

NFData PAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

Methods

rnf :: PAccessFlag -> () #

Enumish PAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep PAccessFlag Source # 
Instance details

Defined in Language.JVM.AccessFlag

type Rep PAccessFlag = D1 ('MetaData "PAccessFlag" "Language.JVM.AccessFlag" "jvm-binary-0.10.0-6UZh5809b0fJPIjalFrBq2" 'False) (C1 ('MetaCons "PFinal" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PSynthetic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PMandated" 'PrefixI 'False) (U1 :: Type -> Type)))

pflags :: [(Int, PAccessFlag)] Source #

The Enumish mapping of the PAccessFlag