Rename TS to Ts prefix #249
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| ): UExpr<out USort> { | ||
| return mkEq(lhs, rhs) | ||
| } | ||
|
|
||
| override fun TSContext.resolveFakeObject( | ||
| override fun TsContext.resolveFakeObject( |
Check warning
Code scanning / detekt
One method should have one responsibility. Long methods tend to handle many things at once. Prefer smaller methods to make them easier to understand. Warning
| @@ -99,7 +99,7 @@ | |||
| ) | |||
| } | |||
|
|
|||
| protected inline fun <reified T1 : TSObject, reified T2 : TSObject, reified T3 : TSObject, reified R : TSObject> discoverProperties( | |||
| protected inline fun <reified T1 : TsObject, reified T2 : TsObject, reified T3 : TsObject, reified R : TsObject> discoverProperties( | |||
Check warning
Code scanning / detekt
Reports lines with exceeded length Warning test
| @@ -99,7 +99,7 @@ | |||
| ) | |||
| } | |||
|
|
|||
| protected inline fun <reified T1 : TSObject, reified T2 : TSObject, reified T3 : TSObject, reified R : TSObject> discoverProperties( | |||
| protected inline fun <reified T1 : TsObject, reified T2 : TsObject, reified T3 : TsObject, reified R : TsObject> discoverProperties( | |||
Check warning
Code scanning / detekt
Line detected, which is longer than the defined maximum line length in the code style. Warning test
| @@ -122,7 +122,7 @@ | |||
| ) | |||
| } | |||
|
|
|||
| protected inline fun <reified T1 : TSObject, reified T2 : TSObject, reified T3 : TSObject, reified T4 : TSObject, reified R : TSObject> discoverProperties( | |||
| protected inline fun <reified T1 : TsObject, reified T2 : TsObject, reified T3 : TsObject, reified T4 : TsObject, reified R : TsObject> discoverProperties( | |||
Check warning
Code scanning / detekt
Reports lines with exceeded length Warning test
| @@ -122,7 +122,7 @@ | |||
| ) | |||
| } | |||
|
|
|||
| protected inline fun <reified T1 : TSObject, reified T2 : TSObject, reified T3 : TSObject, reified T4 : TSObject, reified R : TSObject> discoverProperties( | |||
| protected inline fun <reified T1 : TsObject, reified T2 : TsObject, reified T3 : TsObject, reified T4 : TsObject, reified R : TsObject> discoverProperties( | |||
Check warning
Code scanning / detekt
Line detected, which is longer than the defined maximum line length in the code style. Warning test
| import org.usvm.memory.URegisterStackLValue | ||
| import org.usvm.model.UModelBase | ||
| import org.usvm.types.first | ||
| import org.usvm.types.single | ||
|
|
||
| class TSTestResolver( | ||
| private val state: TSState, | ||
| class TsTestResolver( |
Check warning
Code scanning / detekt
If a source file contains only a single non-private top-level class or object, the file name should reflect the case-sensitive name plus the .kt extension. Warning test
| } | ||
|
|
||
| private fun resolvePrimitive( | ||
| expr: UExpr<out USort>, | ||
| type: EtsPrimitiveType, | ||
| ): TSObject = when (type) { | ||
| ): TsObject = when (type) { |
Check warning
Code scanning / detekt
Braces do not comply with the specified policy Warning test
| return isTruthy(x.number) | ||
| } | ||
|
|
||
| fun isTruthy(x: TSObject.TSClass): Boolean { | ||
| fun isTruthy(x: TsObject.TsClass): Boolean { |
Check warning
Code scanning / detekt
A function that only returns a constant is misleading. Consider declaring a constant instead. Warning test
| return isTruthy(x.number) | ||
| } | ||
|
|
||
| fun isTruthy(x: TSObject.TSClass): Boolean { | ||
| fun isTruthy(x: TsObject.TsClass): Boolean { |
Check warning
Code scanning / detekt
Function parameter is unused and should be removed. Warning test
No description provided.