Skip to content

Commit

Permalink
Merge pull request #181 from NBQian/PED-Case-Sensitive-bugfix
Browse files Browse the repository at this point in the history
fix ped bug where commands consider names in a case-sensitive manner.
  • Loading branch information
Yufannnn authored Apr 6, 2023
2 parents 3942443 + b51057b commit 62f7037
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
12 changes: 6 additions & 6 deletions src/main/java/seedu/address/model/ModelManager.java
Original file line number Diff line number Diff line change
Expand Up @@ -154,7 +154,7 @@ public boolean equals(Object obj) {
public boolean hasDuplicateName(String name) {
int count = 0;
for (Student s : filteredPersons) {
if (s.getName().toString().contains(name)) {
if (s.getName().toString().toLowerCase().contains(name.toLowerCase())) {
count++;
}
}
Expand All @@ -165,7 +165,7 @@ public boolean hasDuplicateName(String name) {
public boolean hasDuplicateNameAdd(String name) {
int count = 0;
for (Student s : filteredPersons) {
if (s.getName().toString().contains(name)) {
if (s.getName().toString().toLowerCase().contains(name.toLowerCase())) {
count++;
}
}
Expand All @@ -176,7 +176,7 @@ public boolean hasDuplicateNameAdd(String name) {
public boolean hasDuplicateNameEdit(String name, Integer index) {
int count = 0;
for (int i = 0; i < filteredPersons.size(); i++) {
if (filteredPersons.get(i).getName().toString().contains(name) && i != index) {
if (filteredPersons.get(i).getName().toString().toLowerCase().contains(name.toLowerCase()) && i != index) {
count++;
}
}
Expand All @@ -190,7 +190,7 @@ public boolean hasDuplicateNameEdit(String name, Integer index) {
public boolean hasExtendedName(String name) {
int count = 0;
for (Student s : filteredPersons) {
if (name.contains(s.getName().toString())) {
if (name.toLowerCase().contains(s.getName().toString().toLowerCase())) {
count++;
}
}
Expand All @@ -201,7 +201,7 @@ public boolean hasExtendedName(String name) {
public boolean hasExtendedNameEdit(String name, Integer index) {
int count = 0;
for (int i = 0; i < filteredPersons.size(); i++) {
if (name.contains(filteredPersons.get(i).getName().toString()) && i != index) {
if (name.toLowerCase().contains(filteredPersons.get(i).getName().toString().toLowerCase()) && i != index) {
count++;
}
}
Expand All @@ -211,7 +211,7 @@ public boolean hasExtendedNameEdit(String name, Integer index) {
@Override
public boolean noSuchStudent(String name) {
for (Student s : filteredPersons) {
if (s.getName().toString().contains(name)) {
if (s.getName().toString().toLowerCase().contains(name.toLowerCase())) {
return false;
}
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ public NamePredicate(List<String> names) {
@Override
public boolean test(Student student) {
for (String name : names) {
if (student.getName().toString().contains(name)) {
if (student.getName().toString().toLowerCase().contains(name.toLowerCase())) {
return true;
}
}
Expand Down

0 comments on commit 62f7037

Please sign in to comment.