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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
package foundation.io.object;
 
import java.util.Iterator;
 
import foundation.json.IJSONProvider;
import foundation.json.IJSONWriter;
import foundation.util.ContentBuilder;
import foundation.util.MapList;
import foundation.util.Util;
 
public class Headers implements Iterable<Header>, IJSONProvider {
 
    private MapList<String, Header> items;
    
    public Headers() {
        items = new MapList<String, Header>();
    }
 
    public void addOne(int index, String title, String value) {
        if (Util.isEmpty(title) && Util.isEmpty(value)) {
            return;
        }
        
        Header header = new Header(index, title, value);
        items.add(title, header); 
    }
 
    public void addOne(String title) {
        int index = items.size();
        Header header = new Header(index, title, null);
        items.add(title, header); 
    }
    
    public boolean contains(String title) {
        return items.contains(title);
    }
 
    public Titles getTitles() {
        Titles result = new Titles();
        
        for (Header header: items) {
            result.add(header.getTitle());
        }
        
        return result;
    }
    
    public int size() {
        return items.size();
    }
 
    public boolean isEmpty() {
        return items.isEmpty();
    }
    
    public void clear() {
        items.clear();
    }
 
    @Override
    public Iterator<Header> iterator() {
        return items.iterator();
    }
    
    @Override
    public String toString() {
        ContentBuilder builder = new ContentBuilder(", ");
        
        for (Header header: items) {
            builder.append(header.getTitle() + "(" + header.getFieldName() + ")");
        }
        
        return builder.toString();
    }
 
    @Override
    public void writeJSON(IJSONWriter writer) {
        writer.beginArray();
        
        for (Header header: items) {
            writer.beginObject();
            
            writer.write("title", header.getTitle());
            writer.write("field", header.getFieldName());
            
            writer.endObject();
        }
        
        writer.endArray();
    }
 
}