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