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.

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

Rusty equalsMod #13

Merged
merged 23 commits into from
Oct 1, 2024
Merged
Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
2a02f5c
delete EqualsModProperty interface
tobias-rnh Aug 26, 2024
70a5651
Merge remote-tracking branch 'refs/remotes/drodt/rusty-while' into ru…
tobias-rnh Aug 26, 2024
b5adbe3
improve RenamingProgramElementProperty (WIP)
tobias-rnh Aug 27, 2024
36d760f
spotless
tobias-rnh Aug 27, 2024
53a9330
Merge remote-tracking branch 'refs/remotes/drodt/rusty' into rusty-eq…
tobias-rnh Sep 19, 2024
3b17c09
delete empty files leftover from merge
tobias-rnh Sep 19, 2024
47d8e27
handle more cases in RenamingProgramElementProperty
tobias-rnh Sep 19, 2024
e694892
implement equals methods for literal expressions
tobias-rnh Sep 23, 2024
0ce444c
change how IdentPattern is handled in RenamingProgramElementProperty
tobias-rnh Sep 23, 2024
222baef
write tests for RenamingProgramElementProperty
tobias-rnh Sep 23, 2024
ce66b3a
change package of EnhancedStringBuffer
tobias-rnh Sep 23, 2024
e2576d3
make literal equals methods null-safe
tobias-rnh Sep 23, 2024
02e2a78
use names instead of identifiers in NameAbstractionTable to handle pr…
tobias-rnh Sep 25, 2024
8eddd9e
write tests for RenamingProgramElementProperty
tobias-rnh Sep 26, 2024
c1d674d
delete ProofIrrelevancyProperty.java
tobias-rnh Sep 26, 2024
6223542
move tests out of BasicTest
tobias-rnh Sep 26, 2024
1f28afa
make hidden children visible for RenamingProgramElementProperty
tobias-rnh Sep 26, 2024
7594208
add hashCode methods to literals
tobias-rnh Sep 26, 2024
91c4581
match hashCodeModThisProperty to equalsModThisProperty
tobias-rnh Sep 27, 2024
2727a85
fix issue where programs with modality were not considered equal
tobias-rnh Sep 29, 2024
0b05908
spotless
tobias-rnh Sep 29, 2024
cfac148
implement a few equals and hashCode methods for RustyProgramElements
tobias-rnh Sep 29, 2024
29489e1
remove todo
tobias-rnh Sep 30, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
make literal equals methods null-safe
tobias-rnh committed Sep 23, 2024
commit e2576d306a5b39116089c2bd939985979d326df8
Original file line number Diff line number Diff line change
@@ -35,7 +35,7 @@ public String toString() {

@Override
public boolean equals(Object obj) {
if (obj.getClass() != this.getClass()) {
if (obj == null || obj.getClass() != this.getClass()) {
return false;
}
return value == (((BooleanLiteralExpression) obj).value);
Original file line number Diff line number Diff line change
@@ -77,7 +77,7 @@ public String toString() {

@Override
public boolean equals(Object obj) {
if (obj.getClass() != this.getClass()) {
if (obj == null || obj.getClass() != this.getClass()) {
return false;
}
return value.equals(((IntegerLiteralExpression) obj).value)