File tree Expand file tree Collapse file tree 1 file changed +16
-0
lines changed
rust/ql/lib/codeql/rust/dataflow/internal Expand file tree Collapse file tree 1 file changed +16
-0
lines changed Original file line number Diff line number Diff line change @@ -14,6 +14,16 @@ private import codeql.rust.dataflow.Ssa
1414private import codeql.rust.dataflow.FlowSummary
1515private import FlowSummaryImpl as FlowSummaryImpl
1616
17+
18+ /** @JB1 Remove, stubbed for #153 */
19+ /** A data-flow node that represents a call argument. */
20+ abstract class ArgumentNode extends Node {
21+
22+ /** Gets the call in which this node is an argument. */
23+ final DataFlowCall getCall ( ) { none ( ) }
24+ }
25+ /** @JB1 end stub for #153 */
26+
1727/**
1828 * A return kind. A return kind describes how a value can be returned from a
1929 * callable.
@@ -86,6 +96,12 @@ final class DataFlowCall extends TDataFlowCall {
8696 }
8797
8898 Location getLocation ( ) { result = this .asCallBaseExprCfgNode ( ) .getLocation ( ) }
99+
100+ //** TODO JB1: Move to subclass, monkey patching for #153 */
101+ DataFlowCallable getARuntimeTarget ( ) { none ( ) }
102+ ArgumentNode getAnArgumentNode ( ) { none ( ) }
103+ int totalorder ( ) { none ( ) }
104+ //** TODO JB1: end stubs for #153 */
89105}
90106
91107/**
You can’t perform that action at this time.
0 commit comments