christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

visualfail: comments, whitespace fixes

Browse Source 
Change-Id: I8821b43d7402e19c59810692ed7877bca4cec6f5
This commit is contained in:
Horst Schirmeier
2015-01-06 15:17:27 +01:00
parent 7c51ca0a63
commit b5c261d762
1 changed files with 39 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files

46
tools/analysis/VisualFAIL/core.php
View File

@ -11,8 +11,7 @@ $verbindung = mysql_connect ($host,$username, $password)
mysql_select_db($database) or die ("Die Datenbank existiert nicht."); mysql_select_db($database) or die ("Die Datenbank existiert nicht.");
//Kommande lesen //Kommande lesen
switch ($_GET['kommando']) switch ($_GET['kommando']) {
{
case "dbTest" : dbTest();break; case "dbTest" : dbTest();break;
case "getAsmCode" : getAsmCode();break; case "getAsmCode" : getAsmCode();break;
case "asmToSourceFile" : asmToSourceFile();break; case "asmToSourceFile" : asmToSourceFile();break;
@ -117,8 +116,7 @@ function getBinarys()
$ergebnis = mysql_query($abfrage); $ergebnis = mysql_query($abfrage);
while($row = mysql_fetch_object($ergebnis)) while ($row = mysql_fetch_object($ergebnis)) {
{
array_push($binarys, $row->benchmark); array_push($binarys, $row->benchmark);
} }
@ -135,8 +133,7 @@ function getVariants()
$ergebnis = mysql_query($abfrage); $ergebnis = mysql_query($abfrage);
while($row = mysql_fetch_object($ergebnis)) while ($row = mysql_fetch_object($ergebnis)) {
{
$variants[$row->id] = $row->variant; $variants[$row->id] = $row->variant;
} }
@ -151,8 +148,7 @@ function getSourceFiles()
$ergebnis = mysql_query($abfrage); $ergebnis = mysql_query($abfrage);
while($row = mysql_fetch_object($ergebnis)) while ($row = mysql_fetch_object($ergebnis)) {
{
$sourceFiles[$row->file_id] = $row->path; $sourceFiles[$row->file_id] = $row->path;
} }
@ -168,8 +164,7 @@ function asmCode()
$ergebnis = mysql_query($abfrage); $ergebnis = mysql_query($abfrage);
$content = $content; $content = $content;
while($row = mysql_fetch_object($ergebnis)) while ($row = mysql_fetch_object($ergebnis)) {
{
$content .= '<span id="' . dechex($row->instr_address) . '">' . dechex($row->instr_address) . ' ' . htmlspecialchars($row->disassemble) . '</span><br>'; $content .= '<span id="' . dechex($row->instr_address) . '">' . dechex($row->instr_address) . ' ' . htmlspecialchars($row->disassemble) . '</span><br>';
} }
echo json_encode($content); echo json_encode($content);
@ -196,8 +191,7 @@ function getAsmCode()
$content .= $temp; $content .= $temp;
} }
$content .= ' >'; $content .= ' >';
while($row = mysql_fetch_object($asmcode)) while ($row = mysql_fetch_object($asmcode)) {
{
if (array_key_exists($row->instr_address,$fehlerdaten['Daten'])) { if (array_key_exists($row->instr_address,$fehlerdaten['Daten'])) {
$content .= '<span id="' . dechex($row->instr_address) . '" class="hasFehler" '; $content .= '<span id="' . dechex($row->instr_address) . '" class="hasFehler" ';
@ -240,8 +234,8 @@ function getHighlevelCode()
$row = mysql_fetch_object($mappingInfo); $row = mysql_fetch_object($mappingInfo);
for ($i = 0; $i < $numEntrysMapping-1; $i++) // FIXME use values from DB instead
{ for ($i = 0; $i < $numEntrysMapping-1; $i++) {
if (!is_array($mappingRanges[$row->linenumber])) { if (!is_array($mappingRanges[$row->linenumber])) {
$mappingRanges[$row->linenumber] = array(); $mappingRanges[$row->linenumber] = array();
} }
@ -292,8 +286,7 @@ function getHighlevelCode()
} }
} }
while($row = mysql_fetch_object($highlevelCode)) while ($row = mysql_fetch_object($highlevelCode)) {
{
$content .= '<span id="' . $row->linenumber . '">' . $row->linenumber . ' : ' . $row->line . '</span><br>'; $content .= '<span id="' . $row->linenumber . '">' . $row->linenumber . ' : ' . $row->line . '</span><br>';
if (array_key_exists($row->linenumber, $mapping)) { if (array_key_exists($row->linenumber, $mapping)) {
$content .= '<div id="mapping">'; $content .= '<div id="mapping">';
@ -425,32 +418,25 @@ function resultsDB($variant_id, $version, $resulttypes)
} }
$maxFehler = 0; $maxFehler = 0;
while($row = mysql_fetch_object($ergebnis)) while ($row = mysql_fetch_object($ergebnis)) {
{
if ($version != 'latestip') { if ($version != 'latestip') {
if($row->instr_absolute != NULL) if ($row->instr_absolute != NULL) {
{
$results["Daten"][$row->instr_absolute] = array(); $results["Daten"][$row->instr_absolute] = array();
for ($i = 2; $i < $numfields ; $i++) for ($i = 2; $i < $numfields ; $i++) {
{
$results["Daten"][$row->instr_absolute][$fieldname[$i]] = $row->$fieldname[$i]; $results["Daten"][$row->instr_absolute][$fieldname[$i]] = $row->$fieldname[$i];
if($row->$fieldname[$i] > $results["max"][$fieldname[$i]]) if ($row->$fieldname[$i] > $results["max"][$fieldname[$i]]) {
{
$results["max"][$fieldname[$i]] = $row->$fieldname[$i]; $results["max"][$fieldname[$i]] = $row->$fieldname[$i];
} }
} }
} }
} else { } else {
if($row->latest_ip != NULL) if ($row->latest_ip != NULL) {
{
$results["Daten"][$row->latest_ip] = array(); $results["Daten"][$row->latest_ip] = array();
for ($i = 0 ; $i < $numfields ; $i++) for ($i = 0 ; $i < $numfields ; $i++) {
{
$results["Daten"][$row->latest_ip][$fieldname[$i]] = $row->$fieldname[$i]; $results["Daten"][$row->latest_ip][$fieldname[$i]] = $row->$fieldname[$i];
if($row->$fieldname[$i] > $results["max"][$fieldname[$i]]) if ($row->$fieldname[$i] > $results["max"][$fieldname[$i]]) {
{
$results["max"][$fieldname[$i]] = $row->$fieldname[$i]; $results["max"][$fieldname[$i]] = $row->$fieldname[$i];
} }
} }