Changeset 304 for lex/trunk/jsp

Show
Ignore:
Timestamp:
06/29/08 21:04:07 (6 months ago)
Author:
chris
Message:

Allow selection of two arguments for the result predicate of an LS, e.g.
be-at(x,y).

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • lex/trunk/jsp/lsedit.js

    r87 r304  
    8383                if (f.ls_endpoint[1].checked) 
    8484                { 
    85                         ls += " & INGR " + f.ls_pred_2.value +  
    86                                 "(<" + selected(f.ls_arg_2).value + ">)"; 
     85                        ls += " & INGR " + f.ls_pred_2.value + "("; 
     86                        var args = selected(f.ls_arg_2).value.split(",") 
     87                        for (var i = 0; i < args.length; i++) 
     88                        { 
     89                                ls += "<" + args[i] + ">"; 
     90                                if (i < args.length - 1) 
     91                                { 
     92                                        ls += ", "; 
     93                                } 
     94                        } 
     95                        ls += ")"; 
    8796                } 
    8897        } 

  • lex/trunk/jsp/lsedit.jsp

    r261 r304  
    742742                                                /> 
    743743                                </td> 
    744                                 <td> 
    745                                         <p>This must be done in an instant (punctual)</p> 
     744                                <td>This must be done in an instant (punctual) 
    746745                                </td> 
    747746                        </tr> 
    …… 
    888887                                                ? "SELECTED " : "" 
    889888                                        %>>&lt;y&gt;</option> 
     889                                        <option value="x,y" <%=  
     890                                                current.getResultPredicateArg() != null && 
     891                                                current.getResultPredicateArg().equals("x,y")  
     892                                                ? "SELECTED " : "" 
     893                                        %>>&lt;x&gt;, &lt;y&gt;</option> 
    890894                                        </select> 
    891895                                </td>