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

Forbid non-static method in spacetime module #2

Open
ptal opened this issue Jul 15, 2018 · 0 comments
Open

Forbid non-static method in spacetime module #2

ptal opened this issue Jul 15, 2018 · 0 comments
Labels
static-analysis

Comments

@ptal
Copy link
Owner

ptal commented Jul 15, 2018 •
edited
Loading

Problem: Calling a method this.m() means that m has accessed to every field of this and we cannot control which ones are accessed and how.

Solution: Add a static analysis to prevent non-static method in spacetime modules.

See also #3.
@ptal ptal mentioned this issue Jul 15, 2018
Open
ptal added a commit that referenced this issue Jul 16, 2018
@ptal
[compiler][static analysis] Restrict the usage of this (see #2 and #3)…
5f8e49f 
…. Distinguish between spacetime variables and class names on method calls.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
static-analysis
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ptal