Iterator itCjtoOps =MaudeWorkstationGUIPlugin.getDefault().getDatabase().getCjtoOpersModuloNodo((String)cEleccionModulo.getSelectedItem()).iterator();
System.out.println("ana");
int num=1;
while(itCjtoOps.hasNext()){
nodoOPERS nop = (nodoOPERS)itCjtoOps.next();
textoOps.append(" "+num+++". op "+nop.getNombreOp()+" "+nop.getDefinicion()+"\n");
}
panelMuestra.setText(textoOps.toString());
}
if(evt.getSource()==bAxiomas){
StringBuffer textoAxioma=new StringBuffer("MemberShips of "+cEleccionModulo.getSelectedItem()+" :\n");
Iterator itCjtoAxioma =MaudeWorkstationGUIPlugin.getDefault().getDatabase().getCjtoAxiomasModulo((String)cEleccionModulo.getSelectedItem()).iterator();
int num=1;
while(itCjtoAxioma.hasNext()){
textoAxioma.append(" "+num+++". "+itCjtoAxioma.next()+"\n");
}
panelMuestra.setText(textoAxioma.toString());
}
if(evt.getSource()==bEcuaciones){
StringBuffer textoAxioma=new StringBuffer("Equations of "+cEleccionModulo.getSelectedItem()+" :\n");
Iterator itCjtoAxioma =MaudeWorkstationGUIPlugin.getDefault().getDatabase().getCjtoEcuacionesModulo((String)cEleccionModulo.getSelectedItem()).iterator();
int num=1;
while(itCjtoAxioma.hasNext()){
textoAxioma.append(" "+num+++". "+itCjtoAxioma.next()+"\n");
}
panelMuestra.setText(textoAxioma.toString());
}
if(evt.getSource()==bReglas){
StringBuffer textoAxioma=new StringBuffer("Rules of "+cEleccionModulo.getSelectedItem()+" :\n");
Iterator itCjtoAxioma =MaudeWorkstationGUIPlugin.getDefault().getDatabase().getCjtoReglasModulo((String)cEleccionModulo.getSelectedItem()).iterator();
int num=1;
while(itCjtoAxioma.hasNext()){
textoAxioma.append(" "+num+++". "+itCjtoAxioma.next()+"\n");
}
panelMuestra.setText(textoAxioma.toString());
}
// Zona FULL maude. No implementado en esta versi�n. Mas adelante
if(evt.getSource()==bEtiquetas){
panelMuestra.setText(""); //$NON-NLS-1$
String textoAxioma="Labels of "+cEleccionModulo.getSelectedItem()+" :\n"; //$NON-NLS-1$ //$NON-NLS-2$
Iterator itCjtoAxioma =MaudeWorkstationGUIPlugin.getDefault().getDatabase().getCjtoEtiquetasModulo((String)cEleccionModulo.getSelectedItem()).iterator();
int num=1;
while(itCjtoAxioma.hasNext()){
textoAxioma+=" "+num+++". label "+itCjtoAxioma.next()+"\n"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
}
panelMuestra.setText(textoAxioma);
}
if(evt.getSource()==bMensajes){
String textoMSG="Messages of "+cEleccionModulo.getSelectedItem()+" :\n"; //$NON-NLS-1$ //$NON-NLS-2$
Iterator itCjtoMsjes =MaudeWorkstationGUIPlugin.getDefault().getDatabase().getCjtoMensajesModuloNodo((String)cEleccionModulo.getSelectedItem()).iterator();
int num=1;
while(itCjtoMsjes.hasNext()){
nodoOPERS nMS = (nodoOPERS)itCjtoMsjes.next();
textoMSG+=" "+num+++". msg "+nMS.getNombreOp()+" "+nMS.getDefinicion()+"\n"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$
}
panelMuestra.setText(textoMSG);
}
if(evt.getSource()==bClases){
String textoClass="Classes of "+cEleccionModulo.getSelectedItem()+" :\n"; //$NON-NLS-1$ //$NON-NLS-2$
Iterator itCjtoClases =MaudeWorkstationGUIPlugin.getDefault().getDatabase().getCjtoClasesModulo((String)cEleccionModulo.getSelectedItem()).iterator();
int num=1;
while(itCjtoClases.hasNext()){
nodoOPERS nMS = (nodoOPERS)itCjtoClases.next();
textoClass+=" "+num+++". class "+nMS.getNombreOp()+" "+nMS.getDefinicion()+"\n"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$
}
panelMuestra.setText(textoClass);
}