예제 #1
0
 protected Node GiveWallet(SmartCharacter user)
 {
     return ST_Give(
         user, 
         StateName.HoldingWallet,
         user.ST_TakeWalletFromPocket(),
         this.ST_PutWalletInPocket());
 }
예제 #2
0
 protected Node CustomerPutMoney(SmartCharacter user)
 {
     return new Sequence(
         this.Node_Require(StateName.RoleTeller),
         user.Node_Require(StateName.RoleActor, StateName.IsStanding, ~StateName.RightHandOccupied, ~StateName.IsIncapacitated, StateName.HoldingWallet),
         user.ST_TakeWalletFromPocket(),
         user.ST_Put(HoldPropIntermediate, InteractionIntermediateCustomer),
         user.Node_Set(~StateName.HoldingWallet),
         this.Node_Set(StateName.HoldingWallet));
 }
예제 #3
0
 protected Node PlaceWallet(SmartCharacter user)
 {
     return ST_Place(user, StateName.HoldingWallet, user.ST_TakeWalletFromPocket());
 }