CarState.kt

@BelongsToContract(CarContract::class)
class CarState(private val owningBank: Party,
               private val holdingDealer: Party,
               private val manufacturer: Party,
               private val vin: String,
               private val licensePlateNumber: String,
               private val make: String,
               private val model: String,
               private val dealershipLocation: String) : ContractState {
    
    private override val participants: MutableList<AbstractParty> = ArrayList()

    // our state takes all these parameters as input to the constructor
    init {
        participants.add(owningBank)
        participants.add(holdingDealer)
        participants.add(manufacturer)
    }
}