getinfoarc.java

来自「The ElectricTM VLSI Design System is an 」· Java 代码 · 共 1,374 行 · 第 1/4 页

            highlighter.clear();
            highlighter.addText(ai, ai.getParent(), ArcInst.ARC_NAME);
            highlighter.addElectricObject(ai, ai.getParent());
            highlighter.finished();
            GetInfoText.showDialog();
        }
	}//GEN-LAST:event_namePropertiesActionPerformed

	private void moreLessActionPerformed(java.awt.event.ActionEvent evt)//GEN-FIRST:event_moreLessActionPerformed
	{//GEN-HEADEREND:event_moreLessActionPerformed
		bigger = !bigger;
		if (bigger)
		{
			java.awt.GridBagConstraints gridBagConstraints;
			gridBagConstraints = new java.awt.GridBagConstraints();
			gridBagConstraints.gridx = 0;
			gridBagConstraints.gridy = 2;
			gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
			gridBagConstraints.weightx = 1.0;
			getContentPane().add(jPanel2, gridBagConstraints);

			gridBagConstraints = new java.awt.GridBagConstraints();
			gridBagConstraints.gridx = 0;
			gridBagConstraints.gridy = 3;
			gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
			gridBagConstraints.weightx = 1.0;
			getContentPane().add(jPanel3, gridBagConstraints);

			gridBagConstraints = new java.awt.GridBagConstraints();
			gridBagConstraints.gridx = 0;
			gridBagConstraints.gridy = 4;
			gridBagConstraints.fill = java.awt.GridBagConstraints.BOTH;
			gridBagConstraints.weightx = gridBagConstraints.weighty = 1.0;
			getContentPane().add(attributesPane, gridBagConstraints);

			moreLess.setText("Less");
		} else
		{
		    getContentPane().remove(jPanel2);
		    getContentPane().remove(jPanel3);
		    getContentPane().remove(attributesPane);
		    moreLess.setText("More");
		}
        pack();
	}//GEN-LAST:event_moreLessActionPerformed

	private void tailSeeActionPerformed(java.awt.event.ActionEvent evt)//GEN-FIRST:event_tailSeeActionPerformed
	{//GEN-HEADEREND:event_tailSeeActionPerformed
		if (shownArc == null) return;
		ArcInst ai = shownArc;
		NodeInst ni = shownArc.getTailPortInst().getNodeInst();
        if (wnd != null) {
            Highlighter highlighter = wnd.getHighlighter();
            highlighter.clear();
            highlighter.addElectricObject(ni, ni.getParent());
            highlighter.addElectricObject(ai, ai.getParent());
            highlighter.finished();
        }
	}//GEN-LAST:event_tailSeeActionPerformed

	private void headSeeActionPerformed(java.awt.event.ActionEvent evt)//GEN-FIRST:event_headSeeActionPerformed
	{//GEN-HEADEREND:event_headSeeActionPerformed
		if (shownArc == null) return;
		ArcInst ai = shownArc;
		NodeInst ni = shownArc.getHeadPortInst().getNodeInst();
        if (wnd != null) {
            Highlighter highlighter = wnd.getHighlighter();
            highlighter.clear();
            highlighter.addElectricObject(ni, ni.getParent());
            highlighter.addElectricObject(ai, ai.getParent());
            highlighter.finished();
        }
	}//GEN-LAST:event_headSeeActionPerformed

	private void applyActionPerformed(java.awt.event.ActionEvent evt)//GEN-FIRST:event_applyActionPerformed
	{//GEN-HEADEREND:event_applyActionPerformed
		if (shownArc == null) return;

		String newName = name.getText().trim();
		if (newName.equals(initialName)) newName = null; else
		{
			initialName = new String(newName);
		}

		Boolean newEasyToSelect = null;
		boolean currentEasyToSelect = easyToSelect.isSelected();
		if (currentEasyToSelect != initialEasyToSelect)
		{
			newEasyToSelect = Boolean.valueOf(currentEasyToSelect);
			initialEasyToSelect = currentEasyToSelect;
		}

		Boolean newRigid = null;
		boolean currentRigid = rigid.isSelected();
		if (currentRigid != initialRigid)
		{
			newRigid = Boolean.valueOf(currentRigid);
			initialRigid = currentRigid;
		}

		Boolean newFixedAngle = null;
		boolean currentFixedAngle = fixedAngle.isSelected();
		if (currentFixedAngle != initialFixedAngle)
		{
			newFixedAngle = Boolean.valueOf(currentFixedAngle);
			initialFixedAngle = currentFixedAngle;
		}

		Boolean newSlidable = null;
		boolean currentSlidable = slidable.isSelected();
		if (currentSlidable != initialSlidable)
		{
			newSlidable = Boolean.valueOf(currentSlidable);
			initialSlidable = currentSlidable;
		}

		Integer newDirectional = null;
		int currentDirectional = directionality.getSelectedIndex();
		if (currentDirectional != initialDirectional)
		{
			newDirectional = new Integer(currentDirectional);
			initialDirectional = currentDirectional;
		}

		Integer newExtended = null;
		int currentExtend = extension.getSelectedIndex();
		if (currentExtend != initialExtension)
		{
			newExtended = new Integer(currentExtend);
			initialExtension = currentExtend;
		}

		Integer newNegated = null;
		int currentNegated = negation.getSelectedIndex();
		if (currentNegated != initialNegated)
		{
			newNegated = new Integer(currentNegated);
			initialNegated = currentNegated;
		}

		Double newDWidth = null;
		double currentWidth = TextUtils.atof(width.getText());
//		double currentWidth = TextUtils.atof(width.getText()) + shownArc.getProto().getLambdaWidthOffset();
		if (!DBMath.doublesEqual(currentWidth, initialWidth))
		{
			newDWidth = new Double(currentWidth - initialWidth);
			initialWidth = currentWidth;
		}

		new ChangeArc(shownArc, newName, newEasyToSelect, newRigid, newFixedAngle,
			newSlidable, newDirectional, newExtended, newNegated, newDWidth);
        attributesTable.applyChanges();
	}//GEN-LAST:event_applyActionPerformed

	private void okActionPerformed(java.awt.event.ActionEvent evt)//GEN-FIRST:event_okActionPerformed
	{//GEN-HEADEREND:event_okActionPerformed
		applyActionPerformed(evt);
		closeDialog(null);
	}//GEN-LAST:event_okActionPerformed

	private void cancelActionPerformed(java.awt.event.ActionEvent evt)//GEN-FIRST:event_cancelActionPerformed
	{//GEN-HEADEREND:event_cancelActionPerformed
		closeDialog(null);
	}//GEN-LAST:event_cancelActionPerformed

	/** Closes the dialog */
	private void closeDialog(java.awt.event.WindowEvent evt)//GEN-FIRST:event_closeDialog
	{
        prefs.putBoolean("GetInfoArc-bigger", bigger);
        super.closeDialog();
	}//GEN-LAST:event_closeDialog

	private static class ChangeArc extends Job
	{
		private ArcInst ai;
		private String newName;
		private Boolean newEasyToSelect, newRigid, newFixedAngle, newSlidable;
		private Integer newDirectional, newExtended, newNegated;
		private Double newDWidth;

		protected ChangeArc(ArcInst ai, String newName, Boolean newEasyToSelect, Boolean newRigid, Boolean newFixedAngle,
			Boolean newSlidable, Integer newDirectional, Integer newExtended, Integer newNegated, Double newDWidth)
		{
			super("Modify Arc", User.getUserTool(), Job.Type.CHANGE, null, null, Job.Priority.USER);
			this.ai = ai;
			this.newName = newName;
			this.newEasyToSelect = newEasyToSelect;
			this.newRigid = newRigid;
			this.newFixedAngle = newFixedAngle;
			this.newSlidable = newSlidable;
			this.newDirectional = newDirectional;
			this.newExtended = newExtended;
			this.newNegated = newNegated;
			this.newDWidth = newDWidth;
			startJob();
		}

		public boolean doIt() throws JobException
		{
			boolean changed = false;

			if (newName != null)
			{
				if (newName.length() == 0) newName = null;
				ai.setName(newName);
				changed = true;
			}

			if (newEasyToSelect != null)
			{
                ai.setHardSelect(!newEasyToSelect.booleanValue());
			}

			if (newRigid != null)
			{
				ai.setRigid(newRigid.booleanValue());
				changed = true;
			}

			if (newFixedAngle != null)
			{
                ai.setFixedAngle(newFixedAngle.booleanValue());
				changed = true;
			}

			if (newSlidable != null)
			{
                ai.setSlidable(newSlidable.booleanValue());
				changed = true;
			}

			if (newDirectional != null)
			{
				switch (newDirectional.intValue())
				{
					case 0: ai.setBodyArrowed(false);  ai.setHeadArrowed(false);   ai.setTailArrowed(false);   break;
					case 1: ai.setBodyArrowed(true);   ai.setHeadArrowed(true);    ai.setTailArrowed(false);   break;
					case 2: ai.setBodyArrowed(true);   ai.setHeadArrowed(false);   ai.setTailArrowed(true);    break;
					case 3: ai.setBodyArrowed(true);   ai.setHeadArrowed(false);   ai.setTailArrowed(false);   break;
					case 4: ai.setBodyArrowed(true);   ai.setHeadArrowed(true);    ai.setTailArrowed(true);    break;
				}
				changed = true;
			}

			if (newExtended != null)
			{
				switch (newExtended.intValue())
				{
					case 0: ai.setHeadExtended(true);     ai.setTailExtended(true);    break;
					case 1: ai.setHeadExtended(false);    ai.setTailExtended(false);   break;
					case 2: ai.setHeadExtended(true);     ai.setTailExtended(false);   break;
					case 3: ai.setHeadExtended(false);    ai.setTailExtended(true);    break;
				}
				changed = true;
			}

			if (newNegated != null)
			{
				switch (newNegated.intValue())
				{
					case 0:
						ai.setHeadNegated(false);
						ai.setTailNegated(false);
						break;
					case 1:
						ai.setHeadNegated(true);
						ai.setTailNegated(false);
						break;
					case 2:
						ai.setHeadNegated(false);
						ai.setTailNegated(true);
						break;
					case 3:
						ai.setHeadNegated(true);
						ai.setTailNegated(true);
						break;
				}
				changed = true;
			}

			if (newDWidth != null || changed)
			{
				if (newDWidth == null) newDWidth = new Double(0);
				ai.setLambdaBaseWidth(ai.getLambdaBaseWidth() + newDWidth.doubleValue());
			}
			return true;
		}
	}

    // Variables declaration - do not modify//GEN-BEGIN:variables
    private javax.swing.JLabel angle;
    private javax.swing.JButton apply;
    private javax.swing.JScrollPane attributesPane;
    private javax.swing.JLabel busSize;
    private javax.swing.ButtonGroup buttonGroup1;
    private javax.swing.JButton cancel;
    private javax.swing.JButton colorAndPattern;
    private javax.swing.JComboBox directionality;
    private javax.swing.JCheckBox easyToSelect;
    private javax.swing.JComboBox extension;
    private javax.swing.JCheckBox fixedAngle;
    private javax.swing.JLabel headLoc;
    private javax.swing.JLabel headNode;
    private javax.swing.JButton headSee;
    private javax.swing.JLabel jLabel1;
    private javax.swing.JLabel jLabel10;
    private javax.swing.JLabel jLabel11;
    private javax.swing.JLabel jLabel13;
    private javax.swing.JLabel jLabel15;
    private javax.swing.JLabel jLabel17;
    private javax.swing.JLabel jLabel2;
    private javax.swing.JLabel jLabel3;
    private javax.swing.JLabel jLabel4;
    private javax.swing.JLabel jLabel5;
    private javax.swing.JLabel jLabel6;
    private javax.swing.JLabel jLabel7;
    private javax.swing.JLabel jLabel8;
    private javax.swing.JLabel jLabel9;
    private javax.swing.JPanel jPanel1;
    private javax.swing.JPanel jPanel2;
    private javax.swing.JPanel jPanel3;
    private javax.swing.JPanel jPanel4;
    private javax.swing.JLabel length;
    private javax.swing.JButton moreLess;
    private javax.swing.JTextField name;
    private javax.swing.JButton nameProperties;
    private javax.swing.JComboBox negation;
    private javax.swing.JLabel network;
    private javax.swing.JButton ok;
    private javax.swing.JCheckBox rigid;
    private javax.swing.JRadioButton seeAttributes;
    private javax.swing.JRadioButton seeBusMembers;
    private javax.swing.JCheckBox slidable;
    private javax.swing.JLabel tailLoc;
    private javax.swing.JLabel tailNode;
    private javax.swing.JButton tailSee;
    private javax.swing.JLabel type;
    private javax.swing.JTextField width;
    // End of variables declaration//GEN-END:variables

}