Add some properties for specifying DFG edges more precisely (#1370)

cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/edge/Properties.kt

@@ -25,6 +25,8 @@
  */
 package de.fraunhofer.aisec.cpg.graph.edge
 
+import java.util.*
+
 /**
  * INDEX: (int) Indicates the position in a list of edges
  *
@@ -50,11 +52,29 @@ enum class Properties {
     UNREACHABLE,
     ACCESS,
     DEPENDENCE,
-    DYNAMIC_INVOKE
+    DYNAMIC_INVOKE,
+    SENSITIVITY,
+    CALLING_CONTEXT_IN,
+    CALLING_CONTEXT_OUT
 }
 
 /** The types of dependencies that might be represented in the CPG */
 enum class DependenceType {
     CONTROL,
     DATA
 }
+
+/** Sensitivity options (of DFG edges). */
+enum class SensitivitySpecifier {
+    FIELD,
+    CONTEXT;
+
+    infix fun and(other: SensitivitySpecifier) = Sensitivities.of(this, other)
+}
+
+typealias Sensitivities = EnumSet<SensitivitySpecifier>
+
+infix fun Sensitivities.allOf(other: Sensitivities) = this.containsAll(other)
+
+infix fun Sensitivities.and(other: SensitivitySpecifier) =
+    Sensitivities.of(other, *this.toTypedArray())