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(")");
}
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)");
}
}
