aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/java.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/java.spad.pamphlet')
-rw-r--r--src/algebra/java.spad.pamphlet14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/java.spad.pamphlet b/src/algebra/java.spad.pamphlet
index 11d69455..e046fdf2 100644
--- a/src/algebra/java.spad.pamphlet
+++ b/src/algebra/java.spad.pamphlet
@@ -18,7 +18,7 @@
++ Date Created: July 18, 2008
++ Data Last Modified: July 18, 2010
++ Description: JVM class file access bitmask and values.
-JVMClassFileAccess(): Public == Private where
+JVMClassFileAccess: Public == Private where
Public == Join(SetCategory,Logic) with
jvmPublic: %
++ The class was declared public, therefore may be accessed
@@ -48,7 +48,7 @@ JVMClassFileAccess(): Public == Private where
++ Data Last Modified: July 18, 2010
++ Description:
++ JVM class field access bitmask and values.
-JVMFieldAccess(): Public == Private where
+JVMFieldAccess: Public == Private where
Public == Join(SetCategory,Logic) with
jvmPublic: %
++ The field was declared public; therefore mey accessed from
@@ -88,7 +88,7 @@ JVMFieldAccess(): Public == Private where
++ Data Last Modified: July 18, 2010
++ Description:
++ JVM class method access bitmask and values.
-JVMMethodAccess(): Public == Private where
+JVMMethodAccess: Public == Private where
Public == Join(SetCategory,Logic) with
jvmPublic: %
++ The method was declared public; therefore mey accessed from
@@ -136,7 +136,7 @@ JVMMethodAccess(): Public == Private where
++ Data Last Modified: July 18, 2010
++ Description:
++ JVM class file constant pool tags.
-JVMConstantTag(): Public == Private where
+JVMConstantTag: Public == Private where
Public == Join(SetCategory,CoercibleTo Byte) with
jvmUTF8ConstantTag: %
++ The corresponding constant pool entry is sequence of bytes
@@ -187,7 +187,7 @@ JVMConstantTag(): Public == Private where
++ Data Last Modified: July 18, 2010
++ Description:
++ This is the datatype for the JVM bytecodes.
-JVMBytecode(): Public == Private where
+JVMBytecode: Public == Private where
Public == Join(SetCategory, HomotopicTo Byte)
Private == Byte add
coerce(b: Byte): % ==
@@ -205,7 +205,7 @@ JVMBytecode(): Public == Private where
++ Data Last Modified: July 18, 2010
++ Description:
++ This is the datatype for the JVM opcodes.
-JVMOpcode(): Public == Private where
+JVMOpcode: Public == Private where
Public == Join(SetCategory,HomotopicTo JVMBytecode,HomotopicTo Byte)
Private == JVMBytecode add
-- mnemonics equivalent of bytecodes.
@@ -274,7 +274,7 @@ JVMOpcode(): Public == Private where
\section{License}
<<license>>=
---Copyright (C) 2007-2010, Gabriel Dos Reis.
+--Copyright (C) 2007-2016, Gabriel Dos Reis.
--All rights reserved.
--
--Redistribution and use in source and binary forms, with or without