Download Jar. Libraryless. Click here for Pure Java version (6295L/41K).
!7 p { Collection<Web> webs = websMadeByProgram(#1010745); Pair<L<Web>> p = webs_tripelizable_nonTripelizable(webs); File file = getProgramFile("triples.gz"); PrintWriter out = newPrintWriter(newGZIPOutputStream(file)); webs_toTripleFile(p.a, out); out.close(); print("Stored " + nWeb(p.a) + " in " + f2s(file) + ", skipped " + nWeb(p.b)); L<Web> read = webs_readTripleFile(file); print("Read back " + nWebs(read)); print("Random web:"); printWeb(random(read)); }
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1011767 |
Snippet name: | Test writing & reading triple file [probably OK] |
Eternal ID of this version: | #1011767/12 |
Text MD5: | 8c2fc6ca19a0ce745001587b782c6647 |
Transpilation MD5: | ed0799b9b2cb8dac3f60de07c0528f12 |
Author: | stefan |
Category: | javax / a.i. |
Type: | JavaX source code (desktop) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2017-11-05 03:43:22 |
Source code size: | 504 bytes / 16 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 510 / 1086 |
Version history: | 11 change(s) |
Referenced in: | -