Exemple #1
0
 private static void write_net(
     rules.Net p_net, IndentFileWriter p_file, IdentifierType p_identifier_type)
     throws java.io.IOException {
   p_file.new_line();
   p_file.write("(");
   Net.write_net_id(p_net, p_file, p_identifier_type);
   p_file.write(")");
 }
Exemple #2
0
 private static void write_fixed_state(IndentFileWriter p_file, FixedState p_fixed_state)
     throws java.io.IOException {
   if (p_fixed_state == FixedState.UNFIXED) {
     return;
   }
   p_file.new_line();
   p_file.write("(type ");
   if (p_fixed_state == FixedState.SHOVE_FIXED) {
     p_file.write("shove_fixed)");
   } else if (p_fixed_state == FixedState.SYSTEM_FIXED) {
     p_file.write("fix)");
   } else {
     p_file.write("protect)");
   }
 }