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

[FEATURE REQUEST] Support for abstract methods #109

Closed
lucaneg opened this issue Sep 27, 2021 · 0 comments · Fixed by #207
Closed

[FEATURE REQUEST] Support for abstract methods #109

lucaneg opened this issue Sep 27, 2021 · 0 comments · Fixed by #207
Assignees
@VincenzoArceri
Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request

Comments

@lucaneg
Copy link
Member

lucaneg commented Sep 27, 2021

Description
Abstract methods (methods with no code that force the implementers to provide an implementation) cannot be defined as of 0.1b1. Interprocedural analyses/callgraphs might exploit this information to refine their reasoning. To complete the program structure, it should be possible to define them.
@lucaneg lucaneg added 🎆 type:feature New feature or request ‼ priority:p1 Priority planning - level 1 labels Sep 27, 2021
@lucaneg lucaneg added this to the 0.1b2 milestone Sep 27, 2021
@lucaneg lucaneg self-assigned this Sep 27, 2021
@lucaneg lucaneg removed their assignment Sep 27, 2021
@lucaneg lucaneg removed this from the 0.1b2 milestone Oct 1, 2021
@lucaneg lucaneg self-assigned this Jan 21, 2022
@lucaneg lucaneg added this to the 0.1b5 milestone Jan 21, 2022
@lucaneg lucaneg added the 🏛 scope:program-structure Work regarding the program structure label Jan 21, 2022
@lucaneg lucaneg assigned VincenzoArceri and unassigned lucaneg Jan 27, 2022
VincenzoArceri added a commit that referenced this issue Jan 28, 2022
@VincenzoArceri
#109 compilation units must implement methods of abstract super units
f34fa14
VincenzoArceri added a commit that referenced this issue Feb 10, 2022
@VincenzoArceri
#109 imp abstract classes
bb7d840
VincenzoArceri added a commit that referenced this issue Feb 11, 2022
@VincenzoArceri
#109 initial support to abstract methods in compilation units
cdf5dad
VincenzoArceri added a commit that referenced this issue Feb 11, 2022
@VincenzoArceri
#109 minor changes in tests
09c8bd8
VincenzoArceri added a commit that referenced this issue Feb 11, 2022
@VincenzoArceri
#109 concrete classes cannot contain signature cfgs
69ec466
VincenzoArceri added a commit that referenced this issue Feb 14, 2022
@VincenzoArceri
#109 abstract method test
abc6d12
VincenzoArceri added a commit that referenced this issue Feb 14, 2022
@VincenzoArceri
#109 hierarchy tests with abstract methods
685f417
VincenzoArceri added a commit that referenced this issue Feb 14, 2022
@VincenzoArceri
#109 refactoring IMP frontend, refactoring validate methods for
2cbfb5e 
interface and compilation units
VincenzoArceri added a commit that referenced this issue Feb 14, 2022
@VincenzoArceri
#109 #110 completing tests
d2f6bf3
@lucaneg lucaneg modified the milestones: 0.1b5, 0.1b6 Feb 21, 2022
@lucaneg lucaneg removed this from the 0.1b6 milestone May 7, 2022
@VincenzoArceri VincenzoArceri mentioned this issue Jul 17, 2022
Merged
lucaneg added a commit that referenced this issue Oct 20, 2022
@lucaneg
Renaming classes #109 #110
aeadcd6
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Oct 21, 2022
lucaneg added a commit that referenced this issue Oct 21, 2022
@lucaneg
Major refactoring #109 #110
6f5ca9d
@lucaneg lucaneg moved this to Todo in LiSA Nov 3, 2022
@lucaneg lucaneg added this to LiSA Nov 3, 2022
@lucaneg lucaneg removed this from LiSA Nov 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@VincenzoArceri VincenzoArceri

Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Interfaces and abstract units lisa-analyzer/lisa
2 participants
@VincenzoArceri @lucaneg