Skip to content

Commit 2a96856

Browse files
committed
C++/C#: Document IRPositionalParameter
1 parent cce99f9 commit 2a96856

File tree

5 files changed

+15
-0
lines changed

5 files changed

+15
-0
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/IRVariable.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -298,6 +298,9 @@ class IRParameter extends IRAutomaticVariable {
298298
int getIndex() { none() }
299299
}
300300

301+
/**
302+
* An IR variable representing a positional parameter.
303+
*/
301304
class IRPositionalParameter extends IRParameter, IRAutomaticUserVariable {
302305
final override int getIndex() { result = getVariable().(Language::Parameter).getIndex() }
303306
}

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRVariable.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -298,6 +298,9 @@ class IRParameter extends IRAutomaticVariable {
298298
int getIndex() { none() }
299299
}
300300

301+
/**
302+
* An IR variable representing a positional parameter.
303+
*/
301304
class IRPositionalParameter extends IRParameter, IRAutomaticUserVariable {
302305
final override int getIndex() { result = getVariable().(Language::Parameter).getIndex() }
303306
}

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRVariable.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -298,6 +298,9 @@ class IRParameter extends IRAutomaticVariable {
298298
int getIndex() { none() }
299299
}
300300

301+
/**
302+
* An IR variable representing a positional parameter.
303+
*/
301304
class IRPositionalParameter extends IRParameter, IRAutomaticUserVariable {
302305
final override int getIndex() { result = getVariable().(Language::Parameter).getIndex() }
303306
}

csharp/ql/src/semmle/code/csharp/ir/implementation/raw/IRVariable.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -298,6 +298,9 @@ class IRParameter extends IRAutomaticVariable {
298298
int getIndex() { none() }
299299
}
300300

301+
/**
302+
* An IR variable representing a positional parameter.
303+
*/
301304
class IRPositionalParameter extends IRParameter, IRAutomaticUserVariable {
302305
final override int getIndex() { result = getVariable().(Language::Parameter).getIndex() }
303306
}

csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/IRVariable.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -298,6 +298,9 @@ class IRParameter extends IRAutomaticVariable {
298298
int getIndex() { none() }
299299
}
300300

301+
/**
302+
* An IR variable representing a positional parameter.
303+
*/
301304
class IRPositionalParameter extends IRParameter, IRAutomaticUserVariable {
302305
final override int getIndex() { result = getVariable().(Language::Parameter).getIndex() }
303306
}

0 commit comments

Comments
 (0)