2

我的 Main.daml 代码如下：

daml 1.2
module Main where

type CarId = ContractId Car -- for return type on controller actions

template Car
  with
    dealer : Party
    insurer : Party
    vin: Text
    date_vehicle_added: Date
    daily_insurance_rate: Decimal
    daily_rate_APD: Decimal
    covered: Bool --initialize to false and set to true when added
    observers : [Party]
  where
    signatory dealer

    agreement
      toText dealer <> " agrees to pay " <> toText insurer <> " at daily rate of " 

    controller dealer can
      Add_Car : CarId
        with
           startCoverage: Date
        do
        -- Return this car with the start date provided by the dealer
        create this with date_vehicle_added = startCoverage, covered = True


      Remove_Car 
        do
          archive this

setup = scenario do
  dealer1 <- getParty "Clevland_Heights"
  insurance1 <- getParty "Ins"

  car1AddCid <- submit dealer1 do
    carCid <- create Car with
      dealer = dealer1
      insurer = insurance1
      vin = "1A"
      daily_insurance_rate = 1.5 
      daily_rate_APD = 0.16
      covered = False 
      observers = [insurance1]
      date_vehicle_added = "date 1970 Jan 1"  -- must be initialized

    exercise carCid Add_Car with startCoverage = "date 2019 Apr 5"

  submit dealer1 do
    exercise car1AddCid Remove_Car

我在“问题”窗口中看到两个错误”

1. error: parse error on input 'do' (43,9).

这是“Remove_Car”选项之后的行。 

2. error: Data contructor not in scope:Remove_Car

这是程序的最后一行。

在快速启动应用程序的 Main.daml 和 Ion.daml 之后，我尝试在我的代码中设计语法和间距。是什么导致了这些错误？

4

1 回答 1

4

你的Remove_Car选择有几个问题。

  1. 它缺少返回类型。由于它没有返回任何内容，因此返回类型Unit为(): Return_Car : ()。
  2. this不是合同，它是行使选择权的合同主体。由于它不是合同，因此无法存档。实际上，还有另一个关键字self，它确实引用了当前合约，但使用它也不起作用。您将在一个消费选项中归档合同，从而两次消费合同——这种双重支出 DAML 不会发生。

要修复 2.，您有三个选项：

  1. 完全删除它。Archive每份合同都有一个由所有签署方授权的内置选择。由于您Remove_Car选择的控制人与合同签署人相同，因此只是重复Archive。
  2. 只需使用消费选择的消费性质： 
    Remove_Car : ()
  do return ()
  3. 使用nonconsuming选项和self关键字： 
    nonconsuming Remove_Car : ()
  do archive self

从风格上讲，我会尽可能选择选项 1，如果我需要为一部分签署者提供存档合同的方法，我会选择选项 2。使用self关键字很难推理，因此除非绝对必要，否则最好避免使用。

于 2019-02-18T21:29:20.053 回答