Add feature extractors for SQLException

[vlsi]

Platform (all, jvm, js): jvm Extension (none, kotlin 1.3): none

Code related feature

import java.sql.SQLException

val Expect<SQLException>.errorCode: FeatureExpect<SQLException, Int>
    get() = feature("errorCode", SQLException::getErrorCode)

fun Expect<SQLException>.errorCode(assertionCreator: Expect<Int>.() -> Unit) =
    feature("errorCode", SQLException::getErrorCode, assertionCreator)

val Expect<SQLException>.sqlState: FeatureExpect<SQLException, String>
    get() = feature("sqlCode", SQLException::getSQLState)

fun Expect<SQLException>.sqlState(assertionCreator: Expect<String>.() -> Unit) =
    feature("sqlCode", SQLException::getSQLState, assertionCreator)

I wonder if that can be autogenerated with something like https://github.com/robstoll/atrium/issues/1358 when building Atrium. Apparently, it does not make sense for everybody to re-generate the extractors, however, it might be nice if the accessors like that could be auto-generated in Atrium.

[robstoll]

I don't see a reason why we cannot generate it but until we have #1358 someone could already start and implement it manually (including samples etc.) :slightly_smiling_face:

[rafiya2003]

can I work on this?

[robstoll]

sure, let me know in case you need more info in the description (you can also take a look at older good first issues.

[robstoll]

@rafiya2003 do you need help?

[rafiya2003]

yes

[robstoll]

what help do you need? have you started with something?

[BereKanters]

Hey, can I work on this?

[robstoll]

@BereKanters sure are you still working in the other one (build matrix)? Otherwise unasign please