remove location for arguments/parameters print node

erik-krogh · erik-krogh · commit 74243d39aa0d · 2020-10-15T09:48:55.000+02:00
diff --git a/javascript/ql/src/semmle/javascript/PrintAst.qll b/javascript/ql/src/semmle/javascript/PrintAst.qll
@@ -245,8 +245,6 @@ private module PrintJavaScript {
     override PrintAstNode getChild(int childIndex) {
       result.(ElementNode).getElement() = invk.getArgument(childIndex)
     }
-
-    override Location getLocation() { result = invk.getLocation() }
   }
 
   /**
@@ -269,8 +267,6 @@ private module PrintJavaScript {
     override PrintAstNode getChild(int childIndex) {
       result.(ElementNode).getElement() = invk.getTypeArgument(childIndex)
     }
-
-    override Location getLocation() { result = invk.getLocation() }
   }
 
   /**
@@ -424,8 +420,6 @@ private module PrintJavaScript {
     override PrintAstNode getChild(int childIndex) {
       result.(ElementNode).getElement() = f.getParameter(childIndex)
     }
-
-    override Location getLocation() { result = f.getLocation() }
   }
 
   /**
@@ -446,8 +440,6 @@ private module PrintJavaScript {
     override PrintAstNode getChild(int childIndex) {
       result.(ElementNode).getElement() = f.getTypeParameter(childIndex)
     }
-
-    override Location getLocation() { result = f.getLocation() }
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -245,8 +245,6 @@ private module PrintJavaScript {`
`245`	`245`	`override PrintAstNode getChild(int childIndex) {`
`246`	`246`	`result.(ElementNode).getElement() = invk.getArgument(childIndex)`
`247`	`247`	`}`
`248`		`-`
`249`		`- override Location getLocation() { result = invk.getLocation() }`
`250`	`248`	`}`
`251`	`249`
`252`	`250`	`/**`
`@@ -269,8 +267,6 @@ private module PrintJavaScript {`
`269`	`267`	`override PrintAstNode getChild(int childIndex) {`
`270`	`268`	`result.(ElementNode).getElement() = invk.getTypeArgument(childIndex)`
`271`	`269`	`}`
`272`		`-`
`273`		`- override Location getLocation() { result = invk.getLocation() }`
`274`	`270`	`}`
`275`	`271`
`276`	`272`	`/**`
`@@ -424,8 +420,6 @@ private module PrintJavaScript {`
`424`	`420`	`override PrintAstNode getChild(int childIndex) {`
`425`	`421`	`result.(ElementNode).getElement() = f.getParameter(childIndex)`
`426`	`422`	`}`
`427`		`-`
`428`		`- override Location getLocation() { result = f.getLocation() }`
`429`	`423`	`}`
`430`	`424`
`431`	`425`	`/**`
`@@ -446,8 +440,6 @@ private module PrintJavaScript {`
`446`	`440`	`override PrintAstNode getChild(int childIndex) {`
`447`	`441`	`result.(ElementNode).getElement() = f.getTypeParameter(childIndex)`
`448`	`442`	`}`
`449`		`-`
`450`		`- override Location getLocation() { result = f.getLocation() }`
`451`	`443`	`}`
`452`	`444`	`}`
`453`	`445`