Ejemplo n.º 1
0
 /// <summary>
 /// Clear the information in the specification.
 /// </summary>
 public void ClearDatabase()
 {
     DeclarationDatabase.Clear();
     DefinitionDatabase.Clear();
     AssertionDatabase.Clear();
     ChannelDatabase.Clear();
 }
Ejemplo n.º 2
0
 /// <summary>
 /// Clear the information in the specification.
 /// </summary>
 public void ClearDatabase()
 {
     //HasFairEvent = false;
     DeclarationDatabase.Clear();
     DefinitionDatabase.Clear();
     AssertionDatabase.Clear();
     ChannelDatabase.Clear();
 }