import "Simantics/DB"
import "Simantics/Variables"
import "JavaBuiltin" as Java

importJava "org.simantics.document.server.DocumentProperties" where
    data DocumentProperties

importJava "org.simantics.document.server.io.IConsole" where
    data IConsole
    addMessage :: IConsole -> String -> <Proc> ()
    sendEvent :: IConsole -> String -> String -> Vector Dynamic -> <Proc> ()

importJava "org.simantics.document.server.io.IDocument" where
    data IDocument
    elementIdToObjectId :: IDocument -> String -> <Proc> String
    getDocumentURI :: IDocument -> <Proc> String
    getSessionGUID :: IDocument -> <Proc> String

importJava "org.simantics.document.server.io.ITableCell" where
    data ITableCell

importJava "org.simantics.document.server.io.ITreeTableCell" where
    data ITreeTableCell

importJava "org.simantics.document.server.io.IFont" where
    data IFont
    
    @JavaName getFamily
    fontFamily :: IFont -> <Proc> Maybe String
    @JavaName getStyle
    fontStyle :: IFont -> <Proc> Maybe String
    @JavaName getHeight
    fontHeight :: IFont -> <Proc> Integer

importJava "org.simantics.document.server.io.IColor" where
    data IColor

importJava "org.simantics.modeling.services.ComponentNamingStrategy" where
    data ComponentNamingStrategy

importJava "org.simantics.document.server.handler.EventHandler" where
    data EventHandler

importJava "org.simantics.document.server.handler.AbstractEventHandler" where
    data AbstractEventHandler

importJava "org.simantics.document.server.bean.Command" where
    data Command

importJava "org.simantics.document.server.bean.DataDefinition" where
    data DataDefinition

importJava "org.simantics.document.server.io.CommandContext" where
    data CommandContext

    @JavaName getString
    possibleString :: CommandContext -> String -> Maybe String

    @JavaName getValue
    possibleValue :: CommandContext -> String -> Maybe a

    @JavaName getValue
    justValue :: CommandContext -> String -> a

    @JavaName containsKey
    containsKey :: CommandContext -> String -> Boolean
    
    getKeys :: CommandContext -> [String]

importJava "org.simantics.document.server.io.CommandContextMutable" where
    data CommandContextMutable

    @JavaName putString
    putString :: CommandContextMutable -> String -> String -> <Proc> CommandContextMutable
    
    putValue :: CommandContextMutable -> String -> a -> <Proc> CommandContextMutable

    merge :: CommandContextMutable -> CommandContext -> <Proc> CommandContextMutable    

importJava "org.simantics.document.server.io.CommandContextImpl" where

    @JavaName create
    commandContext :: () -> CommandContextMutable

instance Coercible CommandContextMutable CommandContext where
    coerce = Java.unsafeCoerce

cloneCommandContext :: CommandContext -> <Proc> CommandContextMutable
cloneCommandContext context = merge (commandContext ()) context

instance Show CommandContext where
    show ctx = printContext ctx

importJava "org.simantics.document.server.io.CommandResult" where
    data CommandResult

importJava "org.simantics.document.server.serverResponse.ServerResponse" where

    @JavaName create
    commandResult :: Integer -> String -> CommandContextMutable -> CommandResult

importJava "org.simantics.document.server.Functions" where

    @JavaName putTuple
    putTuple :: CommandContextMutable -> String -> a -> CommandContextMutable

    @JavaName getTuples
    getTuples :: CommandContext -> String -> [Dynamic]

    printContext :: CommandContext -> String

    commandList :: Variable -> <ReadGraph> [Command]

    dataDefinitions :: Variable -> <ReadGraph> [DataDefinition]

    @JavaName "dataDefinitions"
    computeDataDefinitions :: Variable -> <ReadGraph> [DataDefinition]

    emptyOnClick :: () -> <ReadGraph> AbstractEventHandler
    
    writeEventHandler :: Variable -> (Variable -> (String -> Maybe String) -> <WriteGraph> String) -> <ReadGraph> AbstractEventHandler
    readEventHandler :: Variable -> (Variable -> (String -> Maybe String) -> <ReadGraph> String) -> <ReadGraph> AbstractEventHandler
    eventHandler :: ((String -> Maybe String) -> String) -> <ReadGraph> AbstractEventHandler

    readEventHandler2 :: (CommandContext -> <ReadGraph,Proc> Maybe CommandResult) -> <ReadGraph> AbstractEventHandler
    writeEventHandler2 :: (CommandContext -> <WriteGraph,Proc> Maybe CommandResult) -> <ReadGraph> AbstractEventHandler
    eventHandler2 :: (CommandContext -> <Proc> Maybe CommandResult) -> <ReadGraph> AbstractEventHandler
    
    responseHandler :: Variable -> String -> <ReadGraph> AbstractEventHandler

    sclStateVariable :: Variable -> Variable -> String -> <ReadGraph> Variable
    sclStateValueOrDefault :: Variable -> Variable -> String -> a -> <ReadGraph> a
    setSclStateValue :: Variable -> Variable -> String -> a -> <WriteGraph> ()
    
    projectComponentState :: Variable -> String -> a -> <ReadGraph> a
    setProjectComponentState :: Variable -> String -> a -> <WriteGraph> ()

    documentModelContribution :: Resource -> <ReadGraph> [Variable]
    documentModelContributionLabel :: Variable -> <ReadGraph> String
    
    @JavaName getPropertyValueCached
    propertyValueCached_ :: Variable -> String -> Binding a -> <ReadGraph> a
    
    stateVariable :: Variable -> <ReadGraph> Variable
    
    compileDocumentSCLValueExpression :: Variable -> <ReadGraph> String
    compileDocumentSCLHandlerValueExpression :: Variable -> <ReadGraph> String

    primitiveProperties :: <Proc> DocumentProperties

contextVariable :: Variable -> <ReadGraph> Variable
contextVariable var = propertyValue (variableParent var) "input"
    
propertyValueCached :: Serializable a => Typeable a => Variable -> String -> <ReadGraph> a
propertyValueCached var prop = propertyValueCached_ var prop binding
    
displayValue :: Variable -> String -> <ReadGraph> String
displayValue var str = propertyValue (property var str) "HasDisplayValue"

displayValue0 :: Variable -> <ReadGraph> String
displayValue0 var = propertyValue var "HasDisplayValue"

consoleLog :: CommandContext -> String -> ()
consoleLog context message = match possibleValue context "console" with
  Nothing -> ()
  Just console -> runProc $ addMessage console message

contextDocument :: CommandContext -> <Proc> IDocument
contextDocument ctx = justValue ctx "__document__"