All pastes #2071854 Raw Edit

Something

public text v1 · immutable
#2071854 ·published 2011-05-30 05:23 UTC
rendered paste body
public class PreDefinedXCTWindow extends JPanel implements MouseListener {

	public int getPreDefinedXCTWindow(BenchmarkXCT benchmark, int selection) {
		// selection:
		// 1 for TATP
		// 2 for TPCC
		
		JFrame framePreDefXCT = new JFrame("Predefined Transactions");
		framePreDefXCT.setDefaultCloseOperation(JFrame.HIDE_ON_CLOSE);
		Border blackline = BorderFactory.createLineBorder(Color.black);
        Font font = new Font("FreeMono", Font.PLAIN, 12);
		
		JPanel panelPreDefXCT = new JPanel();
		panelPreDefXCT.setLayout(new GridLayout(2, 0));
		
		JScrollPane scrollbar = new JScrollPane(panelPreDefXCT);
		scrollbar.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
		framePreDefXCT.getContentPane().add(scrollbar);
		
		if (selection == 1) {
			for (int i = 0; i < benchmark.getNumOfTAPTXCTs(); i++) {
				//JPanel pan = new JPanel();
				JTextArea ta = new JTextArea();
				ta.setText(benchmark.getTAPTXCT(i));
				ta.setBorder(blackline);
				ta.setEditable(false);
		        ta.setFont(font);
				panelPreDefXCT.add(ta);
				
				ta.addMouseListener(this);
				
				//pan.setBorder(blackline);
				//pan.add(ta);
				//panelPreDefXCT.add(pan);
			}
		}
		else {
			;
		}
		
		framePreDefXCT.pack();
		//frameViewSchema.setSize(new Dimension(420, 650));
		framePreDefXCT.setVisible(true);
		
		return 3;

	}

	@Override
	public void mouseClicked(MouseEvent arg0) {
		// TODO Auto-generated method stub
		System.out.println("TextArea: " + "was clicked");
	}

	@Override
	public void mouseEntered(MouseEvent arg0) {	}

	@Override
	public void mouseExited(MouseEvent arg0) {}

	@Override
	public void mousePressed(MouseEvent arg0) {}

	@Override
	public void mouseReleased(MouseEvent arg0) {}
	
}