Beispiel #1
0
 public override void WriteNodes(Writer writer)
 {
     for (int i = 0; i < Prisoners.Count; i++)
     {
         Informant informant = Prisoners[i];
         informant.Label = "[i " + i + "]";
         writer.WriteNode(informant);
     }
 }
Beispiel #2
0
 public override Node CreateNode(string label) {
     if (Parser.IsId(label)) {
         var informant = new Informant(label);
         Prisoners.Add(informant);
         return informant;
     } else {
         return base.CreateNode(label);
     }
 }
Beispiel #3
0
 public override Node CreateNode(string label)
 {
     if (Parser.IsId(label))
     {
         var informant = new Informant(label);
         Prisoners.Add(informant);
         return(informant);
     }
     else
     {
         return(base.CreateNode(label));
     }
 }