Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pab/gen documentation 2/travis #2

Open
wants to merge 360 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
360 commits
Select commit Hold shift + click to select a range
8100bbb
Replace tf->domImports list with symeset.
pbroadbery Dec 11, 2015
93bdcd3
tform.c: Fixup: Use symeSet functions instead of tfGetDomImports.
pbroadbery Dec 5, 2015
b6ef633
src/aldor: Use imports by name where possible.
pbroadbery Dec 5, 2015
a962f92
Add stabPutMeaningsSet.. idea is to be able to add a symeSet to a sy…
pbroadbery Dec 5, 2015
57cf9dd
absyn.h: Add macro helpers for iterating across sequence-like things.
pbroadbery Dec 11, 2015
13813cb
tform.c: Add tformGetExportsByName and more symeset import things.
pbroadbery Dec 18, 2015
a973657
genfoam: Get argument type correctly when using named parameters and …
pbroadbery Apr 30, 2016
ffe5d08
tests: Add union to known std types
pbroadbery Apr 30, 2016
3291e66
tfsat.c: Use tconst (with a condition) when dealing with imports
pbroadbery May 14, 2016
5694920
terror.c: Bugfix for case where fn has multiple meanings and default
pbroadbery May 15, 2016
50b1911
tfsat.c: Deal with Union(x: Cross(A, B), ...)
pbroadbery May 15, 2016
e13f7ea
tfsat.c: Allow conditional tests to fail with "pending"
pbroadbery Jul 30, 2016
27326af
sal_hash: Bug fixes around empty tables.
pbroadbery May 15, 2016
9aa7d2a
util.[ch]: Add function for pointer equality.
pbroadbery May 19, 2016
0fcc17a
libaldor: Add a 'fromString' method
pbroadbery May 24, 2016
4b48cf1
java: Add ptrToSint .. use hashcode, as it's the best we've got.
pbroadbery Jun 28, 2016
19da8de
syme.c: Add a fussier equality function
pbroadbery Jan 1, 2017
35e0460
Compiler: Add annotated abstract syntax output
pbroadbery Jan 25, 2017
04a402b
annotations: Add rule to produce .abn files.
pbroadbery Jan 20, 2017
3ab480b
tfsat.c: Deal with cases like X: Cat == with Module %; Module(T: X): …
pbroadbery Jan 8, 2017
5e3f207
tfsat.c: Special case conditions on % that are implicitly true
pbroadbery Jan 8, 2017
9e34fef
scobind.c: Fix segfault where extend is in same file as original.
pbroadbery Jan 9, 2017
bbed1ca
genjava: Foreign import closures should return object of type word.
pbroadbery Jan 15, 2017
723fb54
aldor/lib/common.mk: Remove -Zdb from build options
pbroadbery Jan 16, 2017
c747799
gf_implicit.c: Need to generate return values of the correct type.
pbroadbery Jan 16, 2017
a847542
genfoam.c: Allow for exit in expressions returning multiple values
pbroadbery Jan 17, 2017
fc96e10
genfoam: deal with try/catch returning no value
pbroadbery Jan 17, 2017
32da8fa
configure: Cater for gcc-4.7 when looking for errors
pbroadbery Jan 26, 2017
5f9e2e9
store.c: Remove calls to strncasecmp as it isn't hugely portable.
pbroadbery Jan 27, 2017
c7323e0
configure.ac: Try to get a clean compilation for sbrk()
pbroadbery Jan 27, 2017
c621aaa
configure.ac: Use code that triggers the warning when looking for err…
pbroadbery Jan 27, 2017
5eda5e8
lib/test/Makefile: Use relative paths to libraries
pbroadbery Jan 28, 2017
368b1f0
configure.ac: Adjust options so that sign-compare isn't a warning.
pbroadbery Feb 4, 2017
ba3a814
test/Makefile: Add DBG=1 to .ao -> .o rule
pbroadbery Feb 4, 2017
602ce0a
annotations: Drop attempt to ensure that compilation is complete.
pbroadbery Feb 11, 2017
3860b88
Java library: Reformat
pbroadbery Feb 11, 2017
14b25da
Merge pull request #120 from pippijn/pab/annotations
pbroadbery Mar 8, 2017
35d0764
configure.ac: Always generate .git version instead of date
pbroadbery Mar 28, 2017
37c7c90
Build: Copy source library to $prefix/share/lib
pbroadbery Mar 28, 2017
9cfed38
build: Add implicit-fallthrough for gcc-7.2
pbroadbery Dec 1, 2017
37fb1c2
src: Fallthrough warnings - abpretty.c
pbroadbery Dec 3, 2017
898af05
src: Fallthrough warnings - linear.c
pbroadbery Dec 3, 2017
d4510e7
src: Fallthrough warnings - tform.c
pbroadbery Dec 3, 2017
97d748a
sexpr.c: Add no-return annotation to error function
pbroadbery Dec 3, 2017
c59cf42
comsgdb.c: Add no return to "fatal" functions
pbroadbery Dec 3, 2017
38298c5
ccode.c: Fix fallthrough comment.
pbroadbery Dec 3, 2017
4c6d75f
features.h: Always define chk_noreturn and chk_fallthrough
pbroadbery Dec 3, 2017
3bad0ec
axlcomp.c: Simplify fallthrough thing
pbroadbery Dec 3, 2017
fcec09c
fixup: Re-introduce -Mno-implicit-fallthrough in build
pbroadbery Dec 3, 2017
30712dc
syme.c: avoid compiler warnings from symeModBit
pbroadbery May 29, 2018
e1b4e0e
fint.c: fallthrough & missing break statement
pbroadbery May 29, 2018
3035464
genc.c: Missing break statements.
pbroadbery May 29, 2018
d4ad254
assert.h0: abort_if_fatal can return
pbroadbery Apr 25, 2018
e5cda55
sefo.c: sefo hash check on equality won't work. Remove.
pbroadbery Dec 3, 2017
0fbdc1f
axllib/test: 1248 won't work.
pbroadbery Dec 3, 2017
91db7c7
axllib/test: No need for -Wno-fatal
pbroadbery Dec 3, 2017
d07b720
bugfix: genfoam.c: gen0NilValue should ignore exceptions.
pbroadbery Dec 3, 2017
0f1227d
assert.h: All failed assertions are fatal
pbroadbery Jul 4, 2018
96e12ed
travis: Build requires fakeroot & debhelper
pbroadbery May 8, 2017
c57f705
version.c: Bump version number.
pbroadbery Mar 28, 2017
1ccfb48
gf_imps.c: Don't bother creating a FOAM_Cast when not required
pbroadbery Jun 24, 2017
6df7640
lib: Ignore "comp" library - not used anywhere
pbroadbery Jun 13, 2018
6c3626e
int.c: Add absorbing sum function
pbroadbery Jun 24, 2017
c11e513
inlutil.c: Avoid overflow when calculating function cost
pbroadbery Jun 24, 2017
6315035
absyn.c: New abNewDefineLhs -- creates a lhs of a define from parsed …
pbroadbery Jun 24, 2017
e9ba41d
tinfer.c: Use abNewDefineLHS
pbroadbery Jun 24, 2017
3b43b76
stab.c: clean formatting of some comments
pbroadbery Dec 31, 2017
39dd7b4
sefo.c: Need to check free vars on substitution tforms
pbroadbery Aug 14, 2017
304a5cc
terror.c: Remove a blank line to make error output more parsable.
pbroadbery Aug 14, 2017
054ab0e
tform.c: Note a few things - this is really a todo list before the ne…
pbroadbery Aug 14, 2017
a8bb9e9
javaobj.c: Consistent variable names
pbroadbery Aug 26, 2017
5f4e834
javaobj.c: Whitespace fix.
pbroadbery Aug 26, 2017
c30a7ac
javacode.c: Add jcPackage, jcImport
pbroadbery Aug 26, 2017
9abde17
genjava.c: Use jcImport
pbroadbery Aug 26, 2017
5d41200
genjava.c: Remove ';;'
pbroadbery Aug 26, 2017
6e77575
gf_fortran.c: Remove ';;'
pbroadbery Sep 30, 2017
8a376c6
store.c: Remove ';;'
pbroadbery Sep 30, 2017
5fddda4
javacode.c: Reformat javadoc comment
pbroadbery Aug 26, 2017
af09717
javacode.c: Add functions to convert ids to strings
pbroadbery Aug 26, 2017
0d0f788
gf_java: Rename java conversion functions
pbroadbery Aug 26, 2017
60fe277
foam.c: Add DDecl tag for java classes
pbroadbery Aug 26, 2017
77becfa
java: Whitespace, comments cleanup
pbroadbery Sep 5, 2017
100a79c
aldor/test: Makefile verbose rules incorrect.
pbroadbery Sep 5, 2017
3d0a31f
lib/java: Add Java object for use by Foam.
pbroadbery Sep 9, 2017
4bc0e03
java: Add Aldor string to Java string conversion
pbroadbery Sep 9, 2017
b252eeb
javaobj.c: jcoNewImport: Add assertions for non-null arguments
pbroadbery Sep 9, 2017
49bd89b
src/java: Add FOAM_JavaObj so we can represent java objects in foam c…
pbroadbery Sep 9, 2017
83613ac
aldor/test: FIXUP remove generated rectest.java, simple_j.java
pbroadbery Dec 31, 2017
0f8e952
test: Add a test case for imported java objects.
pbroadbery Sep 9, 2017
fe3a42d
src/*: Rename AB_Foreign to AB_ForeignImport
pbroadbery Sep 22, 2017
f5c2c98
aldor/src: Add AB_ForeignExport
pbroadbery Sep 30, 2017
3f44bc7
java/javaobj.c: Add a common jcoAlloc function
pbroadbery Oct 1, 2017
8d03b0e
foam.c: Add foamGDecl functions
pbroadbery Oct 1, 2017
e782349
genc.c: Use foamGDecl functions
pbroadbery Oct 1, 2017
5e31052
gf_java.c: Remove unused parameter on gfjPCallDecl
pbroadbery Oct 1, 2017
00f1bd8
foam.c: Include return type in FOAM_Proto_JavaSig
pbroadbery Oct 1, 2017
9c15886
test/Makefile: .ao depends on aldor executable.
pbroadbery Oct 1, 2017
2fb7914
src/list.h: Add ListCopier type
pbroadbery Oct 8, 2017
e7ccff5
javaobj.c: Add path to java imported ids
pbroadbery Oct 8, 2017
d1f20e8
src/java/javacode.c: Correct escaping of quote characters in strings.…
pbroadbery Dec 31, 2017
fa824c9
src/java/javacode.c: Add generic ids and method calls
pbroadbery Dec 31, 2017
8be3171
src/java/javacode.c: jcCollectImports needs to track usages
pbroadbery Dec 31, 2017
64339fe
src/java/javacode.c: Add try/catch functions
pbroadbery Dec 31, 2017
06940a5
javacode.c: Support empty list of interfaces
pbroadbery Dec 1, 2017
b3ecb9b
java: Add jcLocal/Member/Param declarations
pbroadbery Oct 8, 2017
84d7b56
src/formatters.c: Add JavaCode to printable objects
pbroadbery Dec 31, 2017
0103330
gf_java.c: Use base type of domain when building java signatures
pbroadbery Oct 8, 2017
1f42d3b
of_inlin.c: Look through cast a bit better. Fix up transformation of
pbroadbery Oct 10, 2017
710f0fd
gf_java: Java PCalls need an explicit "this" in their format
pbroadbery Oct 10, 2017
0ee0586
of_retype: Infer formats and types for java PCalls
pbroadbery Oct 10, 2017
8296f7f
test: Add jimp0 - trivial java import test
pbroadbery Oct 10, 2017
163f843
forg.c: Add a free for ForeignOrigin
pbroadbery Nov 30, 2017
b0ee8e2
forg.c: Add equality, hash and buffer functions
pbroadbery Dec 9, 2017
788333e
tests: Add tests for forg.c
pbroadbery Dec 9, 2017
990a607
src: axlobs.h: Add FoamOrigin
pbroadbery Dec 31, 2017
c1687ab
foam.c: add Foam -> String conversion
pbroadbery Nov 30, 2017
b37e690
cmdline.c: Declare use of -J option
pbroadbery Nov 30, 2017
2588fe7
file.c: Add fileEnsureDirectory
pbroadbery Dec 1, 2017
0593735
foam.c: PCall on a primitive type (ie. not String) won't work in java
pbroadbery Dec 1, 2017
7553201
libaldor: sal_fold: add foldl, foldr
pbroadbery Apr 22, 2017
e3edea0
libaldor: Add Directory/Filename operations
pbroadbery Aug 14, 2017
85b0930
libaldor: sal_array.as: Add reverse linear search
pbroadbery Aug 14, 2017
91e0b7e
libaldor: sal_sexpr: Add some more char prefixes, some errors, string…
pbroadbery Aug 14, 2017
49e8fcd
aldor library: fix printing of arrays which don't have OutputType
pbroadbery Jun 24, 2017
03eb10b
libaldor: Symbol needs to be sure there is only one symbol table
pbroadbery Aug 26, 2017
96349b1
libaldor: Need to copy return from direntName
pbroadbery Dec 1, 2017
c694f9e
libaldor: Add Assert(List, Integer)
pbroadbery Dec 2, 2017
9c82c44
libaldor::sal_fname: Correct use of substring() and add a test
pbroadbery Dec 31, 2017
404f613
lib/aldor/fname.as: allow for missing filename extensions
pbroadbery Apr 29, 2018
0575ad5
sal_hashset.c: Use member? instead of contains?
pbroadbery Dec 1, 2017
e133fef
sal_sexpr.c: Quote and dot expressions
pbroadbery Dec 1, 2017
52e7023
sal_sexpr.as: Handle blackslash escapes & remove test from blacklist
pbroadbery Jun 1, 2018
3945286
sal_sexpr.as: Use buffer when reading, instead of string concat
pbroadbery Apr 29, 2018
9008a63
sal_sexpr.as: Support references
pbroadbery Apr 29, 2018
572e224
sal_sexpr.as: Unescaped lisp symbols are upper-case internally
pbroadbery Apr 29, 2018
4fc2801
fint.c: bugfix - Add some missing break statements
pbroadbery Dec 3, 2017
7e7b7d7
src/fint.c: Add some more built in functions (used in aldor library)
pbroadbery Dec 31, 2017
eb16c9c
lib/java: Add various functions to Foam.java
pbroadbery Dec 31, 2017
ea87a39
javaFoam: make sure nul-chars in foam strings are used as string term…
pbroadbery Jul 2, 2018
151cc25
Blacklist jimport_opt as a test for the moment
pbroadbery Jun 1, 2018
17b80d0
genfoam: add hash for java imports
pbroadbery Dec 2, 2017
d3d6e56
tform.c: Add "self" type to java argument checking
pbroadbery Dec 3, 2017
52b4e43
lib/java: Add foamHelper - allows for a thread-local context for runtime
pbroadbery Dec 3, 2017
5c52a86
lib/java: Add to/from javaObject
pbroadbery Dec 3, 2017
3ca16d1
tform.c: Add tfJavaCanExport
pbroadbery Dec 3, 2017
5efc797
src/abcheck.c: Add java export check - package is required.
pbroadbery Dec 3, 2017
c234ed5
javacode.c: Fixup imports to allow for null packages
pbroadbery Dec 3, 2017
039079e
test/Makefile.in: Simplify logging
pbroadbery Jun 19, 2018
44a6863
src/test: Add simple javacode test (for try/catch)
pbroadbery Dec 31, 2017
984bee3
genjava.c: if statement as part of "halt" was backward - FIXUP
pbroadbery Apr 25, 2018
593d690
genjava.c: gen0SeqGen: Top level vars references can be ignored.
pbroadbery Apr 21, 2018
370e166
java: Add javasig - convention for Foam Java types
pbroadbery Dec 1, 2017
099471b
gf_gener.c: Include util.h for NotReached()
pbroadbery Dec 3, 2017
ea2671c
build: Don't use -Wno-fatal
pbroadbery Dec 3, 2017
231f57e
symeset.c: free(null) should be ok with nulls
pbroadbery May 28, 2018
450b89c
lib.c: Add code to save and restore symeForeign
pbroadbery Dec 9, 2017
9864530
build: add foamj.jar to installdir
pbroadbery Dec 31, 2017
1fc28bb
foam.c: Add foamProtoBase - mapping JavaX to Java
pbroadbery Apr 29, 2018
4c3adbe
of_inlin.c: Ensure that java types are correctly updated in formats.
pbroadbery Jun 10, 2018
c4b0239
src: Use javaSig functions when creating java calls
pbroadbery May 28, 2018
bf3e31e
src/foamsig.c: Add foamSigEqualModFmt
pbroadbery Apr 21, 2018
5b09e38
test/Makefile.in: Add DBG_C as per DBG_J
pbroadbery Apr 29, 2018
2545743
gf_add.c: Hash java types to 999 for want of a better number
pbroadbery Jun 10, 2018
cfa2e65
genjava.c: Propagate format information across signatures
pbroadbery Jun 10, 2018
d3dd5fa
libfoam: distribute foam jar too
pbroadbery Jun 13, 2018
562fef4
syme.c: Bits allocated wrongly - cond checked & incomplete are different
pbroadbery May 28, 2018
8794605
genjava.c: Deal with Foam type of Nil in object names
pbroadbery Jun 10, 2018
6db13a4
Use new symeExtension functions
pbroadbery May 28, 2018
ca76d98
test/Makefile.in: add junit rules, & java dependencies
pbroadbery Jun 23, 2018
073aa05
genjava.c: Flatten code such that "throw" is top level
pbroadbery Jun 15, 2018
fadb46c
genc.c: deal with Java a little better
pbroadbery Jun 13, 2018
079a37e
tform.c: Look for extensions when getting exports
pbroadbery Apr 29, 2018
a5c4149
genc.c: Make (bad) attempt at dealing with non-C (ie. java) code in foam
pbroadbery May 4, 2018
1779f60
aldor: Implement java exports
pbroadbery Jul 2, 2018
537be1e
src/absyn.c: Add abToSExprElided - to skip the boring bits
pbroadbery Apr 25, 2018
5c3faf5
syme.c: Use elided absyn sexpressions
pbroadbery Apr 25, 2018
52d9dd3
annabs.c: Reduce size of file.. need to do this more.
pbroadbery May 4, 2018
61ebeef
buildlib.mk: Also export asy files.
pbroadbery May 4, 2018
6908a59
ablogic.c: Allow null AbLogic in formatter
pbroadbery May 11, 2018
32d10d7
tform.c: Always follow before updating conditions in tfPendingFrSyntax
pbroadbery May 28, 2018
1c9f5c0
syme.c: symeCheckCondition should clear the incomplete bit at start
pbroadbery May 28, 2018
fef4780
tfsat.c: Always try to match for embedded % in tfSatExport
pbroadbery May 28, 2018
698be67
tfcond.c: Allow for condition to be a combination of AbLogic and Sefo
pbroadbery May 28, 2018
44fa51c
src: Keep track of abCondKnown when creating type forms.
pbroadbery May 28, 2018
8173cca
test: Add test for condition propagation
pbroadbery May 28, 2018
07a5aa2
Merge pull request #124 from pippijn/pab/work-branch
pbroadbery Jul 5, 2018
596cc4d
configure: Add CFLAGS to STRICTCFLAGS
pbroadbery Aug 19, 2018
cf929de
ttable.[ch] Add some iteration tests and size() function
pbroadbery Aug 19, 2018
244d022
formatters.c: Add a simple formatter for tsets.
pbroadbery Aug 19, 2018
48662bc
cport.[ch]: Add ptr eq and hash functions
pbroadbery Aug 19, 2018
00adcf0
list.[ch]: Add containsAll function
pbroadbery Aug 19, 2018
b9d4e09
stab.c: Check ablogic condition before calling getConditions
pbroadbery Aug 19, 2018
1163e76
syme.c: Add showtwins function
pbroadbery Aug 19, 2018
ab0c40f
sefo.c: symeListMember - check all members with eq before using suppl…
pbroadbery Aug 19, 2018
0df119a
tfsat.c: Use tformSubst for more sharing in getCatExportsConditional
pbroadbery Aug 19, 2018
89b7ea2
tfsat.c: Fix some debug statements
pbroadbery Aug 19, 2018
7d106ec
stab.c: Use return value of check condition - if false, drop
pbroadbery Aug 20, 2018
2a4cccd
tform.c: Pre check condition
pbroadbery Aug 20, 2018
6143082
Merge pull request #125 from pippijn/pab/work-branch
pbroadbery Aug 25, 2018
edf3e2e
Revert "tfsat.c: Use tformSubst for more sharing in getCatExportsCond…
pbroadbery Sep 28, 2018
3ce3963
Merge pull request #126 from pbroadbery/pab/work-branch
pbroadbery Sep 28, 2018
e66b9db
fint.c: Remove untrue assertion
pbroadbery Dec 13, 2018
37f702b
ti_bup.c: Allow type aliases and crosses to mix
pbroadbery Dec 13, 2018
e4deebd
sal_fname.as: Remove output
pbroadbery Dec 13, 2018
ffcc78a
int.c: Add AIntPtr type
pbroadbery Feb 1, 2019
90677ca
Phase.h: Correct the type of PhPrFun - it returns an int.
pbroadbery Feb 1, 2019
c6a1e7f
gf_imps.c: Type fix for gen0BuiltinTable
pbroadbery Feb 1, 2019
945945e
foam_c.c: Fix expected return of fiClos
pbroadbery Feb 1, 2019
b926f12
annabs.c: Use aintPtr functions in hashtable
pbroadbery Feb 1, 2019
9796b90
fint.c: Use correct form of fallthrough comment
pbroadbery Feb 1, 2019
eacc8fa
test_stab.c: Additional init() removed
pbroadbery Feb 1, 2019
179d343
FIXUP: test_java.c: extra fini()
pbroadbery Feb 1, 2019
d8ef536
fix - test tform.c: Need a finiFile
pbroadbery Feb 1, 2019
4a25a84
test_ablogic.c: Add finiFile where needed
pbroadbery Feb 1, 2019
7447c80
test_genfoam.c: Add finiFile where needed
pbroadbery Feb 1, 2019
f22d5b9
test_tibup.c: Add finiFile where needed
pbroadbery Feb 1, 2019
c100ac8
test_tinfer.c: Add finiFile where needed
pbroadbery Feb 1, 2019
9e3f9df
testlib.c: Add assertions around file state
pbroadbery Feb 1, 2019
5c72cc5
stab.c, editlevels.h: Remove EDIT_1_0_n2_06
pbroadbery Jul 29, 2019
e5b2f3f
tests: Add test for empty cross
pbroadbery Jul 29, 2019
01b781f
lib.c: libfricas.al is an alternate name for libaxiom.al
pbroadbery Jul 15, 2019
13e5b90
Merge pull request #131 from pippijn/pab/work-branch
pbroadbery Jul 29, 2019
4498215
Fix #134
LdBeth Mar 3, 2020
60136d9
travis.yml: Add macos target
pbroadbery Mar 6, 2020
eb67f99
macos: No sbrk required
pbroadbery Mar 8, 2020
ce3f204
travis: Fix osname
pbroadbery Mar 8, 2020
e50e96d
macos: Guard sbrk
pbroadbery Mar 8, 2020
50b4c08
macos: try again..
pbroadbery Mar 8, 2020
061db8e
macos: define sbrk thing..
pbroadbery Mar 8, 2020
7c9b11d
macos: syntax
pbroadbery Mar 8, 2020
03058c4
util.c: Explicit return for hashCombinePair
pbroadbery Mar 8, 2020
86b555a
More experiments
pbroadbery Mar 8, 2020
e05ecc9
mac
pbroadbery Mar 8, 2020
e847694
more macos
pbroadbery Mar 8, 2020
13afc22
mac port.. just a test
pbroadbery Mar 11, 2020
4805c56
tt
pbroadbery Mar 11, 2020
4557592
Solve link failure on macOS
LdBeth Mar 9, 2020
41f825b
macos: add build-id check
pbroadbery Mar 13, 2020
913cf37
Merge pull request #137 from pippijn/travis/test-macos
pippijn Mar 22, 2020
23697e3
Error if all flavors of YACC and Lex are missing
Jun 24, 2020
d9ac6c0
Merge pull request #140 from rocky/bug/check-lex-yacc-presence
pbroadbery Jun 24, 2020
c75a023
subcmd/unitools: macos: remove nm command
pbroadbery Mar 25, 2020
ac99bfa
macos: Stop on first error again
pbroadbery Mar 25, 2020
04e725d
configure.ac: Add macros for documentation
pbroadbery Nov 1, 2020
503439f
tools/unix: enable extract & aldoc2html
pbroadbery Nov 1, 2020
f7b00d8
sal_table.as: Fix documentation to be correct latex
pbroadbery Nov 1, 2020
7d44ae7
Add build mechanism for docs
pbroadbery Nov 2, 2020
1eb7970
Build fix
pbroadbery Nov 2, 2020
9fa08a1
builddoc.mk: Add install, tidy up clean
pbroadbery Nov 2, 2020
03783f6
travis.yaml: Add latex dependencies for documentation
pbroadbery Nov 2, 2020
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
28 changes: 25 additions & 3 deletions .travis.yml
Original file line number Diff line number Diff line change
@@ -1,11 +1,33 @@
language: c
script: dpkg-buildpackage -b -us -uc

install:
- sudo apt-get install libgmp-dev
jobs:
include:
- os: macos
script: sh ./build-macos.sh
compiler: clang

- os: linux
script: dpkg-buildpackage -b -us -uc
compiler: gcc
install:
- sudo apt-get install libgmp-dev
- sudo apt-get install fakeroot
- sudo apt-get install debhelper
- sudo apt-get install texlive-binaries
- sudo apt-get install texlive-latex-base
- sudo apt-get install fig2ps

# - os: linux
# compiler: clang
# script: dpkg-buildpackage -b -us -uc
# install:
# - sudo apt-get install libgmp-dev
# - sudo apt-get install fakeroot
# - sudo apt-get install debhelper

# whitelist
branches:
only:
- master
- /.*\/staging/
- /.*\/travis/
2 changes: 2 additions & 0 deletions aldor/.gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,8 @@ Makefile
*.class
*.al
*.ao
*.asy
*.abn
*.dep
*.fm
*.log
Expand Down
7 changes: 6 additions & 1 deletion aldor/aldor/lib/java/Makefile.am
Original file line number Diff line number Diff line change
@@ -1 +1,6 @@
SUBDIRS=src
SUBDIRS=src test

@BUILD_JAVA_TRUE@JAVA_TARGET = src/foamj.jar

datalibdir = $(datadir)/lib
datalib_DATA = $(JAVA_TARGET)
80 changes: 64 additions & 16 deletions aldor/aldor/lib/java/src/foamj/AbstractValue.java
Original file line number Diff line number Diff line change
Expand Up @@ -3,19 +3,67 @@
import java.math.BigInteger;

public abstract class AbstractValue implements Value {
public Word asWord() { throw new CastException(this); }
public int toSInt() { throw new CastException(this); }
public short toHInt() { throw new CastException(this); }
public BigInteger toBInt() { throw new CastException(this); }
public double toDFlo() { throw new CastException(this); }
public float toSFlo() { throw new CastException(this); }
public Object toArray() { throw new CastException(this); }
public Record toRecord() { throw new CastException(this); }
public Clos toClos() { throw new CastException(this); }
public boolean toBool() { throw new CastException(this); }
public MultiRecord toMulti() { throw new CastException(this); }
public char toChar() { throw new CastException(this); }
public Object toPtr() { throw new CastException(this); }
public Env toEnv() { throw new CastException(this); }
public byte toByte() { throw new CastException(this); }
}
public Word asWord() {
throw new CastException(this);
}

public int toSInt() {
throw new CastException(this);
}

public short toHInt() {
throw new CastException(this);
}

public BigInteger toBInt() {
throw new CastException(this);
}

public double toDFlo() {
throw new CastException(this);
}

public float toSFlo() {
throw new CastException(this);
}

public Object toArray() {
throw new CastException(this);
}

public <T> T toJavaObj() {
throw new CastException(this);
}

public Record toRecord() {
throw new CastException(this);
}

public Clos toClos() {
throw new CastException(this);
}

public boolean toBool() {
throw new CastException(this);
}

public MultiRecord toMulti() {
throw new CastException(this);
}

public char toChar() {
throw new CastException(this);
}

public Object toPtr() {
throw new CastException(this);
}

public Env toEnv() {
throw new CastException(this);
}

public byte toByte() {
throw new CastException(this);
}
}
3 changes: 3 additions & 0 deletions aldor/aldor/lib/java/src/foamj/AldorObject.java
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
package foamj;

public class AldorObject {}
12 changes: 6 additions & 6 deletions aldor/aldor/lib/java/src/foamj/CastException.java
Original file line number Diff line number Diff line change
Expand Up @@ -3,11 +3,11 @@
@SuppressWarnings("serial")
public class CastException extends RuntimeException {

public CastException(AbstractValue abstractValue) {
this("Casting: " + abstractValue.getClass().getName());
}
public CastException(AbstractValue abstractValue) {
this("Casting: " + abstractValue.getClass().getName());
}

public CastException(String string) {
super(string);
}
public CastException(String string) {
super(string);
}
}
75 changes: 39 additions & 36 deletions aldor/aldor/lib/java/src/foamj/Clos.java
Original file line number Diff line number Diff line change
@@ -1,62 +1,65 @@
package foamj;

import java.util.Arrays;


public class Clos extends AbstractValue implements Word, Value {
private Env env;
private Fn fn;
private Word info;

public Clos(Env env, Fn fn) {
this.env = env;
this.fn = fn;
this.env = env;
this.fn = fn;
}

public Value call(Value... vals) {
//System.out.println("(Calling: " + fn.getName() + " " + Arrays.asList(vals));
Value v = fn.ocall(env, vals);
//System.out.println(" Return: " + v + ")");

return v;
}

public Value call(Value ... vals) {
//System.out.println("(Calling: " + fn.getName() + " " + Arrays.asList(vals));
Value v = fn.ocall(env, vals);
//System.out.println(" Return: " + v + ")");

return v;
public static Clos fromValue(Value v) {
return (Clos) v;
}

public static Clos fromValue(Value v) { return (Clos) v; }


public String toString() {
return "{Clos: " + fn + ", " + env.getId() + "}";
return "{Clos: " + fn + ", " + env.getId() + "}";
}

public Fn getProg() {
return fn;
return fn;
}

public Env getEnv() {
return env;
return env;
}

public void setProg(Fn fn) {
this.fn = fn;
this.fn = fn;
}

public void setEnv(Env env) {
this.env = env;
this.env = env;
}

public void setInfo(Word info) {
this.info = info;
}

public void setInfo(Word info) {
this.info = info;
}
public Word getInfo() {
return info;
}

public Word getInfo() {
return info;
}

public Clos toClos() { return this; }
public Clos toClos() {
return this;
}

public Word asWord() { return this; }
public Word asWord() {
return this;
}

@Override
public Value toValue() {
return this;
}
@Override
public Value toValue() {
return this;
}
}
72 changes: 38 additions & 34 deletions aldor/aldor/lib/java/src/foamj/Env.java
Original file line number Diff line number Diff line change
@@ -1,51 +1,55 @@
package foamj;

public class Env extends AbstractValue implements Value {
private EnvRecord thisLvl;
private Env parent;
private Word info;
private int id;
private static int count = 0;

public Env(EnvRecord lvl, Env parent) {
this.thisLvl = lvl;
this.parent = parent;
this.id = count++;
}
private EnvRecord thisLvl;
private Env parent;
private Word info;
private int id;
private static int count = 0;

public Env(EnvRecord lvl, Env parent) {
this.thisLvl = lvl;
this.parent = parent;
this.id = count++;
}

public Env nthParent(int idx) {
Env e = this;
while (idx != 0) {
e = e.parent;
idx--;
}
return e;
Env e = this;
while (idx != 0) {
e = e.parent;
idx--;
}
return e;
}

public Env toEnv() {
return this;
}
public Env toEnv() { return this; }

public EnvRecord level() {
return thisLvl;
return thisLvl;
}

public Env parent() {
return parent;
return parent;
}

public void ensure() {
if (info != null) {
((Clos) info).call();
}
if (info != null) {
((Clos) info).call();
}
}
public void setInfo(Word info) {
this.info = info;
}

public Word getInfo() {
return info;
}
public void setInfo(Word info) {
this.info = info;
}

public String getId() {
return ""+id;
}
public Word getInfo() {
return info;
}

public String getId() {
return "" + id;
}

}
8 changes: 4 additions & 4 deletions aldor/aldor/lib/java/src/foamj/EnvRecord.java
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
package foamj;

public class EnvRecord extends Record {
public EnvRecord(Format fmt) {
super(fmt);
}

public EnvRecord(Format fmt) {
super(fmt);
}
}
Loading