dev 契约锁

P15GEN2\59518

2024-05-29 d4210c7c4b04abde20037ea8aa0f54ef8a2649aa

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
package foundation.util;
 
import java.util.HashSet;
 
public class CaseInsensitiveSet extends HashSet<String> {
 
    private static final long serialVersionUID = 1L;
 
    @Override
    public boolean contains(Object value) {
        if (value == null) {
            return false;
        }
        
        String lower = ((String)value).toLowerCase();
        return super.contains(lower);
    }
 
    @Override
    public boolean add(String value) {
        if (value == null) {
            return false;
        }
        
        String lower = ((String)value).toLowerCase();
        return super.add(lower);
    }
 
    @Override
    public boolean remove(Object value) {
        if (value == null) {
            return false;
        }
        
        String lower = ((String)value).toLowerCase();
        return super.remove(lower);
    }
    
}