// 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['Bestand'])) {
if (!$del || !delBestand($_REQUEST['Bestand'])) {
$Bestand = readBestand($_REQUEST['Bestand']);
} else {
$Bestand = false;
}
// delete was a succes!
} else {
if ($new) {
$Bestand = new Bestand();
} else {
$Bestand = false;
}
}
if ($Bestand) {
writeHead("<TITLE>Bestand - Meterkast - 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) {
delBestand($ses->get_file());
$file = new Bestand(null, $_FILES['file']['name'], $ses->getId(), array());
if ($file->save() !== false) {
move_uploaded_file($_FILES['file']['tmp_name'], FILEPATH . $file->getId() . '.adl');
} else {
echo $file->getId();
$file = false;
}
} else {
if (isset($_POST['adltekst'])) {
if ($_POST['scriptname'] == '') {
$sn = 'phptekstinvoer';
} else {
$sn = $_POST['scriptname'];
}
delBestand($ses->get_file());
$file = new Bestand(null, $sn, $ses->getId(), array());
if ($file->save() !== false) {
file_put_contents(FILEPATH . $file->getId() . '.adl', $_POST['adltext']);
} else {
echo $file->getId();
$file = false;
}
} else {
$file = readBestand($ses->get_file());
}
}
DEFINE("HANDLEIDING", "Om uw bedrijfsregels te onderzoeken, kunt u een Ampersandscript aanbieden en laten analyseren. U kunt uw regels op fouten onderzoeken, conceptuele modellen bekijken, populaties bekijken en overtredingen van regels vaststellen. Ook kunt u een functionele specificatie genereren voor een informatiesysteem wat uw bedrijfsregels naleeft.<br/><br/>U kunt uw Ampersandscript op drie manieren aanbieden:<br/> * Door een .adl bestand van uw computer up te loaden<br/> * Door een eerdere versie van een script te laden<br/> * Door de Ampersandcode in het tekstveld te laden<br/><br/>Eén of meerdere bewerkingen kunnen uitgevoerd worden door op <i>Uitvoeren</i> achter de gewenste bewerking te klikken. Als een bewerking output genereert, dan verschijnt er na succesvolle uitvoering een <b>vinkje</b> dat tevens de link is naar de output. Als een bewerking geen output genereert, dan wordt een succesvolle bewerking aangegeven met een toepasselijke melding.<br/><br/>Iedere aanpassing aan het script, ook in het tekstveld, vereist dat het script opnieuw naar de server wordt gestuurd. Iedere keer als u een script naar de server stuurt, dan krijgt dit script een nieuw versienummer. Per scriptversie kunt u de verschillende soorten bewerkingen eenmaal uitvoeren. Het is niet nodig om een bewerking opnieuw uit te kunnen voeren, omdat het resultaat van een bewerking op een bepaalde versie altijd hetzelfde zal zijn. Als u eerdere resultaten van oudere versies wilt raadplegen dan kunt u de betreffende versie laden.<br/></br>Voor verdere informatie bekijk de meldingen onder de andere informatie symbolen.");
DEFINE("SCRIPTNAAM", "Als u het script herlaadt, dan krijgt het script een nieuw versienummer. U kunt deze versie een voor u herkenbare scriptnaam geven.");
DEFINE("ADLTEKST", "U kunt het Ampersandscript in het tekstveld wijzigen. Wijzigingen moeten via de knop <b>Script wijzigingen laden</b> geladen worden. Een gewijzigd script krijgt een nieuw versienummer.");
DEFINE("SESSIELADEN", "Een eerdere versie van een script kunt u opnieuw laden. De links naar de resultaten van de bewerkingen, die u destijds heeft uitgevoerd op dit script, worden getoond. Ook kunt u de nog niet op dit script uitgevoerde bewerkingen uitvoeren.");
