include "Simantics/DB"
include "Simantics/Ontologies"
include "Simantics/Variables"
include "Spreadsheet/All"

createSCLQueryAction :: Resource -> <Proc> ()
createSCLQueryAction res = do
  syncWrite (\() -> createSCLQueryDefault res) 
  ()

createSCLQueryTypeAction :: Resource -> <Proc> ()
createSCLQueryTypeAction res = do
  syncWrite (\() -> createSCLQueryTypeDefault res) 
  ()

createSCLQueryDefault :: Resource -> Resource -> <WriteGraph> Resource
createSCLQueryDefault library queryType = createSCLQuery library queryType $ findFreshEscapedName "Query" library 

createSCLQuery :: Resource -> Resource -> String -> <WriteGraph> Resource
createSCLQuery library queryType name = do
    markUndoPoint ()
    module = newResource ()
    claim module L0.InstanceOf queryType
    claimRelatedValue module L0.HasName name
    claim module L0.PartOf library
    sheet = createSheet module "Sheet"
    range = createRange sheet SHEET.ExpressionRange "Range1" "queryCells $ sheetQueryValue self input"
    addCommentMetadata ("Created SCL Query " + name)
    module

createSCLQueryTypeDefault :: Resource -> <WriteGraph> Resource
createSCLQueryTypeDefault library = createSCLQueryType library $ findFreshEscapedName "QueryType" library 

createSCLQueryType :: Resource -> String -> <WriteGraph> Resource
createSCLQueryType library name = do
    markUndoPoint ()
    queryType = newResource ()
    claim queryType L0.Inherits MOD.SCLQuery
    claimRelatedValue queryType L0.HasName name
    claimAssertion queryType MOD.SCLQuery.values $ createSCLValueIndependent MOD.SCLQuery.Value "[]"
    claim queryType L0.PartOf library
    addCommentMetadata ("Created SCL Query Type " + name)
    queryType

queryValue :: Variable -> Variable -> <ReadGraph> a
queryValue variable input = do
    untypedValue $ browse (makeProxyVariable variable input) "#values" 

sheetQueryVariable :: Variable -> Variable -> <ReadGraph> Variable
sheetQueryVariable self input = do
    query = variableParent $ proxyVariableBase self
    makeProxyVariable query input

sheetQueryValue :: Variable -> Variable -> <ReadGraph> a
sheetQueryValue self input = do
    var = sheetQueryVariable self input
    untypedValue $ browse var "#values"

importJava "org.simantics.db.layer0.variable.ProxyVariables" where
    inputVariable :: Variable -> <ReadGraph> Variable
    sessionVariable :: Variable -> <ReadGraph> Variable
    proxyVariableBase :: Variable -> <ReadGraph> Variable
    makeProxyVariable :: Variable -> Variable -> <ReadGraph> Variable