static board.FixedState calc_fixed(Scanner p_scanner) {
try {
board.FixedState result = board.FixedState.UNFIXED;
Object next_token = p_scanner.next_token();
if (next_token == Keyword.SHOVE_FIXED) {
result = board.FixedState.SHOVE_FIXED;
} else if (next_token == Keyword.FIX) {
result = board.FixedState.SYSTEM_FIXED;
} else if (next_token != Keyword.NORMAL) {
result = board.FixedState.USER_FIXED;
}
next_token = p_scanner.next_token();
if (next_token != Keyword.CLOSED_BRACKET) {
System.out.println("Wiring.is_fixed: ) expected");
return board.FixedState.UNFIXED;
}
return result;
} catch (java.io.IOException e) {
System.out.println("Wiring.is_fixed: IO error scanning file");
return board.FixedState.UNFIXED;
}
}
/** Reads a net_id. The subnet_number of the net_id will be 0, if no subneet_number was found. */
private static Net.Id read_net_id(Scanner p_scanner) {
try {
int subnet_number = 0;
p_scanner.yybegin(SpecctraFileScanner.NAME);
Object next_token = p_scanner.next_token();
if (!(next_token instanceof String)) {
System.out.println("Wiring:read_net_id: String expected");
return null;
}
String net_name = (String) next_token;
next_token = p_scanner.next_token();
if (next_token instanceof Integer) {
subnet_number = (Integer) next_token;
next_token = p_scanner.next_token();
}
if (next_token != Keyword.CLOSED_BRACKET) {
System.out.println("Wiring.read_net_id: closing bracket expected");
}
return new Net.Id(net_name, subnet_number);
} catch (java.io.IOException e) {
System.out.println("DsnFile.read_string_scope: IO error scanning file");
return null;
}
}
