include "Simantics/DB"
include "Simantics/Variables"
include "Simantics/Ontologies"

include "http://www.simantics.org/Modeling-1.2/SCLQuery" as SCLQuery

importJava "org.simantics.scl.compiler.errors.CompilationError" where
    data CompilationError

importJava "org.simantics.scl.ui.editor.TextAndErrors" where
    data TextAndErrors
    createTextAndErrors :: String -> [CompilationError] -> TextAndErrors

createSCLModuleAction :: Resource -> <Proc> ()
createSCLModuleAction res = do
  syncWrite (\() -> createSCLModuleDefault res)
  ()

createPGraphAction :: Resource -> <Proc> ()
createPGraphAction res = do
  syncWrite (\() -> createPGraphDefault res)
  ()

createSCLValueIndependent :: Resource -> String -> <WriteGraph> Resource
createSCLValueIndependent valueType expression = do
    value = newResource ()
    claim value L0.InstanceOf valueType
    claimRelatedValue value L0.SCLValue.expression expression
    value

createSCLValue :: Resource -> Resource -> Resource -> String -> <WriteGraph> Resource
createSCLValue container predicate valueType expression = do
    value = createSCLValueIndependent valueType expression
    claim container predicate value
    value

setExpression :: Variable -> String -> <WriteGraph> ()
setExpression self expression = do
    res = represents self
    claimRelatedValue res L0.SCLValue.expression expression

importJava "org.simantics.modeling.ModelingUtils" where
    createSCLModuleDefault :: Resource -> <WriteGraph> ()
    createPGraphDefault :: Resource -> <WriteGraph> ()
    createSCLModule :: Resource -> String -> <WriteGraph> ()

effect SCL 
    "scl" 
    "org.simantics.scl.compiler.commands.CommandSession"

importJava "org.simantics.modeling.scl.SCLRealm" where
    data SCLRealm
    syncExec :: SCLRealm -> (<SCL, Proc> a) -> <Proc> a
    @JavaName refreshVariablesSync
    refreshVariables :: SCLRealm -> <Proc> ()
    
readSCLRealm :: Resource -> <ReadGraph,Proc> SCLRealm
readSCLRealm r = let
    id = relatedValue r L0.HasName
  in match sclRealmById id with
    Just realm -> realm
    Nothing -> getOrCreateSCLRealm id

importJava "org.simantics.modeling.scl.SCLSessionManager" where
    getOrCreateSCLRealm :: String -> <Proc> SCLRealm
    sclRealmById :: String -> <Proc> Maybe SCLRealm
    
importJava "org.simantics.scl.compiler.top.CommandResponse" where
    data CommandResponse = 
        @FieldNames [message, error]
        CommandResponse String Boolean

isSuccessful :: CommandResponse -> Boolean
isSuccessful (CommandResponse _ error) = not error

instance Show CommandResponse where
    show (CommandResponse message _) = message

importJava "org.simantics.scl.compiler.commands.CommandSession" where
    execute :: String -> <SCL, Proc> ()
    
    @JavaName getVariableValue
    variableValue :: String -> <SCL> a
    setVariable :: String -> Type -> a -> <SCL> ()