hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-28 12:53:49 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update qldoc

Browse Source
This commit is contained in:
luchua-bc
2020-11-09 11:23:48 +00:00
parent d568eb635f
commit d765c7bbb2
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
java/ql/src/semmle/code/java/NumberFormatException.qll
View File

@@ -1,6 +1,8 @@
/** Provides classes and predicates for reasoning about `java.lang.NumberFormatException`. */
import java
/** Calls a string to number conversion */
/** A call to a string to number conversion. */
private class SpecialMethodAccess extends MethodAccess {
predicate isValueOfMethod(string klass) {
this.getMethod().getName() = "valueOf" and
@@ -33,7 +35,7 @@ private class SpecialMethodAccess extends MethodAccess {
}
}
/** Constructs a number from its string representation */
/** A `ClassInstanceExpr` that constructs a number from its string representation. */
private class SpecialClassInstanceExpr extends ClassInstanceExpr {
predicate isStringConstructor(string klass) {
this.getType().(RefType).hasQualifiedName("java.lang", klass) and
@@ -51,12 +53,12 @@ private class SpecialClassInstanceExpr extends ClassInstanceExpr {
}
}
/** The class `java.lang.NumberFormatException` */
/** The class `java.lang.NumberFormatException`. */
class NumberFormatException extends RefType {
NumberFormatException() { this.hasQualifiedName("java.lang", "NumberFormatException") }
}
/** Holds if `java.lang.NumberFormatException` is caught */
/** Holds if `java.lang.NumberFormatException` is caught. */
predicate catchesNFE(TryStmt t) {
exists(CatchClause cc, LocalVariableDeclExpr v |
t.getACatchClause() = cc and
@@ -65,7 +67,7 @@ predicate catchesNFE(TryStmt t) {
)
}
/** Holds if `java.lang.NumberFormatException` is thrown */
/** Holds if `java.lang.NumberFormatException` can be thrown. */
predicate throwsNFE(Expr e) {
e.(SpecialClassInstanceExpr).throwsNFE() or e.(SpecialMethodAccess).throwsNFE()
}