Changeset 304

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> 
  • lex/trunk/src/com/qwirx/lex/Lex.java

    r259 r304  
    272272                    new DbColumn("Has_Endpoint",       "ENUM('0','1')", false), 
    273273                    new DbColumn("Result_Predicate",   "VARCHAR(40)", true), 
    274                     new DbColumn("Result_Predicate_Arg",   "VARCHAR(1)", true), 
     274                    new DbColumn("Result_Predicate_Arg", 
     275                            "ENUM('x','y','x,y')", true), 
    275276                                } 
    276277                        ).check(dbconn, true);