-
Minh Hiep Pham authoredMinh Hiep Pham authored
JDialogCode.java 5.27 KiB
/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
*
* ludovic.apvrille AT enst.fr
*
* This software is a computer program whose purpose is to allow the
* edition of TURTLE analysis, design and deployment diagrams, to
* allow the generation of RT-LOTOS or Java code from this diagram,
* and at last to allow the analysis of formal validation traces
* obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
* from INRIA Rhone-Alpes.
*
* This software is governed by the CeCILL license under French law and
* abiding by the rules of distribution of free software. You can use,
* modify and/ or redistribute the software under the terms of the CeCILL
* license as circulated by CEA, CNRS and INRIA at the following URL
* "http://www.cecill.info".
*
* As a counterpart to the access to the source code and rights to copy,
* modify and redistribute granted by the license, users are provided only
* with a limited warranty and the software's author, the holder of the
* economic rights, and the successive licensors have only limited
* liability.
*
* In this respect, the user's attention is drawn to the risks associated
* with loading, using, modifying and/or developing or reproducing the
* software by the user in light of its specific status of free software,
* that may mean that it is complicated to manipulate, and that also
* therefore means that it is reserved for developers and experienced
* professionals having in-depth computer knowledge. Users are therefore
* encouraged to load and test the software's suitability as regards their
* requirements in conditions enabling the security of their systems and/or
* data to be ensured and, more generally, to use and operate it in the
* same conditions as regards security.
*
* The fact that you are presently reading this means that you have had
* knowledge of the CeCILL license and that you accept its terms.
*/
package ui.window;
import ui.util.IconManager;
import javax.swing.*;
import java.awt.*;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
/**
* Class JDialogCode
* Dialog for entering code
* Creation: 20/04/2005
* @version 1.0 20/04/2005
* @author Ludovic APVRILLE
*/
public class JDialogCode extends JDialogBase implements ActionListener {
protected String pretext, posttext;
//components
protected JTextArea jta1, jta2;
protected JButton close;
protected JButton cancel;
/* Creates new form */
public JDialogCode(Frame f, String title, String _pretext, boolean pretextEnabled, String _posttext, boolean posttextEnabled) {
super(f, title, true);
if (_pretext == null) {
_pretext = "";
}
if (_posttext == null) {
_posttext = "";
}
pretext = _pretext;
posttext = _posttext;
initComponents(pretextEnabled, posttextEnabled);
pack();
}
protected void initComponents(boolean pre, boolean post) {
Container c = getContentPane();
Font f = new Font("Helvetica", Font.PLAIN, 14);
setFont(f);
c.setLayout(new BorderLayout());
//setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
jta1 = new JTextArea();
jta1.setEditable(pre);
jta1.setMargin(new Insets(10, 10, 10, 10));
jta1.setTabSize(3);
jta1.append(pretext);
jta1.setFont(new Font("times", Font.PLAIN, 12));
jta1.setPreferredSize(new Dimension(300, 300));
JScrollPane jsp1 = new JScrollPane(jta1, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
c.add(jsp1, BorderLayout.NORTH);
jta2 = new JTextArea();
jta2.setEditable(post);
jta2.setMargin(new Insets(10, 10, 10, 10));
jta2.setTabSize(3);
jta2.append(posttext);
jta2.setFont(new Font("times", Font.PLAIN, 12));
jta2.setPreferredSize(new Dimension(300, 300));
JScrollPane jsp2 = new JScrollPane(jta2, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
c.add(jsp2, BorderLayout.CENTER);
close = new JButton("Ok", IconManager.imgic25);
cancel = new JButton("Cancel", IconManager.imgic27);
close.setPreferredSize(new Dimension(150, 30));
cancel.setPreferredSize(new Dimension(150, 30));
close.addActionListener(this);
cancel.addActionListener(this);
JPanel jp = new JPanel();
jp.add(close);
jp.add(cancel);
c.add(jp, BorderLayout.SOUTH);
}
public void actionPerformed(ActionEvent evt) {
String command = evt.getActionCommand();
// Compare the action command to the known actions.
if (command.equals("Cancel")) {
cancel();
} else if (command.equals("Ok")) {
close();
}
}
public void cancel() {
dispose();
}
public void close() {
pretext = jta1.getText();
posttext = jta2.getText();
dispose();
}
public String getPreCode() {
return pretext;
}
public String getPostCode() {
return posttext;
}
}