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] Interfaces support #110

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

[FEATURE REQUEST] Interfaces support #110

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
Interfaces (compilation units with no code that force the implementers to provide implementations for all methods/functions) cannot be defined as of 0.1b1. Interprocedural analyses/callgraphs might exploit this information to refine their reasoning, as well as type analysis. 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 self-assigned this Sep 27, 2021
@lucaneg lucaneg added this to the 0.1b2 milestone Sep 27, 2021
@lucaneg lucaneg changed the title [FEATURE REQUEST] [FEATURE REQUEST] Interfaces support 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
#110 added implemented and signature cfgs, added interface units and
62f37d4 
compilation units, refactored validate and finalize unit's method,
compilation units can be abstract
VincenzoArceri added a commit that referenced this issue Jan 31, 2022
@VincenzoArceri
#110 imp interfaces, interface tests, added unit with super units class
756b23b
VincenzoArceri added a commit that referenced this issue Jan 31, 2022
@VincenzoArceri
#110 imp classes and interfaces can implement and extend multiple
dbbf28d 
interfaces
VincenzoArceri added a commit that referenced this issue Feb 1, 2022
@VincenzoArceri
#110 default methods in imp interfaces, completing tests
709bbce
VincenzoArceri added a commit that referenced this issue Feb 1, 2022
@VincenzoArceri
#110 overriding interface method test
306f097
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
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