Rename the Guard class
Open
enhancement
good first issue
- Dominant language
- Java
- Stars
- 4
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
As pointed out in [this comment](https://github.com/Ecdar/j-Ecdar/pull/74#discussion_r985593468) the name ``Guard`` does not make sense as it is also used to describe an invariant. Renaming ``Guard`` to ``BooleanExpression`` would make more sense.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by searching the repository for the Guard class and its references. Rename the class to BooleanExpression and update every affected reference; the work is done when no intended Guard references remain and the project still builds successfully.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- tooling
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100