Esempi in C# (CSharp) per Microsoft.Pex.Engine.ComponentModel.IPexComponent

Esempio n. 1

File: SeqexAttribute.cs Progetto: spati2/ICSE-2011-Covana

 public object BeforeExecution(Microsoft.Pex.Engine.ComponentModel.IPexComponent host)
 {
     return(null);
 }

Esempio n. 2

File: SeqexAttribute.cs Progetto: spati2/ICSE-2011-Covana

 public void AfterExecution(Microsoft.Pex.Engine.ComponentModel.IPexComponent host, object data)
 {
     host.GetService <SeqexDatabase>().AfterExecution();
 }