Diff of /examples/sqlgen/README.txt [495079] .. [6de8ee] Maximize Restore

  Switch to unified view

a/examples/sqlgen/README.txt b/examples/sqlgen/README.txt
...
...
84
    the top-level dictionary is multi-row-name (this can be anything, it
84
    the top-level dictionary is multi-row-name (this can be anything, it
85
    doesn't match anything in the schema).  Its value is a tuple of
85
    doesn't match anything in the schema).  Its value is a tuple of
86
    dictionaries with the indicated column_names as keys and values from the
86
    dictionaries with the indicated column_names as keys and values from the
87
    database.
87
    database.
88
88
89
run.py
89
driver.py
90
run_sqlite3.py
90
driver_sqlite3.py
91
    These have a debug "cursor" class that can be used instead of a real
91
    These have a debug "cursor" class that can be used instead of a real
92
    database cursor.  The debug cursor class does not require a database
92
    database cursor.  The debug cursor class does not require a database
93
    connection and returns dummy data from any SELECT call.
93
    connection and returns dummy data from any SELECT call.
94
94
95
    Import either run (for mysql) or run_sqlite3, for example:
95
    Import either driver (for mysql) or driver_sqlite3, for example:
96
96
97
    >>> import run_sqlite3
97
    >>> import driver_sqlite3
98
98
99
    Test functions:
99
    Test functions:
100
100
101
    >>> run_sqlite3.init()
101
    >>> driver_sqlite3.init()
102
            Creates a pyke engine and calls load_schema.
102
            Creates a pyke engine and calls load_schema.
103
    >>> run_sqlite3.run()
103
    >>> driver_sqlite3.run()
104
            Loops on "goal: " prompt.  Type a goal, or trace/untrace rule_name.
104
            Loops on "goal: " prompt.  Type a goal, or trace/untrace rule_name.
105
            Empty string terminates the loop.  Examples:
105
            Empty string terminates the loop.  Examples:
106
106
107
                goal: get_data((movie), (title, year, length))
107
                goal: get_data((movie), (title, year, length))
108
                goal: get_data((director), (director_name, (movies, (), title, year))
108
                goal: get_data((director), (director_name, (movies, (), title, year))