fork download

class ClaimContract : Contract{
    companion object {
        @JvmStatic
        val CLAIM_CREATION_CONTRACT_ID = "com.example.contract.ClaimContract"
    }
 
    override fun verify(tx: LedgerTransaction) {
        val commandCreate = tx.commands.requireSingleCommand<ClaimContract.Commands.Create>()
        requireThat {
            val inputs= tx.inputsOfType<PolicyState>().single()
            val outputs = tx.outputsOfType<ClaimState>().single()
 
 
 
 
 
            "One input state should be there for claim" using (tx.inputStates.size==1)
            "One output states should be there for Claim" using (tx.outputStates.size==1)
            "Input State should be a PolicyState" using (tx.getInput(0) is PolicyState)
            "Output State should be a ClaimState" using((tx.getOutput(0) is ClaimState) && outputs is ClaimState)
 
            "Policy Number should not be empty" using(inputs.policyNumber.isNotEmpty())
        }
    }
 
    interface Commands : CommandData {
        class Create : Commands
    }
 

prog.kt:28:6: error: missing '}
    }
     ^
prog.kt:1:23: error: unresolved reference: Contract
class ClaimContract : Contract{
                      ^
prog.kt:7:5: error: 'verify' overrides nothing
    override fun verify(tx: LedgerTransaction) {
    ^
prog.kt:7:29: error: unresolved reference: LedgerTransaction
    override fun verify(tx: LedgerTransaction) {
                            ^
prog.kt:9:9: error: unresolved reference: requireThat
        requireThat {
        ^
prog.kt:10:41: error: unresolved reference: PolicyState
            val inputs= tx.inputsOfType<PolicyState>().single()
                                        ^
prog.kt:11:44: error: unresolved reference: ClaimState
            val outputs = tx.outputsOfType<ClaimState>().single()
                                           ^
prog.kt:17:57: error: unresolved reference: using
            "One input state should be there for claim" using (tx.inputStates.size==1)
                                                        ^
prog.kt:18:59: error: unresolved reference: using
            "One output states should be there for Claim" using (tx.outputStates.size==1)
                                                          ^
prog.kt:19:51: error: unresolved reference: using
            "Input State should be a PolicyState" using (tx.getInput(0) is PolicyState)
                                                  ^
prog.kt:19:76: error: unresolved reference: PolicyState
            "Input State should be a PolicyState" using (tx.getInput(0) is PolicyState)
                                                                           ^
prog.kt:20:51: error: unresolved reference: using
            "Output State should be a ClaimState" using((tx.getOutput(0) is ClaimState) && outputs is ClaimState)
                                                  ^
prog.kt:20:77: error: unresolved reference: ClaimState
            "Output State should be a ClaimState" using((tx.getOutput(0) is ClaimState) && outputs is ClaimState)
                                                                            ^
prog.kt:20:103: error: unresolved reference: ClaimState
            "Output State should be a ClaimState" using((tx.getOutput(0) is ClaimState) && outputs is ClaimState)
                                                                                                      ^
prog.kt:22:49: error: unresolved reference: using
            "Policy Number should not be empty" using(inputs.policyNumber.isNotEmpty())
                                                ^
prog.kt:26:26: error: unresolved reference: CommandData
    interface Commands : CommandData {
                         ^

Standard output is empty