import "Map" as Map

importJava "org.simantics.audit.AuditLogging" where
    register :: String -> <Proc> String
    log :: String -> Map.T String a -> <Proc, Exception> ()
    error :: String -> Map.T String a -> <Proc, Exception> ()
    trace :: String -> Map.T String a -> <Proc, Exception> ()
    getLogEvents :: String -> String -> String -> String -> <Proc, Exception> [String]

importJava "org.simantics.audit.server.AuditLoggingServer" where
    start :: String -> Integer -> <Proc> ()