| public SpawnMonsterEventArgs ( int x, int y, int monsterId ) : System.Diagnostics.Contracts | ||
| x | int | |
| y | int | |
| monsterId | int | |
| return | System.Diagnostics.Contracts | |
public SpawnMonsterEventArgs(int x, int y, int monsterId)
{
Contract.Requires(x >= 0);
Contract.Requires(y >= 0);
Contract.Requires(monsterId >= 0);
X = x;
Y = y;
MonsterId = monsterId;
}
| SpawnMonsterEventArgs::SpawnMonsterEventArgs ( string stringArgs ) : System.Diagnostics.Contracts |
