Commit2116400

committed

RefineLegacyForLoopCondition

1 parent82f9adc commit2116400Copy full SHA for 2116400

File tree

+13

-4

lines changed

+13

-4

lines changed

Lines changed: 13 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -389,12 +389,21 @@ class LegacyForLoopCondition extends RelationalOperation {`
`389`	`389`	`ExprloopBound;`
`390`	`390`
`391`	`391`	`LegacyForLoopCondition(){`
`392`		`-loopCounter=this.getAnOperand().getAChild*()and`
`393`		`-loopBound=this.getAnOperand()and`
`394`		`-loopCounter.getTarget()=getAnIterationVariable(forLoop)and`
`395`		`-loopBound!=loopCounter`
	`392`	`+this=forLoop.getCondition()and`
	`393`	`+exists(ExprloopCounterExpr\|`
	`394`	`+loopCounterExpr=this.getAnOperand()and`
	`395`	`+loopBound=this.getAnOperand()and`
	`396`	`+loopCounter=loopCounterExpr.getAChild*()and`
	`397`	`+loopCounter.getTarget()=getAnIterationVariable(forLoop)and`
	`398`	`+loopBound!=loopCounterExpr`
	`399`	`+)`
`396`	`400`	`}`
`397`	`401`
	`402`	`+/**`
	`403`	`+ * Gets the for-loop this expression is a termination condition of.`
	`404`	`+ */`
	`405`	`+ForStmtgetForLoop(){result=forLoop}`
	`406`	`+`
`398`	`407`	`/**`
`399`	`408`	`* Gets the variable access to the loop counter variable, appearing in this loop condition.`
`400`	`409`	`*/`

Comments

(0)