Generalised Property Syntax

Whiley / WhileyCompiler

The Whiley Compiler (WyC)

http://whiley.org

Apache License 2.0

219 stars 36 forks source link

Generalised Property Syntax #1102

Closed DavePearce closed 2 years ago

DavePearce commented 3 years ago

This is to implement RFC#102, by generalising the property syntax. To Do:

[x] Update Parser
[x] Update FlowTypeChecker
[x] Update FunctionalCheck
[x] Update DefiniteAssignmentCheck
[x] Update Interpreter
[x] Update AbstractConsumer / AbstractVisitor / etc
[x] Update AbstractTranslator
[ ] Add Type.Variant as an extension of Type.Callable.
[x] Update existing test cases
[x] Add new test cases

DavePearce commented 2 years ago

One question is whether we need Decl.FunctionOrMethodOrProperty or various combinations thereof?

Currently, we have Decl.Callable which captures everything which could be called (e.g. Variant), whilst Decl.FunctionOrMethod captures those things which have bodies (and potentially specifications). I think properties might desire preconditions at some point.