Remove old arguments-array position

This commit is contained in:
Asger F
2024-08-12 13:58:42 +02:00
parent ed33a6e91b
commit bbb1c8c374
2 changed files with 1 additions and 6 deletions

View File

@@ -790,7 +790,6 @@ newtype TParameterPosition =
MkPositionalLowerBound(int n) { n = [0 .. getMaxArity()] } or
MkThisParameter() or
MkFunctionSelfReferenceParameter() or
MkArgumentsArrayParameter() or // TODO: remove
MkStaticArgumentArray() or
MkDynamicArgumentArray()
@@ -809,8 +808,6 @@ class ParameterPosition extends TParameterPosition {
predicate isFunctionSelfReference() { this = MkFunctionSelfReferenceParameter() }
predicate isArgumentsArray() { this = MkArgumentsArrayParameter() } // TODO: remove
predicate isStaticArgumentArray() { this = MkStaticArgumentArray() }
predicate isDynamicArgumentArray() { this = MkDynamicArgumentArray() }
@@ -824,8 +821,6 @@ class ParameterPosition extends TParameterPosition {
or
this.isFunctionSelfReference() and result = "function"
or
this = MkArgumentsArrayParameter() and result = "deprecated-arguments-array"
or
this.isStaticArgumentArray() and result = "static-argument-array"
or
this.isDynamicArgumentArray() and result = "dynamic-argument-array"

View File

@@ -35,7 +35,7 @@ private predicate positionName(ParameterPosition pos, string operand) {
or
pos.isFunctionSelfReference() and operand = "function"
or
pos.isArgumentsArray() and operand = "arguments-array"
pos.isDynamicArgumentArray() and operand = "arguments-array" // TODO: remove and handle automatically
or
operand = pos.asPositionalLowerBound() + ".."
}