public class RepairBox
extends java.lang.Object
Constructor and Description |
---|
RepairBox(InteractivePetriNet ipn) |
Modifier and Type | Method and Description |
---|---|
void |
addRow(InteractivePetriNet ipn,
int numCols) |
javax.swing.JComboBox |
getActs1() |
javax.swing.JComboBox |
getActs2() |
int |
getId() |
javax.swing.JPanel |
getPanel() |
RepairDuration |
getRepairMethod() |
javax.swing.JTextField |
getUnit() |
void |
setActs1(javax.swing.JComboBox acts1) |
void |
setActs2(javax.swing.JComboBox acts2) |
void |
setId(int id) |
void |
setUnit(javax.swing.JTextField unit) |
public RepairBox(InteractivePetriNet ipn)
public void addRow(InteractivePetriNet ipn, int numCols)
public javax.swing.JPanel getPanel()
public int getId()
public void setId(int id)
public RepairDuration getRepairMethod()
public javax.swing.JComboBox getActs1()
public void setActs1(javax.swing.JComboBox acts1)
public javax.swing.JComboBox getActs2()
public void setActs2(javax.swing.JComboBox acts2)
public javax.swing.JTextField getUnit()
public void setUnit(javax.swing.JTextField unit)