Esempio n. 1
0
  // 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();
  }
Esempio n. 2
0
 @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;
 }