Code example for Vector

Methods: add, clear

0
	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);
 
		// it = m.add(new JMenuItem("Create Post Conditions")); 
		// it.setActionCommand("convertConstraints"); 
		// it.addActionListener(view); 
 
		this.menus.add(m);
	} 
 
}