forked from for-GET/http-decision-diagram
-
Notifications
You must be signed in to change notification settings - Fork 0
/
httpdd-cache-store.fsm.cosmogol
80 lines (62 loc) · 2.18 KB
/
httpdd-cache-store.fsm.cosmogol
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
Title = "HTTP Decision Diagram - Cache Store";
Version = "v1.0.201410";
Description = "An activity diagram to describe the resolution of cache storage, given various methods and headers, implemented via semantical callbacks.";
Initial = start;
Final = finish;
start:anything -> block_cache_store;
last:anything -> finish;
block_cache_store:anything -> is_method_cacheable;
is_method_cacheable:false -A2-> 0_DONT_STORE;
is_method_cacheable:true -> cache_control_has_no_store_directive;
is_status_code_cacheable:false -A7,A2-> 0_DONT_STORE;
is_status_code_cacheable:true -E7-> 1_STORE;
cache_control_has_no_store_directive:true -A3,A2-> 0_DONT_STORE;
cache_control_has_no_store_directive:false -> is_shared_cache;
is_shared_cache:false -> cache_control_has_cacheable_directive;
is_shared_cache:true -> cache_control_has_private_directive;
cache_control_has_cacheable_directive:false -> is_status_code_cacheable;
cache_control_has_cacheable_directive:true -E6,E7-> 1_STORE;
cache_control_has_private_directive:true -A4,A2-> 0_DONT_STORE;
cache_control_has_private_directive:false -> request_has_authorization;
request_has_authorization:false -D5-> cache_control_has_cacheable_directive;
request_has_authorization:true -> cache_control_has_revalidate_directive;
cache_control_has_revalidate_directive:false -A6,A2-> 0_DONT_STORE;
cache_control_has_revalidate_directive:true -C6-> cache_control_has_cacheable_directive;
0_DONT_STORE:anything -> last;
1_STORE:anything -> last;
anything,
true,
false
: message;
0_DONT_STORE,
1_STORE,
block_cache_store,
cache_control_has_cacheable_directive,
cache_control_has_no_store_directive,
cache_control_has_private_directive,
cache_control_has_revalidate_directive,
finish:D9,
is_method_cacheable,
is_shared_cache,
is_status_code_cacheable,
last,
request_has_authorization,
start:D1
: state;
cache_control_has_cacheable_directive:D6,
cache_control_has_no_store_directive:D3,
cache_control_has_private_directive:B4,
cache_control_has_revalidate_directive:B6,
is_method_cacheable:D2,
is_shared_cache:D4,
is_status_code_cacheable:D7,
last:D8,
request_has_authorization:B5
: decision;
0_DONT_STORE,
1_STORE
: status_code;
block_cache_store:C2
: block_entry;
block_cache_store
: block;