Commit 2749505f authored by Ludovic Apvrille's avatar Ludovic Apvrille

Update on SVG capture

parent 677ff8c1
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -623,6 +623,12 @@ public class JFrameInteractiveSimulation extends JFrame implements ActionListene
// First empty line
c01.gridwidth = GridBagConstraints.REMAINDER; //end row
jp02.add(new JLabel(" "), c01);
JLabel warning = new JLabel("Beware: Formal Verification ignores Penalties");
Font newLabelFont=new Font(warning.getFont().getName(),Font.ITALIC,warning.getFont().getSize());
//Set JLabel font using new created font
warning.setFont(newLabelFont);
jp02.add(warning, c01);
jp02.add(new JLabel(" "), c01);
// Line minimum command: labels
c01.gridwidth = 1;
......@@ -653,11 +659,12 @@ public class JFrameInteractiveSimulation extends JFrame implements ActionListene
// One empty line
c01.gridwidth = GridBagConstraints.REMAINDER; //end row
jp02.add(new JLabel(" "), c01);
jp02.add(new JLabel(""), c01);
// Line minimum command: labels
c01.gridwidth = 1;
jp02.add(new JLabel("minimum BRANCH coverage"), c01);
labelMinimalBranchCoverage = new JLabel("100%");
c01.fill = GridBagConstraints.CENTER;
jp02.add(labelMinimalBranchCoverage, c01);
......
......@@ -81,13 +81,12 @@ public class TMLCFork extends TMLCChannelFacility implements WithAttributes {
connectingPoint[5] = new TMLCPortConnectingPoint(this, 0, 0, false, true, 0.75, 0.866);
connectingPoint[6] = new TMLCPortConnectingPoint(this, 0, 0, false, true, 0.75, 0.866);
addTGConnectingPointsComment();
nbInternalTGComponent = 0;
value = "1";
name = "Composite port";
name = "Fork";
editable = true;
//insides = new ArrayList<TMLCPrimitivePort>();
......@@ -166,7 +165,7 @@ public class TMLCFork extends TMLCChannelFacility implements WithAttributes {
return true;
} else {
JOptionPane.showMessageDialog(frame,
"Only data channel forks can be configured",
"Only correctly connected fork can be configured",
"Error",
JOptionPane.INFORMATION_MESSAGE);
return true;
......
......@@ -90,7 +90,7 @@ public class TMLCJoin extends TMLCChannelFacility implements WithAttributes {
value = "1";
name = "Composite port";
name = "Join";
//insides = new ArrayList<TMLCPrimitivePort>();
//outsides = new ArrayList<TMLCPrimitivePort>();
......@@ -176,7 +176,7 @@ public class TMLCJoin extends TMLCChannelFacility implements WithAttributes {
return true;
} else {
JOptionPane.showMessageDialog(frame,
"Only data channel joins can be configured",
"Only correctly connected join can be configured",
"Error",
JOptionPane.INFORMATION_MESSAGE);
return true;
......
......@@ -148,7 +148,7 @@ public class TMLArchiHWANode extends TMLArchiNode implements SwallowTGComponent,
// Icon
g.drawImage(IconManager.imgic1106.getImage(), x + 4, y + 4, null);
g.drawImage(IconManager.img9, x + width - 20, y + 4, null);
//g.drawImage(IconManager.img9, x + width - 20, y + 4, null);
}
public TGComponent isOnOnlyMe(int x1, int y1) {
......
......@@ -142,6 +142,7 @@ public class JDialogBridgeNode extends JDialogBase implements ActionListener {
c0.weighty = 1.0;
c0.weightx = 1.0;
c0.gridwidth = GridBagConstraints.REMAINDER; //end row
c0.fill = GridBagConstraints.BOTH;
c.add(panel2, c0);
c0.gridwidth = 1;
......
......@@ -164,6 +164,7 @@ public class JDialogMultiString extends JDialogBase implements ActionListener {
// String1
for (int i = 0; i < nbString; i++) {
c1.gridwidth = 1;
c1.fill = GridBagConstraints.BOTH;
panel1.add(new JLabel(labels[i] + " = "), c1);
if (possibleValues != null) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment