JVM.ClassFile

Description

Synopsis

• data Attribute = Attribute {
  • attributeName :: Word16
  • attributeLength :: Word32
  • attributeValue :: ByteString
  }
• data FieldType
  • = SignedByte
  • | CharByte
  • | DoubleType
  • | FloatType
  • | IntType
  • | LongInt
  • | ShortInt
  • | BoolType
  • | ObjectType String
  • | Array (Maybe Int) FieldType
• type FieldSignature = FieldType
• data MethodSignature = MethodSignature [ArgumentSignature] ReturnSignature
• data ReturnSignature
  • = Returns FieldType
  • | ReturnsVoid
• type ArgumentSignature = FieldType
• type Pool stage = Map Word16 (Constant stage)
• type family Link s a
• data Method stage = Method {
  • methodAccessFlags :: AccessFlags stage
  • methodName :: Link stage ByteString
  • methodSignature :: Link stage MethodSignature
  • methodAttributesCount :: Word16
  • methodAttributes :: Attributes stage
  }
• data Field stage = Field {
  • fieldAccessFlags :: AccessFlags stage
  • fieldName :: Link stage ByteString
  • fieldSignature :: Link stage FieldSignature
  • fieldAttributesCount :: Word16
  • fieldAttributes :: Attributes stage
  }
• data Class stage = Class {
  • magic :: Word32
  • minorVersion :: Word16
  • majorVersion :: Word16
  • constsPoolSize :: Word16
  • constsPool :: Pool stage
  • accessFlags :: AccessFlags stage
  • thisClass :: Link stage ByteString
  • superClass :: Link stage ByteString
  • interfacesCount :: Word16
  • interfaces :: [Link stage ByteString]
  • classFieldsCount :: Word16
  • classFields :: [Field stage]
  • classMethodsCount :: Word16
  • classMethods :: [Method stage]
  • classAttributesCount :: Word16
  • classAttributes :: Attributes stage
  }
• data Constant stage
  • = CClass (Link stage ByteString)
  • | CField {
    • refClass :: Link stage ByteString
    • fieldNameType :: Link stage (NameType Field)
    }
  • | CMethod {
    • refClass :: Link stage ByteString
    • nameType :: Link stage (NameType Method)
    }
  • | CIfaceMethod {
    • refClass :: Link stage ByteString
    • nameType :: Link stage (NameType Method)
    }
  • | CString (Link stage ByteString)
  • | CInteger Word32
  • | CFloat Float
  • | CLong Integer
  • | CDouble Double
  • | CNameType (Link stage ByteString) (Link stage ByteString)
  • | CUTF8 {
    • getString :: ByteString
    }
  • | CUnicode {
    • getString :: ByteString
    }
• data Pointers
• data Resolved
• data NameType a = NameType {
  • ntName :: ByteString
  • ntSignature :: Signature a
  }
• class HasSignature a where
  • type Signature a
• class HasAttributes a where
  • attributes :: a stage -> Attributes stage
• data AccessFlag
  • = ACC_PUBLIC
  • | ACC_PRIVATE
  • | ACC_PROTECTED
  • | ACC_STATIC
  • | ACC_FINAL
  • | ACC_SYNCHRONIZED
  • | ACC_VOLATILE
  • | ACC_TRANSIENT
  • | ACC_NATIVE
  • | ACC_INTERFACE
  • | ACC_ABSTRACT
• type family AccessFlags stage
• data family Attributes stage
• className :: Constant Resolved -> ByteString
• apsize :: Attributes Pointers -> Int
• arsize :: Attributes Resolved -> Int
• arlist :: Attributes Resolved -> [(ByteString, ByteString)]

Documentation

[{type}