implement getPolarity and forward to inner StartsWith

This commit is contained in:
Erik Krogh Kristensen
2020-03-02 21:38:22 +01:00
parent 26fd17bf39
commit 97c16929ca

View File

@@ -86,6 +86,8 @@ module StringOps {
result = this.getArgument(arg)
)
}
override boolean getPolarity() { result = inner.getPolarity() }
}
/**