diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-16 13:47:40 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-16 13:47:40 -0800 |
| commit | b2eb2e7744d9947f6b5cf61c917014d9d5a4da7d (patch) | |
| tree | b1da457baf0a9e187e733c41a3daa30c4f594c4d /src/algebra/java.spad.pamphlet | |
| parent | 7a0c86e9fcbccd980eb5d0a94fb0d6d6c1a7b0d6 (diff) | |
| download | open-axiom-b2eb2e7744d9947f6b5cf61c917014d9d5a4da7d.tar.gz | |
Reduce dependencies on databases to catgeory.daase during algebra build
Diffstat (limited to 'src/algebra/java.spad.pamphlet')
| -rw-r--r-- | src/algebra/java.spad.pamphlet | 14 |
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 |