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

Dump and restore spaces to JSON #42

Open
sbazerque opened this issue Jan 16, 2023 · 0 comments
Open

Dump and restore spaces to JSON #42

sbazerque opened this issue Jan 16, 2023 · 0 comments

Comments

@sbazerque
Copy link
Member

Dump and restore Hyper Hyper Space spaces to and from JSON literals.

So starting from the space's entry point, it should be possible to dump all its internal state into a single JSON-encoded string. The JSON should have enough metadata to recover the space without any additional information. This is fairly similar to what Context and specially LiteralContext do. It may be easier to go through a (memory-backed?) store to do the saving, and then using its contents to populate a LiteralContext to be included in the generated JSON. For loading it up back again, maybe it would be easier to load the contents of the LiteralContext back into a store (may be optional - if omitted we could just create a memory-backed one) than attempting to populate all the objects recursively automatically.

The generated JSON could be a first file format for importing / exporting spaces to and from files.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant