Skip to content

[FEATURE REQUEST] Base classes as interfaces #255

New issue
New issue
Closed
#259
Closed
[FEATURE REQUEST] Base classes as interfaces#255
#259
Assignees
lucaneg
Labels
‼ priority:p1Priority planning - level 1🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSA🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms🛠 type:refactoringRefactoring of the codebase
Milestone
0.1b8
@lucaneg

Description

@lucaneg
lucaneg
opened on Dec 12, 2022

Description
Base classes (e.g., BaseLattice) that have no state should be interfaces with default methods, so that implementers can inherit from different classes.

Metadata

Metadata

Assignees

Labels

‼ priority:p1Priority planning - level 1🎊 resolution:resolvedBug or feature resolved - might not have been merged to master yet🏨 scope:infrastructureWork regarding the general infrastructure and functioning of LiSA🔍 scope:analysisWork regarding abstract domains or fixpoint algorithms🛠 type:refactoringRefactoring of the codebase

Type

No type

Projects

LiSA

Status

Merged

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions