search

ptal / bonsai

Programming language based on the synchronous and constraint paradigms
Apache License 2.0
15 stars 0 forks source link

Forbid non-static method in spacetime module #2

Open ptal opened 6 years ago

ptal commented 6 years ago

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.