// do not show the interface } $buttons = ""; if (isset($_REQUEST['new'])) { $new = true; } else { $new = false; } if (isset($_REQUEST['edit']) || $new) { $edit = true; } else { $edit = false; } $del = isset($_REQUEST['del']); if (isset($_REQUEST['Pattern'])) { if (!$del || !delPattern($_REQUEST['Pattern'])) { $Pattern = readPattern($_REQUEST['Pattern']); } else { $Pattern = false; } // delete was a succes! } else { if ($new) { $Pattern = new Pattern(); } else { $Pattern = false; } } if ($Pattern) { writeHead("<TITLE>Pattern - Atlas - ADL Prototype</TITLE>" . ($edit ? '<SCRIPT type="text/javascript" src="js/edit.js"></SCRIPT>' : '<SCRIPT type="text/javascript" src="js/navigate.js"></SCRIPT>') . "\n"); if ($edit) {
function GeneratePattern($pattern, $subnumber, $addnumber) { // generate array of regex looking for $pattern with //$subnumber missing char //and $ addnumber extra char $voidlist = array(); $outputlist = array(); $sublist = delPattern($pattern, $subnumber, $voidlist, 0); foreach ($sublist as $pattern) { $outputlist = array_merge($outputlist, adPattern($pattern, $addnumber, $voidlist, 0)); } return $outputlist; }