christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

visualfail: English interface

Browse Source 
Change-Id: I4ebe88ce8621bcef30d84065b8e6525239283863
This commit is contained in:
Horst Schirmeier
2014-12-05 10:50:19 +01:00
parent b5c261d762
commit c2b4a4fa8a
3 changed files with 19 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,12 +6,12 @@ set_time_limit(60*10);
//Datenbankverbindung aufbauen //Datenbankverbindung aufbauen
$verbindung = mysql_connect ($host,$username, $password) $verbindung = mysql_connect ($host,$username, $password)
or die ("keine Verbindung möglich. Benutzername oder Passwort sind falsch"); or die ("MySQL connection failed.");
mysql_select_db($database) or die ("Die Datenbank existiert nicht."); mysql_select_db($database) or die ("Cannot select database '$database'.");
//Kommande lesen // identify command
switch ($_GET['kommando']) { switch ($_GET['cmd']) {
case "dbTest" : dbTest();break; case "dbTest" : dbTest();break;
case "getAsmCode" : getAsmCode();break; case "getAsmCode" : getAsmCode();break;
case "asmToSourceFile" : asmToSourceFile();break; case "asmToSourceFile" : asmToSourceFile();break;

14
tools/analysis/VisualFAIL/index.php
View File

@ -46,7 +46,7 @@
<div class="container"> <div class="container">
<div class="navbar-collapse collapse"> <div class="navbar-collapse collapse">
<ul class="nav navbar-nav"> <ul class="nav navbar-nav">
<li class="active"><a href="#">Rückabbildung</a></li> <li class="active"><a href="#">Result Mapping</a></li>
<li><a href="#about">Aggregation</a></li> <li><a href="#about">Aggregation</a></li>
<!-- <!--
<li class="dropdown"> <li class="dropdown">
@ -65,12 +65,12 @@
<div class="col-md-2"> <div class="col-md-2">
<!-- Main component for a primary marketing message or call to action --> <!-- Main component for a primary marketing message or call to action -->
<div class="panel panel-default"> <div class="panel panel-default">
<div class="panel-heading">Färbung</div> <div class="panel-heading">Coloring</div>
<div class="panel-body"> <div class="panel-body">
<select class="form-control" id="faerbung"> <select class="form-control" id="faerbung">
<option value="onlyRightEdge">Rechter Rand(trace.instr2)</option> <option value="onlyRightEdge">Right margin (trace.instr2)</option>
<option value="latestip">Letzte Instruktion(result.latest_ip)</option> <option value="latestip">Last instruction (result.latest_ip)</option>
<option value="normal">Äquivalenzklassen</option> <option value="normal">Equivalence classes</option>
</select> </select>
</div> </div>
</div> </div>
@ -85,13 +85,13 @@
</div> </div>
<div class="panel panel-default"> <div class="panel panel-default">
<div class="panel-heading">Variante</div> <div class="panel-heading">Variant</div>
<div class="panel-body"> <div class="panel-body">
<select class="form-control" id="variant"> <select class="form-control" id="variant">
<option></option> <option></option>
</select> </select>
<div class="text-center"> <div class="text-center">
<button type="button" class="btn btn-default btn-lg" id="analyse">Analyse</button> <button type="button" class="btn btn-default btn-lg" id="analyse">Analysis</button>
</div> </div>
</div> </div>
</div> </div>

16
tools/analysis/VisualFAIL/js/myscript.js
View File

@ -52,7 +52,7 @@ $('body').popover({
var ausgabe = ''; var ausgabe = '';
var caller = $(this); var caller = $(this);
$.getJSON("core.php", {kommando: 'getResultTypes'}, function(data) { $.getJSON("core.php", {cmd: 'getResultTypes'}, function(data) {
$.each(data, function(key, val) { $.each(data, function(key, val) {
ausgabe = ausgabe + val +': ' + caller.attr(val) + '<br>'; ausgabe = ausgabe + val +': ' + caller.attr(val) + '<br>';
}); });
@ -74,7 +74,7 @@ $('body').popover({
$(document).ready(function() { $(document).ready(function() {
//DB check //DB check
$.getJSON("core.php", {kommando: 'dbTest'}, function(data) { $.getJSON("core.php", {cmd: 'dbTest'}, function(data) {
if(data != "ok") { if(data != "ok") {
$('html').html(data); $('html').html(data);
@ -82,7 +82,7 @@ $(document).ready(function() {
}); });
//Holen der Binarys, die in der DB in der Tabelle Variant vorkommen //Holen der Binarys, die in der DB in der Tabelle Variant vorkommen
$.getJSON("core.php", {kommando: 'getBinarys'}, function(data) { $.getJSON("core.php", {cmd: 'getBinarys'}, function(data) {
$.each(data, function(key, val) { $.each(data, function(key, val) {
$('#binary').append('<option value="' + val + '">' + val + '</option>'); $('#binary').append('<option value="' + val + '">' + val + '</option>');
}); });
@ -91,7 +91,7 @@ $(document).ready(function() {
//Auswahl eines Eintrages aus den Source-Files für die Darstellung des Hochsprachencode //Auswahl eines Eintrages aus den Source-Files für die Darstellung des Hochsprachencode
$('#sourceFiles').change(function() { $('#sourceFiles').change(function() {
if($(this).val() != 'none') { if($(this).val() != 'none') {
$.getJSON("core.php", {kommando: 'getHighlevelCode', variant_id: $('#variant').val(), file_id: $(this).val(), version: $('#faerbung').val()}, function(data) { $.getJSON("core.php", {cmd: 'getHighlevelCode', variant_id: $('#variant').val(), file_id: $(this).val(), version: $('#faerbung').val()}, function(data) {
$('#hcode').html(data); $('#hcode').html(data);
@ -148,7 +148,7 @@ $(document).ready(function() {
$('#binary').change(function() { $('#binary').change(function() {
if($(this).val() != 'none') { if($(this).val() != 'none') {
$('#variant').html('<option value="none" selected="selected"></option>'); $('#variant').html('<option value="none" selected="selected"></option>');
$.getJSON("core.php", {kommando: 'getVariants', datei: $(this).val()}, function(data) { $.getJSON("core.php", {cmd: 'getVariants', datei: $(this).val()}, function(data) {
$.each(data, function(key, val) { $.each(data, function(key, val) {
$('#variant').append('<option value="' + key + '">' + val + '</option>'); $('#variant').append('<option value="' + key + '">' + val + '</option>');
}); });
@ -159,17 +159,17 @@ $(document).ready(function() {
//Analyse Button wird gedrueckt //Analyse Button wird gedrueckt
$('#analyse').button().click( function () { $('#analyse').button().click( function () {
$.getJSON("core.php", {kommando: 'getAsmCode', variant_id: $('#variant').val(), version: $('#faerbung').val()}, function(data) { $.getJSON("core.php", {cmd: 'getAsmCode', variant_id: $('#variant').val(), version: $('#faerbung').val()}, function(data) {
$('#asm').html(data); $('#asm').html(data);
}); });
$.getJSON("core.php", {kommando: 'getSourceFiles', variant: $('#variant').val()}, function(data) { $.getJSON("core.php", {cmd: 'getSourceFiles', variant: $('#variant').val()}, function(data) {
$.each(data, function(key, val) { $.each(data, function(key, val) {
$('#sourceFiles').append('<option value="' + key + '">' + val + '</option>'); $('#sourceFiles').append('<option value="' + key + '">' + val + '</option>');
}); });
}); });
$.getJSON("core.php", {kommando: 'getResultTypes'}, function(data) { $.getJSON("core.php", {cmd: 'getResultTypes'}, function(data) {
$('#fehlertypenset').html(''); $('#fehlertypenset').html('');
$.each(data, function(key, val) { $.each(data, function(key, val) {