Clean the code
This commit is contained in:
@@ -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)
|
||||
|
||||
-3
@@ -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
@@ -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
@@ -1,3 +1,3 @@
|
||||
fun foo(s: String?) contract [returns() implies (s != null)] {
|
||||
s ?: throw NullArgumentException()
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user