Fix style of docs

cpg-neo4j/src/main/kotlin/de/fraunhofer/aisec/cpg_vis_neo4j/Schema.kt

@@ -366,7 +366,8 @@ class Schema {
             }
 
             if (inheritedRels[entityLabel]?.isNotEmpty() == true) {
-                out.println("<details markdown><summary>Inherited Relationships</summary>")
+                out.println("<div class=\"papers\" markdown>")
+                out.println("??? info \"Inherited Relationships\"")
                 out.println()
                 removeLabelDuplicates(inheritedRels[entityLabel])?.forEach { inherited ->
                     var current = classInfo
@@ -379,14 +380,15 @@ class Schema {
                         }
                         hierarchy[current]?.first?.let { current = it }
                     }
+                    out.print("    ")
                     out.println(
                         getBoxWithClass(
                             "inherited-relationship",
                             "[${inherited.second}](#${toConcatName(toLabel(baseClass) + inherited.second)})"
                         )
                     )
                 }
-                out.println("</details>")
+                out.println("</div>")
                 out.println()
             }
 
@@ -403,12 +405,13 @@ class Schema {
                 out.println()
             }
             if (inheritedProperties[entityLabel]?.isNotEmpty() == true) {
-                out.println("<details markdown><summary>Inherited Properties</summary>")
+                out.println("<div class=\"papers\" markdown>")
+                out.println("??? info \"Inherited Properties\"")
                 removeLabelDuplicates(inheritedProperties[entityLabel])?.forEach {
-                    out.println("${it.second} : ${it.first}")
+                    out.println("    ${it.second} : ${it.first}")
                     out.println()
                 }
-                out.println("</details>")
+                out.println("</div>")
                 out.println()
             }
         }

docs/docs/CPG/specs/dfg-function-summaries.md

@@ -27,84 +27,84 @@ An example of a file could look as follows:
 
 === "JSON"
 
-  ```json
-  [
-    {
-      "functionDeclaration": {
-        "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage",
-        "methodName": "java.util.List.addAll",
-        "signature": ["int", "java.util.Object"]
+    ```json
+    [
+      {
+        "functionDeclaration": {
+          "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage",
+          "methodName": "java.util.List.addAll",
+          "signature": ["int", "java.util.Object"]
+        },
+        "dataFlows": [
+          {
+            "from": "param1",
+            "to": "base",
+            "dfgType": "full"
+          }
+        ]
       },
-      "dataFlows": [
-        {
-          "from": "param1",
-          "to": "base",
-          "dfgType": "full"
-        }
-      ]
-    },
-    {
-      "functionDeclaration": {
-        "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage",
-        "methodName": "java.util.List.addAll",
-        "signature": ["java.util.Object"]
+      {
+        "functionDeclaration": {
+          "language": "de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage",
+          "methodName": "java.util.List.addAll",
+          "signature": ["java.util.Object"]
+        },
+        "dataFlows": [
+          {
+            "from": "param0",
+            "to": "base",
+            "dfgType": "full"
+          }
+        ]
       },
-      "dataFlows": [
-        {
-          "from": "param0",
-          "to": "base",
-          "dfgType": "full"
-        }
-      ]
-    },
-    {
-      "functionDeclaration": {
-        "language": "de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage",
-        "methodName": "memcpy"
-      },
-      "dataFlows": [
-        {
-          "from": "param1",
-          "to": "param0",
-          "dfgType": "full"
-        }
-      ]
-    }
-  ]
-  ```
+      {
+        "functionDeclaration": {
+          "language": "de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage",
+          "methodName": "memcpy"
+        },
+        "dataFlows": [
+          {
+            "from": "param1",
+            "to": "param0",
+            "dfgType": "full"
+          }
+        ]
+      }
+    ]
+    ```
 
 === "YAML"
 
-  ```yml
-  - functionDeclaration:
-      language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage
-      methodName: java.util.List.addAll
-      signature:
-        - int
-        - java.util.Object
-    dataFlows:
-      - from: param1
-        to: base
-        dfgType: full
-
-  - functionDeclaration:
-      language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage
-      methodName: java.util.List.addAll
-      signature:
-        - java.util.Object
-    dataFlows:
-      - from: param0
-        to: base
-        dfgType: full
-
-  - functionDeclaration:
-      language: de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage
-      methodName: memcpy
-    dataFlows:
-      - from: param1
-        to: param0
-        dfgType: full
-  ```
+    ```yaml
+    - functionDeclaration:
+        language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage
+        methodName: java.util.List.addAll
+        signature:
+          - int
+          - java.util.Object
+        dataFlows:
+          - from: param1
+            to: base
+            dfgType: full
+    
+    - functionDeclaration:
+        language: de.fraunhofer.aisec.cpg.frontends.java.JavaLanguage
+        methodName: java.util.List.addAll
+        signature:
+          - java.util.Object
+        dataFlows:
+          - from: param0
+            to: base
+            dfgType: full
+    
+    - functionDeclaration:
+        language: de.fraunhofer.aisec.cpg.frontends.cxx.CLanguage
+        methodName: memcpy
+        dataFlows:
+          - from: param1
+            to: param0
+            dfgType: full
+    ```
 
 This file configures the following edges:
 

docs/docs/CPG/specs/dfg.md

@@ -2,10 +2,6 @@
 
 The Data Flow Graph (DFG) is built as edges between nodes. Each node has a set of incoming data flows (`prevDFG`) and outgoing data flows (`nextDFG`). In the following, we summarize how different types of nodes construct the respective data flows.
 
-{:style="background:#dddddd"}
-[Statement](#estatement)
-
-<span class="child">[Statement](#estatement)</span>
 
 ## CallExpression
 
@@ -73,38 +69,29 @@ For this reason, if the assignment's ast parent is not a `Block` (i.e., a block
 If the `lhs` consists of multiple variables (or a tuple), we try to split up the `rhs` by the index. If we can't do this, the whole `rhs` flows to all variables in `lhs`.
 
 Scheme:
-```mermaid
-flowchart LR
-    node([AssignExpression]) -.- rhs(rhs);
-      rhs -- DFG --> lhs;
-    node([AssignExpression]) -.- lhs(lhs);
-```
 
-```mermaid
-flowchart LR
-  node([AssignExpression]) -.- lhs(lhs);
-  node([AssignExpression]) -.- rhs(rhs);
-  rhs -- DFG --> lhs;
-  rhs -- DFG --> node;
-```
-
-```mermaid
-flowchart LR
-  A[assignment.rhs] -- DFG --> assignment.lhs;
-  subgraph S[If the ast parent is not a Block]
-    direction LR
-    assignment.rhs -- DFG --> assignment;
-  end
-  A --> S;
-```
-
-If size of `lhs` and `rhs` is equal:
-```mermaid
-flowchart LR
-    node([AssignExpression]) -.- rhs("rhs[i]");
-      rhs -- "for all i: DFG[i]" --> lhs;
-    node([AssignExpression]) -.- lhs("lhs[i]");
-```
+* Standard case:
+  ```mermaid
+  flowchart LR
+      node([AssignExpression]) -.- rhs(rhs);
+        rhs -- DFG --> lhs;
+      node([AssignExpression]) -.- lhs(lhs);
+  ```
+* If the assignment happens inside another statement/expression (not inside a `Block`):
+  ```mermaid
+  flowchart LR
+      node([AssignExpression]) -.- lhs(lhs);
+      node([AssignExpression]) -.- rhs(rhs);
+      rhs -- DFG --> lhs;
+      rhs -- DFG --> node;
+  ```
+* Since `lhs` and `rhs` can consist of multiple values, if size of `lhs` and `rhs` is equal, we actually make the DFG-edges for each indexed value:
+  ```mermaid
+  flowchart LR
+      node([AssignExpression]) -.- rhs("rhs[i]");
+        rhs -- "for all i: DFG[i]" --> lhs;
+      node([AssignExpression]) -.- lhs("lhs[i]");
+  ```
 
 ### Case 2: Compound assignment (`operatorCode: *=, /=, %=, +=, -=, <<=, >>=, &=, ^=, |=` )
 
@@ -431,7 +418,7 @@ Interesting fields:
 
 The value of the iterable flow to the `VariableDeclaration` in the `variable`. Since some languages allow arbitrary logic, we differentiate between two cases:
 
-### Case 1. The `variable` is a `DeclarationStatement`.
+#### Case 1. The `variable` is a `DeclarationStatement`.
 
 This is the case for most languages where we can have only a variable in this place (e.g., `for(e in list)`). Here, we get the declaration(s) in the statement and add the DFG from the iterable to this declaration.
 
@@ -445,7 +432,7 @@ Scheme:
     iterable -- for all i: DFG --> declarations
 ```
 
-### Case 2. The `variable` is another type of `Statement`.
+#### Case 2. The `variable` is another type of `Statement`.
 
 In this case, we assume that the last VariableDeclaration is the one used for looping. We add a DFG edge only to this declaration.