// atualiza os dados gerias do automato
protected void refresh() {
// modelo de combobox para os estados existentes
DefaultComboBoxModel<Estado> modelcb = new DefaultComboBoxModel<>();
// modelo para a tabela de estados
Object[][] o = new Object[a.getEstados().size()][2];
int i = 0; // variavel para indicar a posi__o da linha na matriz
for (Estado e : a.getEstados()) {
modelcb.addElement(e);
// se for incinicial aparece ->, se for final aparece (F), se for ambos, (F)->
o[i][0] = (e.isFinal() ? "(f)" : "") + "" + (e.equals(a.getInicial()) ? "->" : "");
o[i][1] = e.getNome();
i++;
}
cbEstadosDestinos.setModel(modelcb);
tblEstados.setModel(new DefaultTableModel(o, new String[] {"", ""}));
// modelo para combox de simbolos do alfabeto
DefaultComboBoxModel modelsim = new DefaultComboBoxModel();
modelsim.addElement('E');
for (char c : a.getAlfabeto()) {
modelsim.addElement(c);
}
cbAlfabeto.setModel(modelsim);
// atualiza o modelo texto do automato
textArea.setText(a.toString());
// atualiza o modelo gr_fico do automato
painelView.repaint();
}
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (obj == null) {
return false;
}
if (!(obj instanceof Municipio)) {
return false;
}
Municipio other = (Municipio) obj;
if (colaboradorenderecos == null) {
if (other.colaboradorenderecos != null) {
return false;
}
} else if (!colaboradorenderecos.equals(other.colaboradorenderecos)) {
return false;
}
if (descricao == null) {
if (other.descricao != null) {
return false;
}
} else if (!descricao.equals(other.descricao)) {
return false;
}
if (estado == null) {
if (other.estado != null) {
return false;
}
} else if (!estado.equals(other.estado)) {
return false;
}
if (filials == null) {
if (other.filials != null) {
return false;
}
} else if (!filials.equals(other.filials)) {
return false;
}
if (munCodigo == null) {
if (other.munCodigo != null) {
return false;
}
} else if (!munCodigo.equals(other.munCodigo)) {
return false;
}
return true;
}
