<?php
include '../core/config.php';
include '../core/RESTCalls.php';
if (!isset($_COOKIE['JEngine_ScenarioID'])) {
$JEngine_ScenarioInstanceID = "1";
$JEngine_ActivityID = "1";
$JEngine_UserID = rand(5, 100);
$JEngine_ScenarioID = ShowScenarios();
$JEngine_ScenarioID = $JEngine_ScenarioID["ids"][0];
$JEngine_Role = 'admin';
setcookie("JEngine_ScenarioID", $JEngine_ScenarioID, time() + 3600, '/', NULL, 0);
setcookie("JEngine_ScenarioInstanceID", $JEngine_ScenarioInstanceID, time() + 3600, '/', NULL, 0);
setcookie("JEngine_ActivityID", $JEngine_ActivityID, time() + 3600, '/', NULL, 0);
setcookie("JEngine_UserID", $JEngine_UserID, time() + 3600, '/', NULL, 0);
setcookie("JEngine_Role", $JEngine_Role, time() + 3600, '/', NULL, 0);
echo "generating user profile successful.<br>";
}
//if cookie is set, do ... else you could automatically generate IDs..
if (isset($_COOKIE['ScenarioID']) && $_COOKIE['JEngine_ScenarioInstanceID'] === "1") {
}
//print out form for editing values
echo "<form action='update_session_config.php' method='post'>\n JEngine_ScenarioID: <input type='text' name='ScenarioID' value='" . $_COOKIE['JEngine_ScenarioID'] . "'><br>\n JEngine_ScenarioInstanceID: <input type='text' name='ScenarioInstanceID' value='" . $_COOKIE['JEngine_ScenarioInstanceID'] . "'><br>\n JEngine_ActivityID: <input type='text' name='ActivityID' value='" . $_COOKIE['JEngine_ActivityID'] . "'><br>\n JEngine_UserID: <input type='text' name='UserID' value='" . $_COOKIE['JEngine_UserID'] . "'><br>\n JEngine_Role: <input type='text' name='Role' value='" . $_COOKIE['JEngine_Role'] . "'><br>\n <input type='submit'>\n </form> ";
if (!isset($_POST["ScenarioID"])) {
}
<?php
include '../core/config.php';
include '../core/RESTCalls.php';
$scenarios = ShowScenarios();
$ScenarioIDs = $scenarios["ids"];
foreach ($ScenarioIDs as &$scenario_values) {
echo "<hr>Scenario: <b> " . $scenario_values . "</b>";
$instances_array = ShowScenarioInstances($scenario_values);
$instances = $instances_array["ids"];
echo "<table><tr>";
foreach ($instances as &$instances_value) {
echo "<th> Instance <p>" . $instances_value . "</p>";
echo "<i>Activities as 'enabled' </i><br>";
$activities_begin = GetActivities($scenario_values, $instances_value, "enabled");
if ($activities_begin === "{empty}") {
echo "empty";
} else {
$activities_begin_array = $activities_begin["ids"];
foreach ($activities_begin_array as &$activities_begin_array_value) {
echo $activities_begin_array_value . ":" . $activities_begin["label"][$activities_begin_array_value] . "<br>";
}
}
echo "<br><i>Activities as 'terminated' </i><br>";
$activities_terminate = GetActivities($scenario_values, $instances_value, "terminated");
if ($activities_terminate === "{empty}") {
echo "empty";
} else {
$activities_terminate_array = $activities_terminate["ids"];
foreach ($activities_terminate_array as &$activities_terminate_array_value) {
echo $activities_terminate_array_value . ":" . $activities_terminate["label"][$activities_terminate_array_value] . "<br>";
