cleaning up before trace metadata

ftsrg · Aug 29, 2024 · 41f6809 · 41f6809
1 parent 67286f1
commit 41f6809
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 29 deletions.
diff --git a/...n/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegeneration/MetaTrace.kt b/...n/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegeneration/MetaTrace.kt
diff --git a/...c/main/java/hu/bme/mit/theta/analysis/algorithm/tracegeneration/TraceGenerationChecker.kt b/...c/main/java/hu/bme/mit/theta/analysis/algorithm/tracegeneration/TraceGenerationChecker.kt
@@ -4,15 +4,12 @@ import com.google.common.base.Preconditions
 import hu.bme.mit.theta.analysis.Prec
 import hu.bme.mit.theta.analysis.Trace
 import hu.bme.mit.theta.analysis.algorithm.*
+import hu.bme.mit.theta.analysis.algorithm.arg.ArgNode
+import hu.bme.mit.theta.analysis.algorithm.arg.ArgTrace
 import hu.bme.mit.theta.analysis.algorithm.cegar.Abstractor
 import hu.bme.mit.theta.analysis.expr.ExprAction
 import hu.bme.mit.theta.analysis.expr.ExprState
-import hu.bme.mit.theta.analysis.utils.ArgVisualizer
 import hu.bme.mit.theta.common.logging.Logger
-import hu.bme.mit.theta.common.visualization.Graph
-import hu.bme.mit.theta.common.visualization.writer.GraphvizWriter
-import java.io.FileWriter
-import java.io.IOException
 import java.util.function.Consumer
 
 

diff --git a/...alysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegeneration/TraceMetadata.kt b/...alysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/tracegeneration/TraceMetadata.kt
@@ -0,0 +1,16 @@
+package hu.bme.mit.theta.analysis.algorithm.tracegeneration
+
+import hu.bme.mit.theta.analysis.State
+
+/**
+ * Represents the metadata for a set of traces generated from an ARG
+ * The following information is created/collected here:
+ * - a unique identifier for each trace
+ * - a unique id for each state in each trace
+ * - coverages (how?)
+ */
+class TraceMetadata<S : State>() {
+    fun addTrace() {
+
+    }
+}