Code Coverage for D:\Apache2.4.33\htdocs\iaLib\inc_ia\Work\src\Workflow\WF

	Code Coverage
	Classes and Traits			Functions and Methods				Lines
Total	0.00% covered (danger)	0.00%	0 / 1	0.00% covered (danger)	0.00%	0 / 12	CRAP	0.00% covered (danger)	0.00%	0 / 89
WF_template	0.00% covered (danger)	0.00%	0 / 1	0.00% covered (danger)	0.00%	0 / 12	1892.00	0.00% covered (danger)	0.00%	0 / 89
__construct				0.00% covered (danger)	0.00%	0 / 1	2.00	0.00% covered (danger)	0.00%	0 / 3
setup				0.00% covered (danger)	0.00%	0 / 1	6.00	0.00% covered (danger)	0.00%	0 / 11
sortByEst				0.00% covered (danger)	0.00%	0 / 1	12.00	0.00% covered (danger)	0.00%	0 / 5
validate				0.00% covered (danger)	0.00%	0 / 1	30.00	0.00% covered (danger)	0.00%	0 / 10
set_next				0.00% covered (danger)	0.00%	0 / 1	30.00	0.00% covered (danger)	0.00%	0 / 15
prevNextAll_deduce				0.00% covered (danger)	0.00%	0 / 1	6.00	0.00% covered (danger)	0.00%	0 / 4
prevAll_deduce				0.00% covered (danger)	0.00%	0 / 1	20.00	0.00% covered (danger)	0.00%	0 / 5
nextAll_deduce				0.00% covered (danger)	0.00%	0 / 1	12.00	0.00% covered (danger)	0.00%	0 / 5
remove_fakeStart				0.00% covered (danger)	0.00%	0 / 1	12.00	0.00% covered (danger)	0.00%	0 / 4
cycles_detect				0.00% covered (danger)	0.00%	0 / 1	20.00	0.00% covered (danger)	0.00%	0 / 5
earlyTimes_calculate				0.00% covered (danger)	0.00%	0 / 1	42.00	0.00% covered (danger)	0.00%	0 / 9
lateTimes_calculate				0.00% covered (danger)	0.00%	0 / 1	30.00	0.00% covered (danger)	0.00%	0 / 13

1	<?php
2	namespace ia\Work\Workflow;
3
4	use function array_combine;
5	use function array_key_exists;
6	use Exception;
7	use function implode;
8	use function uasort;
9
10	/**
11	* Workflow template: define tiempos estandard y sequencia de actividades.
12	*
13	* Valida y calcula agregando est,lst,eet,let, slack, next, prev activity, prevAll, nextAll.
14	* Main usage: get user input for wf template: validate, acompleta, para guardar.
15	*
16	* est earliest start time, int número de periodos: dias/horas
17	* lst latest start time
18	* eet earliest end time
19	* let latest end time
20	* slack holgura
21	*
22	*
23	* plan=>[
24	* eet=>ya es fecha
25	*
26	*
27	* ]
28	*
29	* rule invalid id "s\ttart"
30	*
31	* activityList =
32	* [
33	* 'a'=>['duration'=>1, 'label'=>'Act: a', 'myData'=>1],
34	* 'b'=>['duration'=>3],
35	* 'c'=>['duration'=>4,'prev'=>['a','b'=>'b']],
36	* 'd'=>['duration'=>5,'prev'=>['c']],
37	* 'f'=>['duration'=>4,'prev'=>['b']],
38	* 'e'=>['duration'=>5,'prev'=>['d']],
39	* ];
40	*
41	*
42	*
43	*
44	*
45	* @version 0.0.1
46	*/
47	class WF_template {
48	use wfx;
49
50	//https://www.youtube.com/watch?v=WHkf4bE5MrE
51	//
52
53	public const FAKE_START = "st\tart";
54
55	// sprotected $durationConstant;
56
57	/**
58	* WF_template constructor.
59	* @param array $activityList
60	* @throws Exception
61	*/
62	public function __construct(array $activityList) { //, $durationOffset = 0
63	$this->activityList = $activityList;
64	//$this->durationConstant = $durationOffset;
65	//$this->durationConstant = 0;
66	$this->setup();
67
68	}
69
70	/**
71	* @throws Exception
72	*/
73	private function setup() {
74
75	$this->validate();
76
77	$start = $this->set_next();
78
79	$this->prevNextAll_deduce();
80
81	$cycles = $this->cycles_detect();
82	if(!empty($cycles)) {
83	throw new Exception("Cycles detected for activities: ". implode(", ", $cycles), self::$WF_ERROR_CYCLE);
84	}
85
86	$this->earlyTimes_calculate($start);
87	$this->lateTimes_calculate($start);
88
89	uasort($this->activityList, array($this, 'sortByEst') );
90
91	$this->remove_fakeStart();
92	}
93
94	/**
95	* @param array $a
96	* @param array $b
97	* @return int
98	*/
99	final protected function sortByEst($a, $b) {
100	if($a['est'] === $b['est']) {
101	if($a['slack'] === $b['slack']) {
102	return $a['duration'] - $b['duration'];
103	}
104	return $a['slack'] - $b['slack'];
105	}
106	return $a['est'] - $b['est'];
107	}
108
109	// [ activity_id=>[prev=>['a','b'],label=>'activity name'] ]
110
111	/**
112	* @throws Exception
113	*/
114	private function validate() {
115	foreach($this->activityList as $activity_id => &$act) {
116	$act = array_merge(
117	[ // fill if not in act
118	'id'=>$activity_id,
119	'label'=>$activity_id,
120	'prev' => [], // Inmediatly previous activitie(s)
121	],
122	$act,
123	[ // fill and replace if in act
124	'est'=>null, // Earliest start time
125	'lst'=>null, // Latest start time
126	'eet'=>null, // Earleist end time
127	'let'=>null, // Latest end time
128
129	'prevAll'=>[], // All activities before this one
130	'next'=>[], // Inmediatly following activitie(s)
131	'nextAll'=>[], // All activities that follow this one
132	'slack'=>0 // lag time, diff between eet and let
133	]
134	);
135	if(!isset($act['duration']) \|\| !is_numeric($act['duration']) \|\| $act['duration'] < 0) {
136	throw new Exception("Missing or invalid duration in activity $act[label]", self::$WF_ERROR_DURATION);
137	}
138	// reformat prev from ['a', 'b'] to ['a'=>'a', 'b'=>'b']
139	$act['prev'] = array_combine($act['prev'], $act['prev']);
140	}
141	}
142
143	/**
144	* @return array
145	* @throws Exception
146	*/
147	private function set_next() {
148	$start = [
149	'id' => self::FAKE_START,
150	'duration' => 0, // How long the activity lasts
151
152	'est' => 0, // Earliest start time
153	'lst' => 0, // Latest start time
154	'eet' => 0, // Earliest end time
155	'let' => 0, // Latest end time
156
157	'prev' => [], // Inmediatly previous activitie(s)
158	'next' => [], // Inmediatly following activitie(s)
159	];
160
161	foreach($this->activityList as $activity_id => &$act) {
162	if(empty($act['prev'])) {
163	$act['prev'][self::FAKE_START] = self::FAKE_START;
164	$start['next'][$activity_id] = $activity_id;
165	} else {
166	foreach($act['prev'] as $prev) {
167	if(empty($this->activityList[$prev])) {
168	throw new Exception("Unknown prev activity id: $prev in Activity: $act[label]", self::$WF_ERROR_ACTIVITY_NOT_FOUND);
169	}
170	$this->activityList[$prev]['next'][$activity_id] = $activity_id;
171	}
172	}
173	}
174	return $start;
175	}
176
177	/**
178	*
179	*/
180	private function prevNextAll_deduce() {
181	foreach($this->activityList as $activity_id => &$act) {
182	$this->prevAll_deduce($act['prev'], $act['prevAll']);
183	$this->nextAll_deduce($act['next'], $act['nextAll']);
184	}
185	}
186
187	/**
188	* @param array $prev
189	* @param array $prevAll
190	*/
191	private function prevAll_deduce(array $prev, array &$prevAll) {
192	foreach($prev as $prev_id) {
193	if($prev_id !== self::FAKE_START && empty($prevAll[$prev_id])) {
194	$prevAll[$prev_id] = $prev_id;
195	$this->prevAll_deduce($this->activityList[$prev_id]['prev'], $prevAll);
196	}
197	}
198	}
199
200	/**
201	* @param array $next
202	* @param array $nextAll
203	*/
204	private function nextAll_deduce(array $next, array &$nextAll) {
205	foreach($next as $next_id) {
206	if(empty($nextAll[$next_id])) {
207	$nextAll[$next_id] = $next_id;
208	$this->nextAll_deduce($this->activityList[$next_id]['next'], $nextAll);
209	}
210	}
211	}
212
213	/**
214	*
215	*/
216	private function remove_fakeStart() {
217	foreach($this->activityList as &$act) {
218	if(isset($act['prev'][self::FAKE_START])) {
219	unset($act['prev'][self::FAKE_START]);
220	}
221	}
222	}
223
224	/**
225	* @return array
226	*/
227	private function cycles_detect() {
228	$cycles = [];
229	foreach($this->activityList as $activity_id => $act) {
230	if(array_key_exists($activity_id, $act['prevAll']) \|\| array_key_exists($activity_id, $act['nextAll'])) {
231	$cycles[] = $act['label'];
232	}
233	}
234	return $cycles;
235	}
236
237	/**
238	* @param array $fromActivity
239	*/
240	private function earlyTimes_calculate(array $fromActivity) {
241	foreach($fromActivity['next'] as $activity_id) {
242	$node = &$this->activityList[$activity_id] ;
243	foreach($node['prev'] as $prev) {
244	$activity = empty($this->activityList[$prev]) ? ['eet'=>0,] : $this->activityList[$prev]; // empty es start
245	if($node['est'] === null \|\| $node['est'] < $activity['eet']) {
246	$this->activityList[$activity_id]['est'] = $activity['eet'];
247	}
248	$this->activityList[$activity_id]['eet'] = $this->activityList[$activity_id]['est'] + $node['duration']; // - $this->durationConstant;
249	$this->earlyTimes_calculate($this->activityList[$activity_id]);
250	}
251	}
252	}
253
254	/**
255	* @param array $fromActivity
256	*/
257	private function lateTimes_calculate(array &$fromActivity) {
258	if(count($fromActivity['next']) === 0) {
259	$fromActivity['let'] = $fromActivity['eet'];
260	$fromActivity['lst'] = $fromActivity['let'] - $fromActivity['duration']; // + $this->durationConstant;
261	$fromActivity['slack'] = $fromActivity['eet'] - $fromActivity['let'];
262	return;
263	}
264	foreach($fromActivity['next'] as $next_id) {
265	$this->lateTimes_calculate($this->activityList[$next_id]);
266	$node = $this->activityList[$next_id];
267	if($fromActivity['let'] === null \|\| $fromActivity['let'] > $node['lst']){
268	$fromActivity['let'] = $node['lst'];
269	}
270	$fromActivity['lst'] = $fromActivity['let'] - $fromActivity['duration']; // + $this->durationConstant;
271	$fromActivity['slack'] = $fromActivity['let'] - $fromActivity['eet'];
272	}
273	}
274	}