Skip to content

Infer non-nullness in the intermediate #186

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

Merged
merged 1 commit into from
Jun 17, 2022

Conversation

mristin
Copy link
Contributor

@mristin mristin commented Jun 17, 2022

We infer the non-nullness by agressively making assumptions in
conjunctions and implications on "is not None"'s.

Word of caution. This might be too aggressive since we assume that
function calls and method calls do not alter the values observed in the
implications or conjunctions. This indeed holds true as long as you
observe query-command separation, but only that long.

We infer the non-nullness by agressively making assumptions in
conjunctions and implications on "is not None"'s.

Word of caution. This might be too aggressive since we assume that
function calls and method calls do not alter the values observed in the
implications or conjunctions. This indeed holds true as long as you
observe query-command separation, but only that long.
@mristin mristin merged commit 2fcf8f5 into main Jun 17, 2022
@mristin mristin deleted the mristin/Infer-non-nullness-in-invariants branch June 17, 2022 16:05
mristin added a commit that referenced this pull request Jun 19, 2022
* Adapt and re-record for aas-core-meta 2022.6.19 (#192)
* Infer non-nullness in the intermediate (#186)
* Fix duplicate inheritance of pattern constraints (#185)
* Exclude external classes stringify assertions (#181)

C#
--
* Make C# classes with children implement interfaces (#190)
* Allow classes without constructor arguments in C# (#189)
* Fix C# generation for CodeInspect and testgen (#187)
* Fix UTF-32 regexes for C# UTF-16-only engine (#183)
* Relax constraints on C# namespace identifiers (#182)
@mristin mristin mentioned this pull request Jun 19, 2022
mristin added a commit that referenced this pull request Jun 19, 2022
* Adapt and re-record for aas-core-meta 2022.6.19 (#192)
* Infer non-nullness in the intermediate (#186)
* Fix duplicate inheritance of pattern constraints (#185)
* Exclude external classes stringify assertions (#181)

C#
--
* Make C# classes with children implement interfaces (#190)
* Allow classes without constructor arguments in C# (#189)
* Fix C# generation for CodeInspect and testgen (#187)
* Fix UTF-32 regexes for C# UTF-16-only engine (#183)
* Relax constraints on C# namespace identifiers (#182)
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

Successfully merging this pull request may close these issues.

1 participant