Update docs.

diff --git a/JVM/Assembler.hs b/JVM/Assembler.hs
index d67f31c4fbead315c94de4dcb5d4b8d67ec6c1ae..cc886ae807f50d59fd830a18bf46c9e4684b63e2 100644 (file)
--- a/JVM/Assembler.hs
+++ b/JVM/Assembler.hs
@@ -6,6 +6,7 @@
 module JVM.Assembler 
   (Instruction (..),
    ArrayType (..),
 module JVM.Assembler 
   (Instruction (..),
    ArrayType (..),

+   CodeException (..),

    Code (..),
    IMM (..),
    CMP (..)
    Code (..),
    IMM (..),
    CMP (..)

diff --git a/JVM/ClassFile.hs b/JVM/ClassFile.hs
index ef4916cfc4f5f14e12b909bc59eb0d6257a25d54..baac43660e6df9a2d007eae349d85af6aa9f736c 100644 (file)
--- a/JVM/ClassFile.hs
+++ b/JVM/ClassFile.hs
@@ -7,8 +7,9 @@ module JVM.ClassFile
    FieldInfo (..),
    MethodInfo (..),
    AttributeInfo (..),
    FieldInfo (..),
    MethodInfo (..),
    AttributeInfo (..),

-   FieldType,
-   FieldSignature, MethodSignature (..), ReturnSignature (..)
+   FieldType (..),
+   FieldSignature, MethodSignature (..), ReturnSignature (..),
+   ArgumentSignature (..)

   )
   where
 
   )
   where
 


@@ -98,8 +99,8 @@ data FieldType =
   | LongInt    -- ^ J
   | ShortInt   -- ^ S
   | BoolType   -- ^ Z
   | LongInt    -- ^ J
   | ShortInt   -- ^ S
   | BoolType   -- ^ Z

-  | ObjectType String -- ^ L <class name>
-  | Array (Maybe Int) FieldType -- ^ [<type>
+  | ObjectType String -- ^ L @{class name}@
+  | Array (Maybe Int) FieldType -- ^ @[{type}@

   deriving (Eq)
 
 instance Show FieldType where
   deriving (Eq)
 
 instance Show FieldType where

diff --git a/JVM/Types.hs b/JVM/Types.hs
index f54a8ba3ac62a3db010fa03e9741d70e1ed604dc..18f57ea98594016c6d33321c1c63a1ea39b675bd 100644 (file)
--- a/JVM/Types.hs
+++ b/JVM/Types.hs
@@ -117,17 +117,17 @@ type Access = S.Set AccessFlag
 
 -- | Access flags. Used for classess, methods, variables.
 data AccessFlag =
 
 -- | Access flags. Used for classess, methods, variables.
 data AccessFlag =

-    ACC_PUBLIC              -- 0x0001 Visible for all
-  | ACC_PRIVATE           -- 0x0002 Visible only for defined class
-  | ACC_PROTECTED       -- 0x0004 Visible only for subclasses
-  | ACC_STATIC              -- 0x0008 Static method or variable
-  | ACC_FINAL       -- 0x0010 No further subclassing or assignments
-  | ACC_SYNCHRONIZED -- 0x0020 Uses monitors
-  | ACC_VOLATILE          -- 0x0040 Could not be cached
-  | ACC_TRANSIENT       -- 0x0080 
-  | ACC_NATIVE              -- 0x0100 Implemented in other language
-  | ACC_INTERFACE       -- 0x0200 Class is interface
-  | ACC_ABSTRACT          -- 0x0400 
+    ACC_PUBLIC              -- ^ 0x0001 Visible for all
+  | ACC_PRIVATE           -- ^ 0x0002 Visible only for defined class
+  | ACC_PROTECTED       -- ^ 0x0004 Visible only for subclasses
+  | ACC_STATIC              -- ^ 0x0008 Static method or variable
+  | ACC_FINAL       -- ^ 0x0010 No further subclassing or assignments
+  | ACC_SYNCHRONIZED -- ^ 0x0020 Uses monitors
+  | ACC_VOLATILE          -- ^ 0x0040 Could not be cached
+  | ACC_TRANSIENT       -- ^ 0x0080 
+  | ACC_NATIVE              -- ^ 0x0100 Implemented in other language
+  | ACC_INTERFACE       -- ^ 0x0200 Class is interface
+  | ACC_ABSTRACT          -- ^ 0x0400 

   deriving (Eq, Show, Ord)
 
 -- | Generic attribute
   deriving (Eq, Show, Ord)
 
 -- | Generic attribute