X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=docs%2FDeveloper%2FDatabase%2FFunctions.md;fp=docs%2FDeveloper%2FDatabase%2FFunctions.md;h=1552d9eeb02282f97c2fb349ed92e982c4ecda0a;hp=0000000000000000000000000000000000000000;hb=a9ec58f08ccc02e65b1cab6aedff25e0cf3c6444;hpb=5998374f7e179cfaf451c220216adc18c823047f

diff --git a/docs/Developer/Database/Functions.md b/docs/Developer/Database/Functions.md
new file mode 100644
index 000000000..1552d9eeb
--- /dev/null
+++ b/docs/Developer/Database/Functions.md
@@ -0,0 +1,15 @@
+# Intro
+
+This section deals with the following specifications
+
+* Specification of generic functions applicable in the Simantics framework
+* Specification of functions attached to types (methods)
+* Specification of functions with side-effects (operations or commands)
+* Automatically generated code based on semantic model about functions (stubs)
+
+## Specification
+
+* Functions are objects implementing the interface `org.simantics.scl.runtime.function.Function`.
+* We have a type `Value` (?) that can be adapted to an SCL value (in particular to a function).
+* We have a relation `HasType` (?) Value -> String that specifies the SCL type of the value
+* Operations are functions that return an object implementing `WriteResult`.