Clean the code

This commit is contained in:
Arsen Nagdalian
2020-07-15 20:23:50 +03:00
parent f781a9993b
commit 1b57889773
6 changed files with 3 additions and 14 deletions
@@ -9,10 +9,6 @@ import com.intellij.lang.ASTNode
import org.jetbrains.kotlin.psi.stubs.KotlinContractEffectStub
import org.jetbrains.kotlin.psi.stubs.elements.KtStubElementTypes
//class KtContractEffect(node: ASTNode) : KtDeclarationImpl(node) {
//
//}
class KtContractEffect: KtElementImplStub<KotlinContractEffectStub> { // TODO: check constructors
public constructor(node: ASTNode): super(node)
public constructor(stub: KotlinContractEffectStub): super(stub, KtStubElementTypes.CONTRACT_EFFECT)
@@ -9,10 +9,6 @@ import com.intellij.lang.ASTNode
import org.jetbrains.kotlin.psi.stubs.KotlinPlaceHolderStub
import org.jetbrains.kotlin.psi.stubs.elements.KtStubElementTypes
//class KtContractEffectList(node: ASTNode): KtDeclarationImpl(node) {
//
//}
class KtContractEffectList : KtElementImplStub<KotlinPlaceHolderStub<KtContractEffectList>> {
public constructor(node: ASTNode): super(node)
public constructor(stub: KotlinPlaceHolderStub<KtContractEffectList>): super(stub, KtStubElementTypes.CONTRACT_EFFECT_LIST)
@@ -16,16 +16,13 @@ import org.jetbrains.kotlin.psi.stubs.impl.KotlinContractEffectStubImpl
class KtContractEffectElementType(debugName: String, psiClass: Class<KtContractEffect>) :
KtStubElementType<KotlinContractEffectStub, KtContractEffect>(debugName, psiClass, KotlinContractEffectStub::class.java) {
override fun serialize(stub: KotlinContractEffectStub, dataStream: StubOutputStream) {
// TODO("Not yet implemented")
}
override fun deserialize(dataStream: StubInputStream, parentStub: StubElement<PsiElement>?): KotlinContractEffectStub {
// TODO("Not yet implemented")
return KotlinContractEffectStubImpl(parentStub, this)
}
override fun createStub(psi: KtContractEffect, parentStub: StubElement<PsiElement>?): KotlinContractEffectStub {
// TODO("Not yet implemented")
return KotlinContractEffectStubImpl(parentStub, this)
}
}
+1 -1
View File
@@ -10,4 +10,4 @@ fun baz(num: Int?, element: MyElement, block: () -> Unit): Int contract [
return 1;
}
return 0
}
}
@@ -9,4 +9,4 @@ fun someFunctionWithTypeConstraints<T, E>(arg: E?, block: () -> T): String
block()
arg ?: throw NullArgumentException()
return "some string"
}
}
+1 -1
View File
@@ -1,3 +1,3 @@
fun foo(s: String?) contract [returns() implies (s != null)] {
s ?: throw NullArgumentException()
}
}