| public RerollDicesEventArgs ( int diceIds ) : System.Diagnostics.Contracts | ||
| diceIds | int | |
| return | System.Diagnostics.Contracts | |
public RerollDicesEventArgs(int[] diceIds)
{
Contract.Requires(diceIds != null);
Contract.Requires(diceIds.Length > 0);
DiceIds = diceIds;
}
| RerollDicesEventArgs::RerollDicesEventArgs ( string stringArgs ) : System.Diagnostics.Contracts |