]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.backup.db/scl/Simantics/Backup.scl
added backup.db and backup.ontology plugins
[simantics/platform.git] / bundles / org.simantics.backup.db / scl / Simantics / Backup.scl
1 import "Simantics/DB"\r
2 \r
3 importJava "org.simantics.backup.IBackupProvider" where\r
4     data IBackupProvider\r
5 \r
6 importJava "org.simantics.backup.db.ModelledBackup" where\r
7     modelledBackup :: \r
8       (<e> ()) -> \r
9       (String -> Integer -> <e> (() -> <e> Maybe String)) -> \r
10       (<e> ()) -> \r
11       (String -> Integer -> <e> ()) -> \r
12       <Proc> IBackupProvider\r
13     \r
14 importJava "org.simantics.backup.BackupProviderService" where\r
15     backup :: String -> Integer -> <Proc> ()