File tree Expand file tree Collapse file tree 2 files changed +1
-32
lines changed
powershell/ql/lib/semmle/code/powershell Expand file tree Collapse file tree 2 files changed +1
-32
lines changed Original file line number Diff line number Diff line change @@ -26,11 +26,7 @@ newtype ChildIndex =
2626 ExprRedirection ( int i ) { exists ( any ( Raw:: Cmd cmdExpr ) .getRedirection ( i ) ) } or
2727 FunDefFun ( ) or
2828 TypeDefType ( ) or
29- TypeMember ( int i ) {
30- exists ( any ( Raw:: TypeStmt typedef ) .getMember ( i ) )
31- // or
32- // hasMemberInType(_, _, i, _)
33- } or
29+ TypeMember ( int i ) { exists ( any ( Raw:: TypeStmt typedef ) .getMember ( i ) ) } or
3430 ThisVar ( ) or
3531 PipelineIteratorVar ( ) or
3632 PipelineByPropertyNameIteratorVar ( Raw:: PipelineByPropertyNameParameter p ) or
Original file line number Diff line number Diff line change @@ -1415,30 +1415,3 @@ ContentApprox getContentApprox(Content c) {
14151415 c instanceof Content:: UnknownKeyOrPositionContent and
14161416 result = TUnknownContentApprox ( )
14171417}
1418-
1419- // TFieldContent(string name) {
1420- // name = any(PropertyMember member).getName()
1421- // or
1422- // name = any(MemberExpr me).getMemberName()
1423- // } or
1424- // // A known map key
1425- // TKnownKeyContent(ConstantValue cv) { exists(cv.asString()) } or
1426- // // A known array index
1427- // TKnownPositionalContent(ConstantValue cv) { cv.asInt() = [0 .. 10] } or
1428- // // An unknown key
1429- // TUnknownKeyContent() or
1430- // // An unknown positional element
1431- // TUnknownPositionalContent() or
1432- // // A unknown position or key - and we dont even know what kind it is
1433- // TUnknownKeyOrPositionContent()
1434- /**
1435- * A unit class for adding additional jump steps.
1436- *
1437- * Extend this class to add additional jump steps.
1438- */
1439- class AdditionalJumpStep extends Unit {
1440- /**
1441- * Holds if data can flow from `pred` to `succ` in a way that discards call contexts.
1442- */
1443- abstract predicate step ( Node pred , Node succ ) ;
1444- }
You can’t perform that action at this time.
0 commit comments