package circusRefine.gui; import circusRefine.util.circusstring.CircusToLatex; import circusRefine.util.zstring.ZtoLatex; import javax.swing.JFrame; import javax.swing.JPanel; import javax.swing.JTabbedPane; import javax.swing.JButton; import java.awt.event.ActionListener; import java.awt.event.ActionEvent; import java.awt.Container; import java.awt.Font; import java.awt.GridBagConstraints; import java.awt.GridBagLayout; import java.awt.GridLayout; import javax.swing.border.TitledBorder; import javax.swing.JDialog; import net.sourceforge.czt.circus.util.CircusString; import net.sourceforge.czt.z.util.ZString; import java.awt.Component; public class TecladoVirtual extends JDialog{ /** * */ private static final long serialVersionUID = 1L; private TelaParametro telaParam; private final char ESPACO = ' '; //BUTTONS //Z //Logics JButton And; JButton Or; JButton True; JButton False; JButton ForAll; JButton Exists; JButton Exists_1; JButton Iff; JButton Implies; JButton LNot; JButton Arroba; JButton Conjecture; JButton Arithmos; // Numbers JButton Leq; JButton Succ; JButton Nat; JButton Neq; JButton Num; JButton Geq; JButton Mod; JButton Div; JButton Times; JButton Ominus; //Sets JButton Power; JButton Finset; JButton Cup; JButton Cap; JButton SetMinus; JButton Subseteq; JButton Subset; JButton In; JButton NotIn; JButton Upto; JButton Partition; JButton JogoDaVelha; JButton Cross; JButton EmptySet; //Rela�oes JButton Rel; JButton Mapsto; JButton Project; JButton Rres; JButton Dres; JButton nRres; JButton nDres; JButton Comp; JButton Oplus; //Funcoes JButton Fun; JButton Pfun; JButton Pinj; JButton Inj; JButton Psurj; JButton Surj; JButton Bij; JButton Ffun; JButton Finj; JButton Lambda; JButton Circ; JButton Ran; JButton Id; JButton rIMG; JButton lIMG; JButton Dom; JButton Inv; //Sequencias JButton Seq; JButton Iseq; JButton Cat; JButton LAngle; JButton RAngle; JButton Extract; JButton Filter; //Esquemas JButton VDash; JButton Delta; JButton Xi; JButton Let; JButton IF; JButton Then; JButton Else; JButton Pre; JButton Theta; JButton lBlot; JButton rBlot; JButton Alpha; JButton Ldata; JButton Rdata; JButton pipe; //CIRCUS JButton Boolean; JButton CircAssertRef; JButton CircAssign; JButton CircBegin; JButton CircEnd; JButton CircHiding; JButton Defs; JButton Odot; JButton CircState; JButton CircNameSet; JButton Extchoice; JButton Intchoice; JButton Semi; JButton Parallel; JButton Hide; JButton Lpar; JButton Rpar; JButton Interleave; JButton Circmu; JButton Guard; JButton extchoice; JButton intchoice; JButton interleave; JButton circchannel; JButton circchannelFrom; JButton circchannelSet; JButton circChaos; JButton circSkip; JButton circStop; JButton circDo; JButton circOd; JButton circprocess; JButton circrefines; JButton circsimulates; JButton circval; JButton circres; JButton circvalres; JButton circthen; JButton then; JButton circfi; JButton circelse; JButton circvar; JButton linter; JButton rinter; JButton lchanset; JButton rchanset; JButton lcircrename; JButton rcircrename; JButton lcircguard; JButton rcircguard; //Gerenciador de Layout //TODO por enquanto esse GridbagLayout so esta sendo usado pelo JPanel ZSequencias, //expandir o uso dele para todos os outros panels. private GridBagLayout layout; private GridBagConstraints constraints; public TecladoVirtual() { jbInit(); } public TecladoVirtual(TelaParametro telaParametro) { super(telaParametro); telaParam = telaParametro; this.setTitle("Teclado Virtual"); jbInit(); } private void jbInit() { JTabbedPane tabbedPane = new JTabbedPane(); this.setResizable(false); //Tabela de S�mbolos Auxiliares ZtoLatex zLatex = new ZtoLatex(); CircusToLatex circusLatex = new CircusToLatex(); //Fonte CZT Font Czt = new Font("CZT",Font.PLAIN,11); //Tamanhos de Linhas e Colunas para gerenciamento de Layout //Para o panel Z int rowsZ = 2; int colsZ = 2; GridLayout gridLayoutZ = new GridLayout(rowsZ,colsZ); //Acidicionando aba de Z JPanel Z_1 = new JPanel(); JPanel Z_2 = new JPanel(); tabbedPane.addTab(" Z_1 ", null, Z_1, " Symbols of Z "); tabbedPane.addTab(" Z_2 ", null, Z_2, " More symbols of Z "); //PANELS JPanel Zlogic = new JPanel(); JPanel ZNumbers = new JPanel(); JPanel ZSets = new JPanel(); JPanel ZRelations = new JPanel (); JPanel ZFuncoes = new JPanel (); JPanel ZSequencias = new JPanel (); JPanel ZEsquemas = new JPanel (); //Definindo Layout Z_1.setLayout(gridLayoutZ); Z_2.setLayout(gridLayoutZ); layout = new GridBagLayout(); constraints = new GridBagConstraints(); Zlogic.setLayout(new GridLayout(4,3)); ZNumbers.setLayout(new GridLayout(4,3)); ZSets.setLayout(new GridLayout(5,3)); ZRelations.setLayout(new GridLayout(4,3)); ZFuncoes.setLayout(new GridLayout(6,3)); ZEsquemas.setLayout(new GridLayout(5,3)); ZSequencias.setLayout(layout); //BORDERSS TitledBorder bordalogica = new TitledBorder("Logics"); TitledBorder bordanumeros = new TitledBorder("Numbers"); TitledBorder bordaconjuntos= new TitledBorder("Sets"); TitledBorder bordarelacoes= new TitledBorder("Relations"); TitledBorder bordafuncoes= new TitledBorder("Functions"); TitledBorder bordasequencias= new TitledBorder("Sequences"); TitledBorder bordaesquemas= new TitledBorder("Schemas"); Zlogic.setBorder(bordalogica); ZNumbers.setBorder(bordanumeros); ZSets.setBorder(bordaconjuntos); ZRelations.setBorder(bordarelacoes); ZFuncoes.setBorder(bordafuncoes); ZSequencias.setBorder(bordasequencias); ZEsquemas.setBorder(bordaesquemas); //BUTTONS //Logics And = new JButton(); Or = new JButton(); True = new JButton(); False = new JButton(); ForAll = new JButton(); Exists = new JButton(); Exists_1 = new JButton(); Iff = new JButton(); Implies = new JButton(); LNot = new JButton(); Arroba = new JButton(); Conjecture = new JButton(); Arithmos = new JButton(); //Numbers Leq = new JButton(); Succ = new JButton(); Nat = new JButton(); Neq = new JButton(); Num = new JButton(); Geq = new JButton(); Mod = new JButton(); Div = new JButton(); Times = new JButton(); Ominus = new JButton(); //Sets Power = new JButton(); Finset = new JButton(); Cup = new JButton(); Cap = new JButton(); SetMinus = new JButton(); Subseteq = new JButton(); Subset = new JButton(); In = new JButton(); NotIn = new JButton(); Upto = new JButton(); Partition = new JButton(); JogoDaVelha = new JButton(); Cross = new JButton(); EmptySet = new JButton(); //Relations Rel = new JButton(); Mapsto = new JButton(); Project = new JButton(); Rres = new JButton(); Dres = new JButton(); nRres = new JButton(); nDres = new JButton(); Comp = new JButton(); Oplus = new JButton(); //Functions Fun = new JButton(); Pfun = new JButton(); Pinj = new JButton(); Inj = new JButton(); Psurj = new JButton(); Surj = new JButton(); Bij = new JButton(); Ffun = new JButton(); Finj = new JButton(); Lambda = new JButton(); Circ = new JButton(); Ran = new JButton(); Id = new JButton(); rIMG = new JButton(); lIMG = new JButton(); Dom = new JButton(); Inv = new JButton(); //Sequencias Seq = new JButton(); Iseq = new JButton(); Cat = new JButton(); LAngle = new JButton(); RAngle = new JButton(); Extract = new JButton(); Filter = new JButton(); //Esquemas VDash = new JButton(); Delta = new JButton(); Xi = new JButton(); Let = new JButton(); IF = new JButton(); Then = new JButton(); Else = new JButton(); Pre = new JButton(); Theta = new JButton(); lBlot = new JButton(); rBlot = new JButton(); Alpha = new JButton(); Ldata = new JButton(); Rdata = new JButton(); pipe = new JButton(); //TEXTS //Logics And.setText(ZString.AND); And.setToolTipText(zLatex.get(And.getText())); Or.setText(ZString.OR); Or.setToolTipText(zLatex.get(Or.getText())); True.setText(ZString.TRUE); True.setToolTipText(zLatex.get(True.getText())); False.setText(ZString.FALSE); False.setToolTipText(zLatex.get(False.getText())); ForAll.setText(ZString.ALL); ForAll.setToolTipText(zLatex.get(ForAll.getText())); Exists.setText(ZString.EXI); Exists.setToolTipText(zLatex.get(Exists.getText())); Exists_1.setText(ZString.EXIONE); Exists_1.setToolTipText("exists_1"); Iff.setText(ZString.IFF); Iff.setToolTipText(zLatex.get(Iff.getText())); Implies.setText(ZString.IMP); Implies.setToolTipText(zLatex.get(Implies.getText())); LNot.setText(ZString.NOT); LNot.setToolTipText(zLatex.get(LNot.getText())); Arroba.setText(ZString.SPOT); Arroba.setToolTipText(zLatex.get(Arroba.getText())); Conjecture.setText(ZString.CONJECTURE); Conjecture.setToolTipText(zLatex.get(Conjecture.getText())); Arithmos.setText(ZString.ARITHMOS); Arithmos.setToolTipText(zLatex.get(Arithmos.getText())); //Numbers Succ.setText("\u227B" ); Succ.setToolTipText(zLatex.get(Succ.getText())); Leq.setText(ZString.LEQ); Leq.setToolTipText(zLatex.get(Leq.getText())); Nat.setText(ZString.NAT); Nat.setToolTipText(zLatex.get(Nat.getText())); Num.setText(ZString.NUM); Num.setToolTipText(zLatex.get(Num.getText())); Neq.setText(ZString.NEQ); Neq.setToolTipText(zLatex.get(Neq.getText())); Leq.setText(ZString.LEQ); Leq.setToolTipText(zLatex.get(Leq.getText())); Geq.setText(ZString.GEQ); Geq.setToolTipText(zLatex.get(Geq.getText())); Mod.setText("mod"); Mod.setToolTipText(zLatex.get(Mod.getText())); Div.setText("div"); Div.setToolTipText(zLatex.get(Div.getText())); Times.setText(ZString.CROSS); Times.setToolTipText(zLatex.get(Times.getText())); Ominus.setText(ZString.SYMDIFF); Ominus.setToolTipText(zLatex.get(Ominus.getText())); //Sets Power.setText(ZString.POWER); Power.setToolTipText(zLatex.get(Power.getText())); Finset.setText(ZString.FINSET); Finset.setToolTipText(zLatex.get(Finset.getText())); Cup.setText(ZString.CUP); Cup.setToolTipText(zLatex.get(Cup.getText())); Cap.setText(ZString.CAP); Cap.setToolTipText(zLatex.get(Cap.getText())); SetMinus.setText(ZString.SETMINUS); SetMinus.setToolTipText(zLatex.get(SetMinus.getText())); Subseteq.setText(ZString.SUBSETEQ); Subseteq.setToolTipText(zLatex.get(Subseteq.getText())); Subset.setText(ZString.SUBSET); Subset.setToolTipText(zLatex.get(Subset.getText())); In.setText(ZString.MEM); In.setToolTipText(zLatex.get(In.getText())); NotIn.setText(ZString.NOTMEM); NotIn.setToolTipText(zLatex.get(NotIn.getText())); Upto.setText(".."); Upto.setToolTipText(zLatex.get(Upto.getText())); JogoDaVelha.setText(ZString.NUMBER); JogoDaVelha.setToolTipText(zLatex.get(JogoDaVelha.getText())); Partition.setText("partition"); Partition.setToolTipText(zLatex.get(Partition.getText())); Cross.setText(ZString.CROSS); Cross.setToolTipText(zLatex.get(Cross.getText())); EmptySet.setText(ZString.EMPTYSET); EmptySet.setToolTipText(zLatex.get(EmptySet.getText())); //Rela��es Rel.setText(ZString.REL); Rel.setToolTipText(zLatex.get(Rel.getText())); Mapsto.setText(ZString.MAPSTO); Mapsto.setToolTipText(zLatex.get(Mapsto.getText())); Project.setText(ZString.ZPROJ); Project.setToolTipText(zLatex.get(Project.getText())); Rres.setText(ZString.RRES); Rres.setToolTipText(zLatex.get(Rres.getText())); Dres.setText(ZString.DRES); Dres.setToolTipText(zLatex.get(Dres.getText())); nRres.setText(ZString.NRRES); nRres.setToolTipText(zLatex.get(nRres.getText())); nDres.setText(ZString.NDRES); nDres.setToolTipText(zLatex.get(nDres.getText())); Comp.setText(ZString.COMP); Comp.setToolTipText(zLatex.get(Comp.getText())); Oplus.setText(ZString.OPLUS); Oplus.setToolTipText(zLatex.get(Oplus.getText())); //Funcoes Fun.setText(ZString.FUN); Fun.setToolTipText(zLatex.get(Fun.getText())); Pfun.setText(ZString.PFUN); Pfun.setToolTipText(zLatex.get(Pfun.getText())); Pinj.setText(ZString.PINJ); Pinj.setToolTipText(zLatex.get(Pinj.getText())); Inj.setText(ZString.INJ); Inj.setToolTipText(zLatex.get(Inj.getText())); Psurj.setText(ZString.PSURJ); Psurj.setToolTipText(zLatex.get(Psurj.getText())); Surj.setText(ZString.SURJ); Surj.setToolTipText(zLatex.get(Surj.getText())); Bij.setText(ZString.BIJ); Bij.setToolTipText(zLatex.get(Bij.getText())); Ffun.setText(ZString.FFUN); Ffun.setToolTipText(zLatex.get(Ffun.getText())); Finj.setText(ZString.FINJ); Finj.setToolTipText(zLatex.get(Finj.getText())); Lambda.setText(ZString.LAMBDA); Lambda.setToolTipText(zLatex.get(Lambda.getText())); Circ.setText(ZString.CIRC); Circ.setToolTipText(zLatex.get(Circ.getText())); Inv.setText("inv" ); Inv.setToolTipText(zLatex.get(Inv.getText())); Dom.setText("dom" ); Dom.setToolTipText(zLatex.get(Dom.getText())); rIMG.setText(ZString.RIMG); rIMG.setToolTipText(zLatex.get(rIMG.getText())); lIMG.setText(ZString.LIMG); lIMG.setToolTipText(zLatex.get(lIMG.getText())); Id.setText("id"); Id.setToolTipText(zLatex.get(Id.getText())); Ran.setText("ran"); Ran.setToolTipText(zLatex.get(Ran.getText())); //Sequencias Seq.setText("seq"); Seq.setToolTipText(zLatex.get(Seq.getText())); Iseq.setText("iseq"); Iseq.setToolTipText(zLatex.get(Iseq.getText())); Cat.setText(ZString.CAT); Cat.setToolTipText(zLatex.get(Cat.getText())); LAngle.setText(ZString.LANGLE); LAngle.setToolTipText(zLatex.get(LAngle.getText())); RAngle.setText(ZString.RANGLE); RAngle.setToolTipText(zLatex.get(RAngle.getText())); Extract.setText(ZString.EXTRACT); Extract.setToolTipText(zLatex.get(Extract.getText())); Filter.setText(ZString.FILTER); Filter.setToolTipText(zLatex.get(Filter.getText())); //Esquemas VDash.setText(ZString.VDASH); VDash.setToolTipText(zLatex.get(VDash.getText())); Delta.setText(ZString.DELTA); Delta.setToolTipText(zLatex.get(Delta.getText())); Xi.setText(ZString.XI); Xi.setToolTipText(zLatex.get(Xi.getText())); Let.setText(ZString.LET); Let.setToolTipText(zLatex.get(Let.getText())); IF.setText(ZString.IF); IF.setToolTipText(zLatex.get(IF.getText())); Then.setText(ZString.THEN); Then.setToolTipText(zLatex.get(Then.getText())); Else.setText(ZString.ELSE); Else.setToolTipText(zLatex.get(Else.getText())); Pre.setText(ZString.PRE); Pre.setToolTipText(zLatex.get(Pre.getText())); Theta.setText(ZString.THETA); Theta.setToolTipText(zLatex.get(Theta.getText())); lBlot.setText(ZString.LBIND); lBlot.setToolTipText(zLatex.get(lBlot.getText())); rBlot.setText(ZString.RBIND); rBlot.setToolTipText(zLatex.get(rBlot.getText())); Alpha.setText("\u03B1"); Alpha.setToolTipText(zLatex.get(Alpha.getText())); Ldata.setText(ZString.LDATA); Ldata.setToolTipText(zLatex.get(Ldata.getText())); Rdata.setText(ZString.RDATA); Rdata.setToolTipText(zLatex.get(Rdata.getText())); pipe.setText(ZString.ZPIPE ); pipe.setToolTipText(zLatex.get(pipe.getText())); //SETANDO A FONTA dos BOTOES //Logics And.setFont(Czt); Or.setFont(Czt); True.setFont(Czt); False.setFont(Czt); ForAll.setFont(Czt); Exists.setFont(Czt); Exists_1.setFont(Czt); Iff.setFont(Czt); Implies.setFont(Czt); LNot.setFont(Czt); Arroba.setFont(Czt); Conjecture.setFont(Czt); Arithmos.setFont(Czt); //Numbers Nat.setFont(Czt); Num.setFont(Czt); Neq.setFont(Czt); Leq.setFont(Czt); Geq.setFont(Czt); Mod.setFont(Czt); Div.setFont(Czt); Succ.setFont(Czt); Times.setFont(Czt); Ominus.setFont(Czt); //Conjuntos Finset.setFont(Czt); Power.setFont(Czt); Cup.setFont(Czt); Cap.setFont(Czt); SetMinus.setFont(Czt); Subseteq.setFont(Czt); Subset.setFont(Czt); In.setFont(Czt); NotIn.setFont(Czt); Upto.setFont(Czt); Partition.setFont(Czt); JogoDaVelha.setFont(Czt); Cross.setFont(Czt); EmptySet.setFont(Czt); //Rela��es Rel.setFont(Czt); Mapsto.setFont(Czt); Project.setFont(Czt); Rres.setFont(Czt); Dres.setFont(Czt); nRres.setFont(Czt); nDres.setFont(Czt); Comp.setFont(Czt); Oplus.setFont(Czt); //Funcoes Fun.setFont(Czt); Pfun.setFont(Czt); Pinj.setFont(Czt); Inj.setFont(Czt); Psurj.setFont(Czt); Surj.setFont(Czt); Bij.setFont(Czt); Ffun.setFont(Czt); Finj.setFont(Czt); Lambda.setFont(Czt); Circ.setFont(Czt); Inv.setFont(Czt); Dom.setFont(Czt); rIMG.setFont(Czt); lIMG.setFont(Czt); Id.setFont(Czt); Ran.setFont(Czt); //Sequencias Seq.setFont(Czt); Iseq.setFont(Czt); Cat.setFont(Czt); LAngle.setFont(Czt); RAngle.setFont(Czt); Extract.setFont(Czt); Filter.setFont(Czt); //Esquemas VDash.setFont(Czt); Delta.setFont(Czt); Xi.setFont(Czt); Let.setFont(Czt); IF.setFont(Czt); Then.setFont(Czt); Else.setFont(Czt); Pre.setFont(Czt); Theta.setFont(Czt); lBlot.setFont(Czt); rBlot.setFont(Czt); Alpha.setFont(Czt); Ldata.setFont(Czt); Rdata.setFont(Czt); pipe.setFont(Czt); //ADICIONANDO NO PANEL //Logics Zlogic.add(And); Zlogic.add(Or); Zlogic.add(True); Zlogic.add(False); Zlogic.add(ForAll); Zlogic.add(Exists); Zlogic.add(Exists_1); Zlogic.add(Iff); Zlogic.add(Implies); Zlogic.add(LNot); Zlogic.add(Arroba); Zlogic.add(Conjecture); Zlogic.add(Arithmos); //Numbers ZNumbers.add(Leq); ZNumbers.add(Succ); ZNumbers.add(Nat); ZNumbers.add(Num); ZNumbers.add(Neq); ZNumbers.add(Leq); ZNumbers.add(Geq); ZNumbers.add(Mod); ZNumbers.add(Div); ZNumbers.add(Ominus); //Sets ZSets.add(Power); ZSets.add(Finset); ZSets.add(Cup); ZSets.add(Cap); ZSets.add(SetMinus); ZSets.add(Subseteq); ZSets.add(Subset); ZSets.add(In); ZSets.add(NotIn); ZSets.add(Upto); ZSets.add(Partition); ZSets.add(JogoDaVelha); ZSets.add(Cross); ZSets.add(EmptySet); //Relacoes ZRelations.add(Rel); ZRelations.add(Mapsto); ZRelations.add(Project); ZRelations.add(Rres); ZRelations.add(Dres); ZRelations.add(nRres); ZRelations.add(nDres); ZRelations.add(Comp); ZRelations.add(Oplus); //Funcoes ZFuncoes.add(Fun); ZFuncoes.add(Pfun); ZFuncoes.add(Pinj); ZFuncoes.add(Inj); ZFuncoes.add(Psurj); ZFuncoes.add(Surj); ZFuncoes.add(Bij); ZFuncoes.add(Ffun); ZFuncoes.add(Finj); ZFuncoes.add(Lambda); ZFuncoes.add(Circ); ZFuncoes.add(Inv); ZFuncoes.add(Dom); ZFuncoes.add(rIMG); ZFuncoes.add(lIMG); ZFuncoes.add(Id); ZFuncoes.add(Ran); //Sequencias constraints.fill = GridBagConstraints.HORIZONTAL; addComponent(ZSequencias, Seq, 0, 0, 1, 1); addComponent(ZSequencias, Iseq, 0, 1, 1, 1); addComponent(ZSequencias, Cat, 0, 2, 1, 1); addComponent(ZSequencias, LAngle, 0, 3, 1, 1); addComponent(ZSequencias, RAngle, 0, 4, 1, 1); addComponent(ZSequencias, Filter, 0, 5, 1, 1); addComponent(ZSequencias, Extract, 0, 6, 1, 1); //Esquemas ZEsquemas.add(VDash); ZEsquemas.add(Delta); ZEsquemas.add(Xi); ZEsquemas.add(Let); ZEsquemas.add(IF); ZEsquemas.add(Then); ZEsquemas.add(Else); ZEsquemas.add(Pre); ZEsquemas.add(Theta); ZEsquemas.add(lBlot); ZEsquemas.add(rBlot); ZEsquemas.add(Ldata); ZEsquemas.add(Rdata); ZEsquemas.add(Alpha); ZEsquemas.add(pipe); Z_1.add(Zlogic); Z_1.add(ZNumbers); Z_1.add(ZSets); Z_1.add(ZSequencias); Z_2.add(ZRelations); Z_2.add(ZFuncoes); Z_2.add(ZEsquemas); //ADICIONANDO FUNCIONALIDADES NOS BOTOES //Z //Logics And.addActionListener(new allButtons()); Or.addActionListener(new allButtons()); True.addActionListener(new allButtons()); False.addActionListener(new allButtons()); Exists.addActionListener(new allButtons()); Exists_1.addActionListener(new allButtons()); ForAll.addActionListener(new allButtons()); Iff.addActionListener(new allButtons()); Implies.addActionListener(new allButtons()); LNot.addActionListener(new allButtons()); Arroba.addActionListener(new allButtons()); Conjecture.addActionListener(new allButtons()); Arithmos.addActionListener(new allButtons()); //Numbers Leq.addActionListener(new allButtons()); Succ.addActionListener(new allButtons()); Nat.addActionListener(new allButtons()); Num.addActionListener(new allButtons()); Neq.addActionListener(new allButtons()); Geq.addActionListener(new allButtons()); Mod.addActionListener(new allButtons()); Div.addActionListener(new allButtons()); Times.addActionListener(new allButtons()); Ominus.addActionListener(new allButtons()); //Sets Finset.addActionListener(new allButtons()); Power.addActionListener(new allButtons()); Cup.addActionListener(new allButtons()); Cap.addActionListener(new allButtons()); SetMinus.addActionListener(new allButtons()); Subseteq.addActionListener(new allButtons()); Subset.addActionListener(new allButtons()); In.addActionListener(new allButtons()); NotIn.addActionListener(new allButtons()); Upto.addActionListener(new allButtons()); Partition.addActionListener(new allButtons()); JogoDaVelha.addActionListener(new allButtons()); Cross.addActionListener(new allButtons()); EmptySet.addActionListener(new allButtons()); //Relacoes Rel.addActionListener(new allButtons()); Mapsto.addActionListener(new allButtons()); Project.addActionListener(new allButtons()); Dres.addActionListener(new allButtons()); Rres.addActionListener(new allButtons()); nDres.addActionListener(new allButtons()); nRres.addActionListener(new allButtons()); Comp.addActionListener(new allButtons()); Oplus.addActionListener(new allButtons()); //Funcoes Fun.addActionListener(new allButtons()); Pfun.addActionListener(new allButtons()); Pinj.addActionListener(new allButtons()); Inj.addActionListener(new allButtons()); Psurj.addActionListener(new allButtons()); Surj.addActionListener(new allButtons()); Bij.addActionListener(new allButtons()); Ffun.addActionListener(new allButtons()); Finj.addActionListener(new allButtons()); Lambda.addActionListener(new allButtons()); Circ.addActionListener(new allButtons()); Inv.addActionListener(new allButtons()); Dom.addActionListener(new allButtons()); rIMG.addActionListener(new allButtons()); lIMG.addActionListener(new allButtons()); Id.addActionListener(new allButtons()); Ran.addActionListener(new allButtons()); //Sequencias Seq.addActionListener(new allButtons()); Iseq.addActionListener(new allButtons()); Cat.addActionListener(new allButtons()); LAngle.addActionListener(new allButtons()); RAngle.addActionListener(new allButtons()); Extract.addActionListener(new allButtons()); Filter.addActionListener(new allButtons()); //Esquemas VDash.addActionListener(new allButtons()); Delta.addActionListener(new allButtons()); Xi.addActionListener(new allButtons()); Let.addActionListener(new allButtons()); IF.addActionListener(new allButtons()); Then.addActionListener(new allButtons()); Else.addActionListener(new allButtons()); Pre.addActionListener(new allButtons()); Theta.addActionListener(new allButtons()); lBlot.addActionListener(new allButtons()); rBlot.addActionListener(new allButtons()); Alpha.addActionListener(new allButtons()); Ldata.addActionListener(new allButtons()); Rdata.addActionListener(new allButtons()); pipe.addActionListener(new allButtons()); //Adicionando aba de Circus JPanel Circus = new JPanel(); tabbedPane.addTab(" Circus ",null, Circus, " Simbolos de Circus "); JPanel circus = new JPanel(); //Layout circus.setLayout(new GridLayout(12,3)); //Definindo Borda TitledBorder bordacircus = new TitledBorder("Circus"); circus.setBorder(bordacircus); //BUTTONS Defs = new JButton(); Odot = new JButton(); CircState = new JButton(); CircNameSet = new JButton(); Extchoice = new JButton(); Intchoice = new JButton(); Semi = new JButton(); Parallel = new JButton(); Lpar = new JButton(); Rpar = new JButton(); Interleave = new JButton(); Circmu = new JButton(); Guard = new JButton(); extchoice = new JButton(); intchoice = new JButton(); interleave = new JButton(); circchannel = new JButton(); circchannelFrom = new JButton(); circchannelSet = new JButton(); circChaos = new JButton(); circStop = new JButton(); circSkip = new JButton(); circDo = new JButton(); circOd = new JButton(); CircEnd = new JButton(); CircHiding = new JButton(); circprocess = new JButton(); circsimulates = new JButton(); circrefines = new JButton(); circval = new JButton(); circres = new JButton(); circvalres = new JButton(); circthen = new JButton(); then = new JButton(); circfi = new JButton(); circelse = new JButton(); circvar = new JButton(); linter = new JButton(); rinter = new JButton(); lcircguard = new JButton(); rcircguard = new JButton(); lchanset = new JButton(); rchanset = new JButton(); lcircrename = new JButton(); rcircrename = new JButton(); Boolean = new JButton(); CircAssertRef = new JButton(); CircAssign = new JButton(); CircBegin = new JButton(); Hide = new JButton(); //TEXTS AND TOOLTIPTEXTS Defs.setText(CircusString.CIRCDEF ); Odot.setText(CircusString.CIRCINDEX ); CircState.setText(CircusString.CIRCSTATE ); CircNameSet.setText(CircusString.CIRCNAMESET); Extchoice.setText(CircusString.REPEXTCHOICE ); Intchoice.setText(CircusString.REPINTCHOICE ); Semi.setText(CircusString.SEMI ); Parallel.setText(CircusString.REPPARALLEL ); Lpar.setText(CircusString.LPAR ); Rpar.setText(CircusString.RPAR ); Interleave.setText(CircusString.REPINTERLEAVE ); Circmu.setText(CircusString.CIRCMU ); Guard.setText("&" ); extchoice.setText(CircusString.EXTCHOICE ); intchoice.setText(CircusString.INTCHOICE ); interleave.setText(CircusString.INTERLEAVE ); circchannel.setText(CircusString.CIRCCHAN ); circchannelFrom.setText(CircusString.CIRCCHANFROM ); circchannelSet.setText(CircusString.CIRCCHANSET); circChaos.setText(CircusString.CIRCCHAOS); circSkip.setText(CircusString.CIRCSKIP); circStop.setText(CircusString.CIRCSTOP); Hide.setText(ZString.ZHIDE); circDo.setText(CircusString.CIRCDO); circOd.setText(CircusString.CIRCOD); CircEnd.setText(CircusString.CIRCEND); CircHiding.setText(CircusString.CIRCHIDING); circprocess.setText(CircusString.CIRCPROC); circrefines.setText(CircusString.CIRCREFINES); circsimulates.setText(CircusString.CIRCSIMULATES); circval.setText(CircusString.CIRCVAL ); circres.setText(CircusString.CIRCRES ); circvalres.setText(CircusString.CIRCVRES ); circthen.setText(CircusString.CIRCTHEN ); then.setText(CircusString.THEN); circfi.setText(CircusString.CIRCFI ); circelse.setText(CircusString.CIRCELSE ); circvar.setText(CircusString.CIRCVAR ); linter.setText(CircusString.LINTER ); rinter.setText(CircusString.RINTER ); lcircguard.setText(CircusString.LCIRCGUARD); rcircguard.setText(CircusString.RCIRCGUARD); lchanset.setText(CircusString.LCIRCCHANSET ); rchanset.setText(CircusString.RCIRCCHANSET ); lcircrename.setText(CircusString.LCIRCRENAME ); rcircrename.setText(CircusString.RCIRCRENAME ); Boolean.setText(CircusString.BOOLEAN); CircAssertRef.setText(CircusString.CIRCASSERTREF); CircAssign.setText(CircusString.CIRCASSIGN); CircBegin.setText(CircusString.CIRCBEGIN); Defs.setToolTipText(circusLatex.get(Defs.getText())); Odot.setToolTipText(circusLatex.get(Odot.getText())); CircState.setToolTipText(circusLatex.get(CircState.getText())); CircNameSet.setToolTipText(circusLatex.get(CircNameSet.getText())); Hide.setToolTipText(circusLatex.get(Hide.getText())); Extchoice.setToolTipText(circusLatex.get(Extchoice.getText())); Intchoice.setToolTipText(circusLatex.get(Intchoice.getText())); Semi.setToolTipText(circusLatex.get(Semi.getText())); Parallel.setToolTipText(circusLatex.get(Parallel.getText())); Lpar.setToolTipText(circusLatex.get(Lpar.getText())); Rpar.setToolTipText(circusLatex.get(Rpar.getText())); Interleave.setToolTipText(circusLatex.get(Interleave.getText())); Circmu.setToolTipText(circusLatex.get(Circmu.getText())); Guard.setToolTipText(circusLatex.get(Guard.getText())); extchoice.setToolTipText(circusLatex.get(extchoice.getText())); intchoice.setToolTipText(circusLatex.get(intchoice.getText())); interleave.setToolTipText(circusLatex.get(interleave.getText())); circchannel.setToolTipText(circusLatex.get(circchannel.getText())); circchannelFrom.setToolTipText(circusLatex.get(circchannelFrom.getText())); circchannelSet.setToolTipText(circusLatex.get(circchannelSet.getText())); circChaos.setToolTipText(circusLatex.get(circChaos.getText())); circSkip.setToolTipText(circusLatex.get(circSkip.getText())); circStop.setToolTipText(circusLatex.get(circStop.getText())); circDo.setToolTipText(circusLatex.get(circDo.getText())); circOd.setToolTipText(circusLatex.get(circOd.getText())); CircEnd.setToolTipText(circusLatex.get(CircEnd.getText())); CircHiding.setToolTipText(circusLatex.get(CircHiding.getText())); circprocess.setToolTipText(circusLatex.get(circprocess.getText())); circrefines.setToolTipText(circusLatex.get(circrefines.getText())); circsimulates.setToolTipText(circusLatex.get(circsimulates.getText())); circval.setToolTipText(circusLatex.get(circval.getText())); circres.setToolTipText(circusLatex.get(circres.getText())); circvalres.setToolTipText(circusLatex.get(circvalres.getText())); circthen.setToolTipText(circusLatex.get(circthen.getText())); then.setToolTipText(circusLatex.get(then.getText())); circfi.setToolTipText(circusLatex.get(circfi.getText())); circelse.setToolTipText(circusLatex.get(circelse.getText())); circvar.setToolTipText(circusLatex.get(circvar.getText())); linter.setToolTipText(circusLatex.get(linter.getText())); rinter.setToolTipText(circusLatex.get(rinter.getText())); lcircguard.setToolTipText(circusLatex.get(lcircguard.getText())); rcircguard.setToolTipText(circusLatex.get(rcircguard.getText())); lchanset.setToolTipText(circusLatex.get(lchanset.getText())); rchanset.setToolTipText(circusLatex.get(rchanset.getText())); lcircrename.setToolTipText(circusLatex.get(lcircrename.getText())); rcircrename.setToolTipText(circusLatex.get(rcircrename.getText())); Boolean.setToolTipText(circusLatex.get(Boolean.getText())); CircAssertRef.setToolTipText(circusLatex.get(CircAssertRef.getText())); CircAssign.setToolTipText(circusLatex.get(CircAssign.getText())); CircBegin.setToolTipText(circusLatex.get(CircBegin.getText())); //SETANDO AS FONTES DOS BUT�ES Defs.setFont(Czt); Odot.setFont(Czt); CircState.setFont(Czt); CircNameSet.setFont(Czt); Extchoice.setFont(Czt); Intchoice.setFont(Czt); Semi.setFont(Czt); Parallel.setFont(Czt); Lpar.setFont(Czt); Rpar.setFont(Czt); Interleave.setFont(Czt); Circmu.setFont(Czt); Guard.setFont(Czt); extchoice.setFont(Czt); intchoice.setFont(Czt); interleave.setFont(Czt); circchannel.setFont(Czt); circchannelFrom.setFont(Czt); circchannelSet.setFont(Czt); circChaos.setFont(Czt); circSkip.setFont(Czt); circStop.setFont(Czt); circDo.setFont(Czt); circOd.setFont(Czt); CircEnd.setFont(Czt); CircHiding.setFont(Czt); circprocess.setFont(Czt); circrefines.setFont(Czt); circsimulates.setFont(Czt); circval.setFont(Czt); circres.setFont(Czt); circvalres.setFont(Czt); circthen.setFont(Czt); circfi.setFont(Czt); circelse.setFont(Czt); circvar.setFont(Czt); linter.setFont(Czt); rinter.setFont(Czt); lcircguard.setFont(Czt); rcircguard.setFont(Czt); lchanset.setFont(Czt); rchanset.setFont(Czt); lcircrename.setFont(Czt); rcircrename.setFont(Czt); Boolean.setFont(Czt); CircAssertRef.setFont(Czt); CircAssign.setFont(Czt); CircBegin.setFont(Czt); Hide.setFont(Czt); //ADICIONANDO BUTOES AO PANEL CIRCUS circus.add(Boolean); circus.add(CircAssertRef); circus.add(CircAssign); circus.add(CircBegin); circus.add(circchannel); circus.add(circchannelFrom); circus.add(circchannelSet); circus.add(circChaos); circus.add(circSkip); circus.add(circStop); circus.add(circDo); circus.add(circOd); circus.add(CircEnd); circus.add(Defs); circus.add(CircHiding); circus.add(Odot); circus.add(CircState); circus.add(CircNameSet); circus.add(Extchoice); circus.add(Intchoice); circus.add(Semi); circus.add(Parallel); //circus.add(Lpar); circus.add(Hide); //circus.add(Rpar); circus.add(Interleave); circus.add(Circmu); circus.add(Guard); circus.add(extchoice); circus.add(intchoice); circus.add(interleave); circus.add(circprocess); circus.add(circsimulates); circus.add(circrefines); circus.add(circval); circus.add(circres); circus.add(circvalres); circus.add(circthen); circus.add(circfi); circus.add(circelse); circus.add(circvar); circus.add(linter); circus.add(rinter); circus.add(lchanset); circus.add(rchanset); circus.add(lcircrename); circus.add(rcircrename); circus.add(lcircguard); circus.add(rcircguard); Circus.add(circus); // ADICIONANDO FUNCIONALIDADES NOS BOTOES //CIRCUS Defs.addActionListener(new allButtons()); Odot.addActionListener(new allButtons()); CircState.addActionListener(new allButtons()); CircNameSet.addActionListener(new allButtons()); Extchoice.addActionListener(new allButtons()); Intchoice.addActionListener(new allButtons()); Semi.addActionListener(new allButtons()); Parallel.addActionListener(new allButtons()); Lpar.addActionListener(new allButtons()); Rpar.addActionListener(new allButtons()); Interleave.addActionListener(new allButtons()); Circmu.addActionListener(new allButtons()); Guard.addActionListener(new allButtons()); extchoice.addActionListener(new allButtons()); intchoice.addActionListener(new allButtons()); interleave.addActionListener(new allButtons()); circchannel.addActionListener(new allButtons()); circchannelFrom.addActionListener(new allButtons()); circchannelSet.addActionListener(new allButtons()); circChaos.addActionListener(new allButtons()); circSkip.addActionListener(new allButtons()); circStop.addActionListener(new allButtons()); circDo.addActionListener(new allButtons()); circOd.addActionListener(new allButtons()); CircEnd.addActionListener(new allButtons()); CircHiding.addActionListener(new allButtons()); circprocess.addActionListener(new allButtons()); circrefines.addActionListener(new allButtons()); circsimulates.addActionListener(new allButtons()); circval.addActionListener(new allButtons()); circres.addActionListener(new allButtons()); circvalres.addActionListener(new allButtons()); circthen.addActionListener(new allButtons()); circfi.addActionListener(new allButtons()); circelse.addActionListener(new allButtons()); circvar.addActionListener(new allButtons());; linter.addActionListener(new allButtons()); rinter.addActionListener(new allButtons()); lcircguard.addActionListener(new allButtons()); rcircguard.addActionListener(new allButtons()); lchanset.addActionListener(new allButtons()); rchanset.addActionListener(new allButtons()); lcircrename.addActionListener(new allButtons()); rcircrename.addActionListener(new allButtons()); Boolean.addActionListener(new allButtons()); CircAssertRef.addActionListener(new allButtons()); CircAssign.addActionListener(new allButtons()); CircBegin.addActionListener(new allButtons()); Hide.addActionListener(new allButtons()); //Adicionando aba de Templates JPanel Templates = new JPanel(); tabbedPane.addTab(" Templates ",null, Templates, " Templates "); add(tabbedPane); } public TelaParametro getTelaParam () { return this.telaParam; } private class allButtons implements ActionListener { public void actionPerformed(ActionEvent event) { if (event.getSource() instanceof JButton){ telaParam.escrever(ESPACO + ((JButton)event.getSource()).getText() + ESPACO); } } } public static void main (String args[]) { TecladoVirtual a = new TecladoVirtual(); a.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); a.setSize(400,200); a.pack(); a.setVisible(true); } private void addComponent(Container Container , Component component , int row, int column, int width, int height ){ constraints.gridx = column; // Onde o canto superior constraints.gridy = row; // esquerdo da grade ficara posicionado constraints.gridwidth = width;// numero de colunas ocupadas constraints.gridheight = height;//numero de linhas ocupadas layout.setConstraints(component, constraints); Container.add(component); } }