-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
62 lines (61 loc) · 2.8 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
<html>
<head>
<title>ALP v7.0.4</title>
<script src="ALP7.0.4.js"></script>
<script>
sbmComentario='%';
function Analizar(str)
{
Conclusoes=[];
Elementos=[];
Variaveis=[];
Constantes=[];
Regras=[];
document.getElementById('conclusoes').innerHTML='<center style=\'font-size:27px;\'>Aguarde um momento!</center>Eu estou pensando...';
var linhas=str.split('\n');
for(var i=0;i<linhas.length;i++)
{
if(linhas[i].indexOf(sbmComentario)!=0){
var e=Parse(linhas[i]);
if(!e)AdicionarConclusao("Erro: Não foi possível interpretar a linha "+(i+1)+"!");
else if(e.Definir(TRUE)==FALSE)AdicionarConclusao("Erro: Contradição na linha "+(i+1)+"!");
}
}
mostrarConclusoes();
}
function mostrarConclusoes()
{
var str = '<center style=\'font-size:27px;\'>Conclusões:</center>';
var cor = ['#ffffff', '#ffffff'];
for(var i=0;i<Conclusoes.length;i++)
{
str += '<div style=\'font-size:27px;color:' + cor[i % 2] + '\'>' + (i + 1) + ') ' + Conclusoes[i] + '</div>';
}
if (Conclusoes.length == 0) str += 'Não foi possível chegar a qualquer conclusão!';
document.getElementById('conclusoes').innerHTML=str;
}
</script>
<head>
<body bgcolor="#000000" onload="source=document.getElementById('source');source.focus();//source.select();">
<center>
<div style='font-family:monospace;font-weight:bold;font-size:47px;color:#ffffff;'>Analisador de Lógica Proposicional</div>
<table><tr><td>
<textarea id="source" rows="18" style="padding-left:10px;border:solid #ffffff 3px;background:#000000;color:#ffffff;font-weight:bold;width:600px;height:400px;font-size:27px;" cols="100">%------------Símbolos-------%
% Comentário: % %
% Implicação: -> %
% BiImplicação: <-> %
% Conjunção: & %
% Disjunção: | %
%---------------------------%
%Exemplo abaixo:
Hx->Mx
Hs</textarea></td><td>
<div id="conclusoes" style="background:#000000;border:solid #ffffff 3px;font-weight:bold;color:#ffffff;width:600px;height:400px;background:#000000;font-family:monospace;overflow-y:scroll;">
<center style='font-size:27px;'>Conclusões:</center>
Click no botão ">>EXECUTAR" para gerar conclusães!
</div></td></tr></table>
<input type="button" style='background:#000000;border:solid #ffffff 3px;font-family:monospace;font-weight:bold;font-size:47px;width:1200px;color:#ffffff;' value=">>EXECUTAR" onclick="Analizar(document.getElementById('source').value);"/>
<div style="color:white;position:absolute;bottom:10px;width:99%;text-align:center;">Desenvolvido por Lucas Santana no CPAI sob orientação do professor Samir</div>
</center>
</body>
</html>