void valueChanged();
void reset();
}
// file: constant.jsl
public class constant implements IConstraint
{
public constant(double d, variable v)
{
v.connect(this);
v.set_value(d, this);
}
public void valueChanged()
{
// no op
}
public void reset()
{
// no op
}
}
multiply 約束條件協調對下列三個變量的更新:multiplier、multiplicand 和 product。約束條件將其本身連接到上述變量,以便在它們的值被更新時得到通知。valueChanged 方法用于實施這三個變量之間的關系。類似地,每當其中一個變量報告它的值已經重置時,reset 方法就會重置所有變量。
// file: multiply.jsl
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/