通過 J# 求解約束條件

領測軟件測試網

}

當 set_value 方法被調用時，它會設置該值，記住發出請求的約束條件，并通知其他所有參與約束條件。請不要忘記從接收通知的約束條件列表中排除 setter，以便使系統避免進入無限回歸。類似地，reset 首先檢查請求是否來自原來設置該值的同一約束條件；如果是，則重置它的值并通知其他所有參與約束條件。

我們引入了一個可以用來“查看”變量值的 tap�？梢詫� tap 視為反映變量值的被動約束條件。

// file: tap.jsl
public class tap implements IConstraint
{
  private variable val;
  private String name;

  public tap(variable v, String s)
  {
    val  = v;
    name = s;

    val.connect(this);
  }

文章來源于領測軟件測試網 http://www.kjueaiud.com/