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
    • 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: