示例#1
0
 public 本を借りた(貸出期間 _貸出期間, 利用者のID _利用者のID) : this()
 {
     貸出期間   = _貸出期間;
     利用者のID = _利用者のID;
 }
示例#2
0
 public void 本を借りる(貸出期間 _貸出期間, 利用者のID _利用者のID)
 {
     貸出期間   = _貸出期間;
     利用者のID = _利用者のID;
     Emit(new 本を借りた(_貸出期間, _利用者のID));
 }