コード例 #1
0
ファイル: DPORTest.cs プロジェクト: suriyak/PSharp 
 private void Initialize()
 {
     initEvent = ((SenderInitEvent)ReceivedEvent);
 }
コード例 #2
0
 private void Initialize()
 {
     this.initEvent = (SenderInitEvent)this.ReceivedEvent;
 }