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.

Sign up for GitHub

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

Jump to bottom

Serialization/Deserialization #6

Open
daemontus opened this issue Dec 1, 2016 · 1 comment
Open

Serialization/Deserialization #6

daemontus opened this issue Dec 1, 2016 · 1 comment
Milestone
3.1.0

Comments

@daemontus
Copy link
Member

Currently, the formula API is really painful to serialise/deserialise because the True/False objects are just anonymous singletons and the formula interface also needs special handling. Redesign the api so that it is easier to serialise or at least provide adapters/something for easier serialisation.
@daemontus daemontus added this to the 2.0.0 milestone Dec 2, 2016
@daemontus
Copy link
Member Author

This is being put on hold because we first need to rethink whether we actually need it.
For now, use toString() for formula serialization (it produces a valid .ctl formula) and CTLParser for deserialization.

@daemontus daemontus modified the milestones: 3.0.0, 2.0.0 Dec 3, 2016
@daemontus daemontus modified the milestones: 3.1.0, 3.0.0 May 2, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
3.1.0
Development

No branches or pull requests
1 participant
@daemontus