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
package foundation.monitor;
 
import java.util.Stack;
 
public class Phase {
    private String code;
    private String name;
    private int no;
    private String noString;
 
    public Phase(String code, String name) {
        this.code = code;
        this.name = name;
        this.no = 1;
        this.noString = "1.";
    }
 
    public String getCode() {
        return code;
    }
 
    public String getName() {
        return name;
    }
 
    public void setNo(Phase priorPhase, Stack<Phase> parents) {
        if (priorPhase != null) {
            no = priorPhase.no + 1;
        }
 
        noString = "";
 
        for (Phase parent : parents) {
            noString = parent.no + "." + noString;
        }
 
        noString = noString + no + ".";
    }
 
    public String getNoString() {
        return noString;
    }
 
}