C# (CSharp) RockPaperScissors.InitializePlayersの例

コード例 #1

ファイル: Form1.cs プロジェクト: wang-xinhong/CodeContracts

 private void newGameToolStripMenuItem_Click(object sender, EventArgs e)
 {
     engine = new RockPaperScissors();
     engine.numberOfPlayers = initialNumberOfPlayers;
     engine.InitializePlayers(engine.numberOfPlayers - 1);
     roundNumber = 0;
     console.Clear();
 }

コード例 #2

ファイル: Form1.cs プロジェクト: wang-xinhong/CodeContracts

        public Form1()
        {
            CodeContract.Requires(engine != null);
            CodeContract.Requires(initialNumberOfPlayers != 0);

            InitializeComponent();
            engine.InitializePlayers(engine.numberOfPlayers - 1);
            console.AppendText("Choose a gesture to throw" + Environment.NewLine + Environment.NewLine);
        }