Query System&

SketchSystems.spec

Query System&

  Query Panel State
    user input -> Processing
  
    Initial
      user submits -> Executing
  
    Processing
      Process Pending*
        request failed -> Failed
        request succeeded -> Process Succeeded
    
      Process Succeeded
        expression not ok -> Failed
        expression ok and not submitted -> Dirty
        expression ok and eq submitted -> Executed
  
    Dirty
      user submits -> Executing

    Failed
    
    Executing
      execution failed -> Failed
      execution succeeded -> Executed
  
    Executed
      user submits -> Executing

  Workbench Wrapper State
    query panel executing -> New URL Parameters
    user navigation -> New URL Parameters
      
    New URL Parameters*
      process parameters -> WBGettingType

    WBGettingType
      process failed -> WBFailed
      process succeeded and ok -> WBRunWithType?

    WBFailed
    
    WBRunWithType?
      Boolean? -> Boolean
      Stream? -> Stream
      Other? -> Other
    
    WBRunWithType
      Boolean
        GettingDbQuery
          request failed -> WBFailed
          request succeeded -> FetchingDbResults
        
        FetchingDbResults
          request failed -> WBFailed
          request succeeded -> ReceivedDbResults
                
        ReceivedDbResults
          fetch more -> FetchingDbResults
        
      Stream
        GettingStreamId
          request failed -> WBFailed
          request succeeded -> FetchingStreamResults

        FetchingStreamResults
          request failed -> WBFailed
          request succeeded -> ReceivedStreamResults

        ReceivedStreamResults
          fetch more -> FetchingStreamResults

      Other
        EvaluatingExpression
          request failed -> WBFailed
          request succeeded -> ReceivedExpression

       ReceivedExpression