Code example for Vector

Methods: elements

0
		this.menus = new Vector<JMenu>(1);
		createMenus(tree);
	} 
 
	public Enumeration<JMenu> getMenus() {
		return this.menus.elements();
	} 
 
	private void createMenus(GraGraTreeView view) {
		this.menus.clear();
		JMenu m = new JMenu("Consistency Check");
		m.setMnemonic('o');
 
		JMenuItem it = m.add(new JMenuItem("Check Atomics"));
		it.setActionCommand("checkAtomics");
		it.addActionListener(view);
 
		it = m.add(new JMenuItem("Check Constraints"));
		it.setActionCommand("checkConstraints");
		it.addActionListener(view);