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 {
^