Objects support #259
Objects support #259
Conversation
CaelmBleidd
force-pushed
the
caelmbleidd/types
branch
from
4aa9d64 to
271dfac
Compare
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -5,8 +5,10 @@ | |||
| import org.jacodb.ets.base.EtsArrayAccess | |||
| import org.jacodb.ets.base.EtsAssignStmt | |||
| import org.jacodb.ets.base.EtsCallStmt | |||
| import org.jacodb.ets.base.EtsClassType | |||
Check warning
Code scanning / detekt
Detects unused imports Warning
| @@ -22,8 +24,10 @@ | |||
| import org.usvm.StepResult | |||
| import org.usvm.StepScope | |||
| import org.usvm.UInterpreter | |||
| import org.usvm.api.evalTypeEquals | |||
Check warning
Code scanning / detekt
Detects unused imports Warning
| @@ -0,0 +1,17 @@ | |||
| package org.usvm.machine.types | |||
Check warning
Code scanning / detekt
Detects missing final newlines Warning
| @@ -0,0 +1,17 @@ | |||
| package org.usvm.machine.types | |||
|
|
|||
| import com.jetbrains.rd.framework.util.RdCoroutineScope.Companion.override | |||
Check warning
Code scanning / detekt
Detects unused imports Warning
| override fun <R> accept(visitor: EtsType.Visitor<R>): R { | ||
| error("Should not be called") | ||
| } | ||
| } |
Check warning
Code scanning / detekt
Checks whether files end with a line separator. Warning
No description provided.