externaltraits-counter.flint

//! disable stdlib

@module(address: 0x00) // 0x00 is replaced by `Transaction.` by the testsuite
external trait BaseCounter {
  public func add(n: uint64)

  public func count() -> uint64
}

contract Counter {
  visible var base: BaseCounter
}

Counter :: sender <- (any) {
  public init() {
    base = BaseCounter(address: sender)
  }

  public func increment(by: Int = 1) mutates (count) {
    call! base.add(n: by as! uint64)
  }

  public func getCount() -> Int {
    let count: Int = (call! base.count()) as! Int
    return count
  }
}