Provide a means in query framework to efficiently determine if a query is $isolated

XMLWordPrintableJSON

    • Type: Improvement
    • Resolution: Done
    • Priority: Minor - P4
    • 3.3.3
    • Affects Version/s: None
    • Component/s: Querying
    • None
    • Fully Compatible
    • Quint Iteration 7, Query 11 (03/14/16)
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None

      Right now, $isolated is handled as an expression tree node. When update wants to find out if the current op is $isolated, it needs to walk the children of the expression root.

      It would probably be better if something like CanonicalQuery obtained this information during the initial parse and cached it.

      The $isolated node probably doesn't need to stay in the tree.

            Assignee:
            Benjamin Murphy (Inactive)
            Reporter:
            Andrew Morrow (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

              Created:
              Updated:
              Resolved: