예제 #1
0
 //hash code trait
 public override int GetHashCode()
 {
     unchecked {
         var hash = 0;
         hash = hash * 31 + MasterVersion.GetHashCode();
         hash = hash * 31 + SlaveVersion.GetHashCode();
         hash = hash * 31 + Text.GetHashCode();
         return(hash);
     }
 }
예제 #2
0
 //pretty print
 public void Print(PrettyPrinter printer)
 {
     printer.Println("RdAssertion (");
     using (printer.IndentCookie()) {
         printer.Print("masterVersion = "); MasterVersion.PrintEx(printer); printer.Println();
         printer.Print("slaveVersion = "); SlaveVersion.PrintEx(printer); printer.Println();
         printer.Print("text = "); Text.PrintEx(printer); printer.Println();
     }
     printer.Print(")");
 }