pepapanel.java

PEPA模型性能分析工具

package gui;

import javax.swing.BoxLayout;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JTabbedPane;
import javax.swing.JTextArea;
import javax.swing.SwingConstants;

public class PepaPanel extends JPanel
{
	private JTabbedPane tabbedPane;
	private TextPanel content;
	private JTextArea states;
	private JTextArea solution;
	private static JTextArea STATES=new JTextArea();
	private static JTextArea SOLUTION=new JTextArea();
	
	public PepaPanel()
	{
		this.setLayout(new BoxLayout(this,BoxLayout.X_AXIS));
		tabbedPane=new JTabbedPane();
		content=new TextPanel();
		content.setEditable(false);
		STATES.setEditable(false);
		SOLUTION.setEditable(false);
		tabbedPane.setTabPlacement(SwingConstants.BOTTOM);
		tabbedPane.addTab("SPA编辑器",null,content,"SPA语义模型");
		tabbedPane.addTab("SPA状态",null, new JScrollPane(STATES),"SPA状态空间");
		tabbedPane.addTab("SPA稳态求解",null, new JScrollPane(SOLUTION),"SPA稳态求解");
		this.add(tabbedPane);
	}
	
	public void setContent(String cont)
	{
		content.setEditable(true);
		content.setText(cont);
	}
	public String getContent()
	{
		return content.getText();
	}
	public void NewContent()
	{
		content.setEditable(true);
		content.setText("");
	}
	public static void setStates(String s)
	{
		STATES.append(s);
	}
	public static void setSolution(String s)
	{
		SOLUTION.append(s);
	}
	public static void clearStates()
	{
		STATES.setText("");
	}
	public static void clearSolution()
	{
		SOLUTION.setText("");
	}
	public void setFocus(int index)
	{
		tabbedPane.setSelectedIndex(index);
	}
}