// 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;
}
