#!/usr/bin/ruby -w

require 'cgi'

cgi = CGI.new
$hash = cgi.params
$mode = $hash.has_key?('mode') ? $hash['mode'][0] : "f"
$hash.update({'mode' => [$mode]})
$options = $hash.has_key?('options') ? $hash['options'][0].split : ["sc","u"]
$hash.update({'options' => [$options]})
$hash.update({'prec' => ['s']})
$hash.update({'lpo_p' => ['s']})
$hash.update({'pc' => ['p1']})
$verbose = $options.include?("v")
$tmp_dir = "/tmp"
$process = $$ 
$url = "http://cl2-informatik.uibk.ac.at/ttt/"
#$url = "http://127.0.0.1/cgi-bin/"

def trigger(action, string)
# <<EOS
# #{action}="window.location='index.cgi?#{string}'"
# EOS
  ""
end

def make(hash)
  hash.map {|x,y| "#{x}=#{y.join('+')}"}.join("&")
end

def add_pc(hash,pc,value)
  make(hash.update({'pc' => pc + [value]}))
end

def add_prec(hash,prec,value)
  make(hash.update({'prec' => prec + [value]}))
end

def add_order(hash,order,value)
  make(hash.update({'order' => order + [value]}))
end

def add_option(hash,options,value)
  make(hash.update({'options' => options + [value]}))
end

def put(hash,key,value)
  make(hash.update({key => [value]}))
end

def delete(hash,order,value)
  make(hash.update({'order' => order - [value]}))
end

def delete_pc(hash,pc,value)
  make(hash.update({'pc' => pc - [value]}))
end

def delete_prec(hash,prec,value)
  make(hash.update({'prec' => prec - [value]}))
end

def delete_option(hash,options,value)
  make(hash.update({'options' => options - [value]}))
end

def delete_options(hash,options,values)
  make(hash.update({'options' => options - values}))
end

def check(parameter,string)
  (parameter == string) ? "checked" : ""
end

def selected(bool)
  bool ? "selected" : ""
end

def checked(bool)
  bool ? "checked" : ""
end

def unchecked(bool)
  bool ? "" : "checked"
end

def radio_tag(name, value)
  "<input type=\"radio\" name=\"#{name}\" value=\"#{value}\" " +
  trigger("onclick", put($hash.dup, name, value)) + " " +
  checked($hash[name][0] == value) + ">"
end

def option_tag(name, value, label)
  "<option value=\"#{value}\" " +
  trigger("onclick", put($hash.dup, name, value)) + " " +
  selected($hash[name][0] == value) + ">" + 
  label
end

def semi
if $mode == "s" then
$semi = $hash.has_key?('semi') ? $hash['semi'][0] : "dp"
$hash.update({'semi' => [$semi]})
<<EOS
<input type="radio" name="semi" value="direct"
onClick="window.location=\
'index.cgi?#{make($hash.dup.update({'semi' => ["direct"],
'order' => ["kbo"]}))}'"
#{check($semi,"direct")}>
direct
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<input type="radio" name="semi" value="dp"
onClick="window.location=
'index.cgi?#{make($hash.dup.update({'semi' => ["dp"],'order' => []}))}'"
#{check($semi,"dp")}>
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}dp.html','explanation',
'height=500,width=500,scrollbars=yes')">dependency pairs</a>
EOS
else
""
end
end

def tableLPO(bool)
<<EOS
<tr><td>
<input type="radio" name="order" value="lpo">
LPO &nbsp;
<td>
precedence: &nbsp;
<td>
<input type="radio" name="lpo_p" value="s" checked> strict
&nbsp;&nbsp;
<td>
<input type="radio" name="lpo_p" value="q"> quasi
</tr>
EOS
end

def tableKBO(bool)
<<EOS
<tr><td>
<input type="radio" name="order" value="kbo" checked>
KBO
</tr>
EOS
end

def tableKBOdp(bool)
if bool then
<<EOS
<td>
<input type="checkbox" name="order" value="kbo"
checked>
KBO
<td>
EOS
else
<<EOS
<td>
<input type="checkbox" name="order" value="kbo"
>
KBO
<td>
EOS
end
end

def tablePOLdp(bool)
<<EOS
<td>
<input type="checkbox" name="order" value="pol">
POL &nbsp;
<td align=right>
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}coefficients.html','explanation',
'height=500,width=500,scrollbars=yes')">coefficients<a>: &nbsp;
<td> #{radio_tag("pc","p1")} 0 1
<td> #{radio_tag("pc","qm1")} -1 0 1
<td> (negative constant only)
EOS
end

#AM added this function
def tablePOLdp2(bool)
<<EOS
<td>
<td>
<td> #{radio_tag("pc","p2")} 0 1 2
<td> #{radio_tag("pc","m1")} -1 0 1
<td> <input type="checkbox" name="natural" value="yes">
natural interpretation
EOS
end

def tableLPOdp(bool)
s1 = <<EOS
<td>
<input type="checkbox" name="order" value="lpo">
LPO &nbsp;
<td>
precedence: &nbsp;
<td> #{radio_tag("lpo_p", "s")} strict
<td> #{radio_tag("lpo_p", "q")} quasi
EOS
end

def direct
$order = $hash.has_key?('order') ? $hash['order'][0].split : []
$kbo = $order.include?("kbo")
$lpo = $order.include?("lpo")
<<EOS
<table border=0>
<tr>
<td>
&nbsp;
#{tableKBO($kbo)}
#{tableLPO($lpo)}
</table>
EOS
end

def dp
$order = $hash.has_key?('order') ? $hash['order'][0].split : []
$kbo = $order.include?("kbo")
$lpo = $order.include?("lpo")
$pol = $order.include?("pol")
$af = $hash.has_key?('af') ? $hash['af'][0] : "s"
$hash.update({'af' => [$af]})
$some = $af == "s"
$more = $af == "m"
$all = $af == "a"
s1 = <<EOS
<table>
<tr>
<td>
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}af.html','explanation',
'height=500,width=500,scrollbars=yes')">argument filtering<a>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<td colspan=2>
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}base.html','explanation',
'height=500,width=500,scrollbars=yes')">base order</a>
<td colspan=2>
EOS
sc = $options.include?("sc")
s2 = if sc then
<<EOS
<input type="checkbox" name="strategy" value="s" checked
>
EOS
else
<<EOS
<input type="checkbox" name="strategy" value="s"
>
EOS
end
s3 = <<EOS
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}subterm.html','explanation',
'height=500,width=500,scrollbars=yes')">subterm criterion</a>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<td>
EOS
u = $options.include?("u")
s4 = if u then
<<EOS
<input type="checkbox" name="strategy" value="u" checked
>
EOS
else
<<EOS
<input type="checkbox" name="strategy" value="u"
>
EOS
end
s5 = <<EOS
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}usable_rules.html','explanation',
'height=500,width=500,scrollbars=yes')">usable rules</a>
</tr>
<tr>
<td>
EOS
s3a = if $some then
<<EOS
<input type="radio" name="af" value="3" checked
style="background: white"> some
EOS
else
<<EOS
<input type="radio" name="af" value="3"
style="background: white"> some
EOS
end
s3b = <<EOS
#{tableKBOdp($kbo)}
</tr>
<tr>
<td>
EOS
s6 = if $more then
<<EOS
<input type="radio" name="af" value="2" checked
style="background: white"> some more
EOS
else
<<EOS
<input type="radio" name="af" value="2"
style="background: white"> some more
EOS
end
s7 = <<EOS
#{tableLPOdp($lpo)}
</tr>
<tr>
<td>
EOS
s8 = if $all then
<<EOS
<input type="radio" name="af" value="0" checked
style="background: white"> all
EOS
else
<<EOS
<input type="radio" name="af" value="0"
style="background: white"> all
EOS
end
s9 = <<EOS
#{tablePOLdp($pol)}
</tr>
<tr>
<td>
EOS
e = $options.include?("e")
s10 = if e then
<<EOS
<input type="checkbox" name="dce" value="e" checked
>
EOS
else
<<EOS
<input type="checkbox" name="dce" value="e"
>
EOS
end
#AM added tablePOLdp2 here
s11 = <<EOS
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}enumeration.html','explanation',
'height=500,width=500,scrollbars=yes')">enumeration</a>
#{tablePOLdp2($pol)}
</tr>
</table>
EOS
  s1+s2+s3+s4+s5+s3a+s3b+s6+s7+s8+s9+s10+s11
end

def page
s1 = <<EOS

<head>
<title>Tyrolean Termination Tool </title>
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
</head>
<body bgcolor="white">
<form method="post" enctype="multipart/form-data" action="process.cgi">
<font face="Helvetica">

<h1><font color="green">T y r o l e a n &nbsp;
T e r m i n a t i o n &nbsp; T o o l</font></h1>
<table border=0 cellspacing=0 cellpadding=0>
<tr>
<td nowrap>
<font face="Helvetica">
<input type="radio" name="mode" value="f"
onClick="window.location=\
'index.cgi?#{make($hash.dup.update({'mode' => ["f"]}))}'"
#{check($mode,"f")}
>
<font color="red">FULLY AUTOMATIC MODE</font>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<input type="radio" name="mode" value="s"
onClick="window.location=\
'index.cgi?#{make($hash.dup.update({'mode' => ["s"]}))}'"
#{check($mode,"s")}
>
<font color="red">SEMI AUTOMATIC MODE</font>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
#{semi}
</font>
</td>
</tr>
</table>
<br>
<table>
<tr>
<td>
<font face="Helvetica">
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}trs.html','explanation',
'height=500,width=500,scrollbars=yes')">TRS</a>
<br>
<textarea type="text" name="trs" rows="11" cols="47"
style="background: url(#{$url}ttt.jpg)">
</textarea>
&nbsp;&nbsp;&nbsp;&nbsp;
<td>
<font face="Helvetica">
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}comment.html','explanation',
'height=500,width=500,scrollbars=yes')">comment</a>
&nbsp; (optional)
<br>
<textarea type="text" name="comment" rows="2" cols="37"
style="background: url(#{$url}ttt.jpg)"></textarea>
<br>
<font face="Helvetica">
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}bibtex.html','explanation',
'height=500,width=500,scrollbars=yes')">bibtex</a>
&nbsp; (optional)
<br>
<textarea type="text" name="bibtex" rows="6" cols="37"
style="background: url(#{$url}ttt.jpg)"></textarea>
<tr>
<td>
upload <input type="file" name="trsfile" size="29">
<td>
upload <input type="file" name="bibfile" size="19">
</table>
<br>
<table>
<tr>
<td>
<font face=Helvetica>
<input type=submit name=button value="START">
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<input type=reset name=button value="RESET"
onClick="window.location='index.cgi?#{make({})}'">
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
timeout
&nbsp;&nbsp;
<select name="timeout">
#{option_tag('t', '1', "1 second")}
#{option_tag('t', '2', "2 seconds")}
#{option_tag('t', '5', "5 seconds")}
#{option_tag('t', '10', "10 seconds")}
#{option_tag('t', '30', "30 seconds")}
#{option_tag('t', '60', "1 minute")}
#{option_tag('t', '120', "2 minutes")}
#{option_tag('t', '300', "5 minutes")}
#{option_tag('t', '600', "10 minutes")}
</select>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
EOS
sin = $options.include?("sin")
s1a = if sin then
<<EOS
<input type="checkbox" name="option" value="-sin" checked
style="background: white">
EOS
else
<<EOS
<input type="checkbox" name="option" value="-sin"
style="background: white"> 
EOS
end
s1b = <<EOS
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}sin.html','explanation',
'height=500,width=500,scrollbars=yes')">innermost termination</a>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
EOS
s2 = 
<<EOS
<td>
<input type="checkbox" name="option" value="-v"
style="background: white" 
>
EOS
s3 = <<EOS
<a href="javascript:location='index.cgi?#{make($hash)}';
window.open('#{$url}verbose.html','explanation',
'height=500,width=500,scrollbars=yes')">verbose</a>
</tr>
<tr>
<td>
<td>
EOS
sdg = $options.include?("sdg")
s4 =
<<EOS
<input type="checkbox" name="option" value="-sg"
style="background: white" >
show dependency graph
EOS
s5 = <<EOS
</tr>
</table>
<br>
</table>
#{if $mode == "s" then
case $semi; when "dp": dp; when "direct": direct; end
end}
</form>
EOS
  print "Content-Type:text/html\n\n" + s1 + s1a + s1b + s2 + s3 + s4 + s5
end

def error_out
  print "Content-Type:text/html\n\n"
  print "process: #{$process}\n\n"
  $@.each {|x| print CGI.escapeHTML(x), "<BR>\n"}
end

if __FILE__ == $0
  begin
   page
  rescue StandardError
    error_out
  rescue ScriptError 
   error_out
  end
end