Language.JVM.Attribute

This is the main module for accessing all kinds of Attributes.

Documentation

data Attribute

An Attribute, simply contains of a reference to a name and contains info.

Constructors

Attribute

Fields

• aNameIndex :: !ConstantRef
• aInfo' :: !SizedByteString32

Instances

Eq Attribute

Methods

(==) :: Attribute -> Attribute -> Bool

(/=) :: Attribute -> Attribute -> Bool

Show Attribute

Methods

showsPrec :: Int -> Attribute -> ShowS

show :: Attribute -> String

showList :: [Attribute] -> ShowS

Generic Attribute

Associated Types

type Rep Attribute :: * -> *

Methods

from :: Attribute -> Rep Attribute x

to :: Rep Attribute x -> Attribute

Binary Attribute

Methods

put :: Attribute -> Put

get :: Get Attribute

putList :: [Attribute] -> Put

IsAttribute Code

Code is an Attribute.

Methods

attrName :: Const Text Code

fromAttribute :: Attribute -> Either String Code

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String Code)

type Rep Attribute

type Rep Attribute = D1 (MetaData "Attribute" "Language.JVM.Attribute" "jvm-binary-0.0.2-GeL1rLcsq7015yP1ec12qb" False) (C1 (MetaCons "Attribute" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "aNameIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstantRef)) (S1 (MetaSel (Just Symbol "aInfo'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SizedByteString32))))

aInfo :: Attribute -> ByteString

A small helper function to extract the info as a lazy ByteString.

aName :: ConstantPool -> Attribute -> Maybe Text

Extracts the name from the attribute, if it exists in the ConstantPool.

class IsAttribute a where

A class-type that describes a data-type a as an Attribute. Most notable it provides the fromAttribute' method that enables converting an Attribute to a data-type a.

Minimal complete definition

attrName, fromAttribute

Methods

attrName :: Const Text a

The name of the attribute.

fromAttribute :: Attribute -> Either String a

Generate a a from an Attribute.

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String a)

Instances

IsAttribute StackMapTable

StackMapTable is an Attribute.

Methods

attrName :: Const Text StackMapTable

fromAttribute :: Attribute -> Either String StackMapTable

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String StackMapTable)

IsAttribute Exceptions

Exceptions is an Attribute.

Methods

attrName :: Const Text Exceptions

fromAttribute :: Attribute -> Either String Exceptions

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String Exceptions)

IsAttribute ConstantValue

ConstantValue is an Attribute.

Methods

attrName :: Const Text ConstantValue

fromAttribute :: Attribute -> Either String ConstantValue

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String ConstantValue)

IsAttribute BootstrapMethods

BootstrapMethods is an Attribute.

Methods

attrName :: Const Text BootstrapMethods

fromAttribute :: Attribute -> Either String BootstrapMethods

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String BootstrapMethods)

IsAttribute Code

Code is an Attribute.

Methods

attrName :: Const Text Code

fromAttribute :: Attribute -> Either String Code

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String Code)

SubAttributes

type Code = Code Attribute

Code is redefined with Attribute, as it is recursively containing Attribute. This is a small hack to fix it.

codeStackMapTable :: ConstantPool -> Code -> Maybe (Either String BootstrapMethods)

The a attribute of the code is the StackMapTable. There can be at most one. If the version number of the file is more than 50, and there is no StackMapTable. there is an implicit empty StackMapTable.

data ConstantValue

A constant value is just a index into the constant pool.

Instances

Eq ConstantValue

Methods

(==) :: ConstantValue -> ConstantValue -> Bool

(/=) :: ConstantValue -> ConstantValue -> Bool

Show ConstantValue

Methods

showsPrec :: Int -> ConstantValue -> ShowS

show :: ConstantValue -> String

showList :: [ConstantValue] -> ShowS

Generic ConstantValue

Associated Types

type Rep ConstantValue :: * -> *

Methods

from :: ConstantValue -> Rep ConstantValue x

to :: Rep ConstantValue x -> ConstantValue

Binary ConstantValue

Methods

put :: ConstantValue -> Put

get :: Get ConstantValue

putList :: [ConstantValue] -> Put

IsAttribute ConstantValue

ConstantValue is an Attribute.

Methods

attrName :: Const Text ConstantValue

fromAttribute :: Attribute -> Either String ConstantValue

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String ConstantValue)

type Rep ConstantValue

type Rep ConstantValue = D1 (MetaData "ConstantValue" "Language.JVM.Attribute.ConstantValue" "jvm-binary-0.0.2-GeL1rLcsq7015yP1ec12qb" False) (C1 (MetaCons "ConstantValue" PrefixI True) (S1 (MetaSel (Just Symbol "constantValueIndex") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ConstantRef)))

data Exceptions

An Exceptions attribute is a list of references into the constant pool.

Instances

Eq Exceptions

Methods

(==) :: Exceptions -> Exceptions -> Bool

(/=) :: Exceptions -> Exceptions -> Bool

Show Exceptions

Methods

showsPrec :: Int -> Exceptions -> ShowS

show :: Exceptions -> String

showList :: [Exceptions] -> ShowS

Generic Exceptions

Associated Types

type Rep Exceptions :: * -> *

Methods

from :: Exceptions -> Rep Exceptions x

to :: Rep Exceptions x -> Exceptions

Binary Exceptions

Methods

put :: Exceptions -> Put

get :: Get Exceptions

putList :: [Exceptions] -> Put

IsAttribute Exceptions

Exceptions is an Attribute.

Methods

attrName :: Const Text Exceptions

fromAttribute :: Attribute -> Either String Exceptions

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String Exceptions)

type Rep Exceptions

type Rep Exceptions = D1 (MetaData "Exceptions" "Language.JVM.Attribute.Exceptions" "jvm-binary-0.0.2-GeL1rLcsq7015yP1ec12qb" False) (C1 (MetaCons "Exceptions" PrefixI True) (S1 (MetaSel (Just Symbol "exceptionIndexTable'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 ConstantRef))))

data StackMapTable

An Exceptions attribute is a list of references into the constant pool.

Instances

Eq StackMapTable

Methods

(==) :: StackMapTable -> StackMapTable -> Bool

(/=) :: StackMapTable -> StackMapTable -> Bool

Show StackMapTable

Methods

showsPrec :: Int -> StackMapTable -> ShowS

show :: StackMapTable -> String

showList :: [StackMapTable] -> ShowS

Generic StackMapTable

Associated Types

type Rep StackMapTable :: * -> *

Methods

from :: StackMapTable -> Rep StackMapTable x

to :: Rep StackMapTable x -> StackMapTable

Binary StackMapTable

Methods

put :: StackMapTable -> Put

get :: Get StackMapTable

putList :: [StackMapTable] -> Put

IsAttribute StackMapTable

StackMapTable is an Attribute.

Methods

attrName :: Const Text StackMapTable

fromAttribute :: Attribute -> Either String StackMapTable

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String StackMapTable)

type Rep StackMapTable

type Rep StackMapTable = D1 (MetaData "StackMapTable" "Language.JVM.Attribute.StackMapTable" "jvm-binary-0.0.2-GeL1rLcsq7015yP1ec12qb" False) (C1 (MetaCons "StackMapTable" PrefixI True) (S1 (MetaSel (Just Symbol "stackMapTable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 StackMapFrame))))

data BootstrapMethods

Is a list of bootstrapped methods.

Instances

Eq BootstrapMethods

Methods

(==) :: BootstrapMethods -> BootstrapMethods -> Bool

(/=) :: BootstrapMethods -> BootstrapMethods -> Bool

Show BootstrapMethods

Methods

showsPrec :: Int -> BootstrapMethods -> ShowS

show :: BootstrapMethods -> String

showList :: [BootstrapMethods] -> ShowS

Generic BootstrapMethods

Associated Types

type Rep BootstrapMethods :: * -> *

Methods

from :: BootstrapMethods -> Rep BootstrapMethods x

to :: Rep BootstrapMethods x -> BootstrapMethods

Binary BootstrapMethods

Methods

put :: BootstrapMethods -> Put

get :: Get BootstrapMethods

putList :: [BootstrapMethods] -> Put

IsAttribute BootstrapMethods

BootstrapMethods is an Attribute.

Methods

attrName :: Const Text BootstrapMethods

fromAttribute :: Attribute -> Either String BootstrapMethods

fromAttribute' :: ConstantPool -> Attribute -> Maybe (Either String BootstrapMethods)

type Rep BootstrapMethods

type Rep BootstrapMethods = D1 (MetaData "BootstrapMethods" "Language.JVM.Attribute.BootstrapMethods" "jvm-binary-0.0.2-GeL1rLcsq7015yP1ec12qb" False) (C1 (MetaCons "BootstrapMethods" PrefixI True) (S1 (MetaSel (Just Symbol "methods'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SizedList16 BootstrapMethod))))

Helpers

data Const a b

Create a type dependent on another type b, used for accessing the correct attrName in IsAttribute.