Merge pull request #120 from joernio/xavierp/dataflow-quick-update

xavierpinho · web-flow · commit 91359eaf9515 · 2024-12-20T16:28:25.000Z
update dataflow-semantics example
diff --git a/docs.joern.io/content/dataflow-semantics.md b/docs.joern.io/content/dataflow-semantics.md
@@ -101,7 +101,7 @@ val extraFlows = List(
 )
 
 val context = new LayerCreatorContext(cpg)
-val options = new OssDataFlowOptions(extraFlows = extraFlows)
+val options = new OssDataFlowOptions(semantics = DefaultSemantics().plus(extraFlows))
 new OssDataFlow(options).run(context)
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,7 @@ val extraFlows = List(`
`101`	`101`	`)`
`102`	`102`
`103`	`103`	`val context = new LayerCreatorContext(cpg)`
`104`		`-val options = new OssDataFlowOptions(extraFlows = extraFlows)`
	`104`	`+val options = new OssDataFlowOptions(semantics = DefaultSemantics().plus(extraFlows))`
`105`	`105`	`new OssDataFlow(options).run(context)`
`106`	`106`	```
`107`	`107`