Chopping and Dicing

src/slicing/static/dicer.ts

@@ -0,0 +1,18 @@
+import type { DataflowGraph } from '../../dataflow/graph/graph'
+import type { NormalizedAst } from '../../r-bridge/lang-4.x/ast/model/processing/decorate'
+import type { SlicingCriteria } from '../criterion/parse'
+import type { SliceResult } from './slicer-types'
+import { staticSlicing } from './static-slicer'
+
+
+
+export function staticDicing(graph: DataflowGraph, ast: NormalizedAst, endCriteria: SlicingCriteria, startCriteria: SlicingCriteria, threshold = 75):  Readonly<SliceResult> {
+	const backwardsSlice = staticSlicing(graph, ast, endCriteria, threshold)
+	const forwardSlice = forwardSlicing(graph, ast, startCriteria, threshold)
+
+	return { timesHitThreshold: backwardsSlice.timesHitThreshold, result: backwardsSlice.result.intersection(forwardSlice.result), decodedCriteria: backwardsSlice.decodedCriteria }
+}
+
+function forwardSlicing(graph: DataflowGraph, ast: NormalizedAst, criteria: SlicingCriteria, threshold = 75): Readonly<SliceResult> {
+	return staticSlicing(graph, ast, criteria, threshold)
+}

test/functionality/slicing/dicing/simple-tests.ts

@@ -0,0 +1,15 @@
+import { assertSliced, withShell } from '../../_helper/shell'
+import type { SlicingCriteria } from '../../../../src/slicing/criterion/parse'
+
+describe.only('Simple', withShell(shell => {
+	describe('Base Dicing Cases', () => {
+		const testcases: [{ name: string, input: string, endCriterion: SlicingCriteria, startCriterion: SlicingCriteria, expected: string }] 
+		= [
+			{ name: 'Simple Example', input: 'a = 3\nb = 4\nc = a + b', endCriterion: ['3@c'], startCriterion: ['1@a'], expected: 'a = 3\nc = a + b' }
+		]
+
+		for(const testcase of testcases) {
+			assertSliced(testcase.name, shell, testcase.input, testcase.endCriterion, testcase.expected)
+		}
+	})
+}))

test/functionality/slicing/slicing.spec.ts

@@ -11,4 +11,7 @@ describe('Slicing', () => {
 	describe('Slicing-Criterion', () => {
 		requireAllTestsInFolder(path.join(__dirname, 'slicing-criterion'))
 	})
+	describe('DIcing', () => {
+		requireAllTestsInFolder(path.join(__dirname, 'dicing'))
+	})
 })