コード例 #1
0
ファイル: Graph.java プロジェクト: safdariqbal/frex 
 /* Adds syncronization placed on an object */
 public void monitorUse(Var x) {
   Node ni = getNode(x, null);
   ni.hassync = true;
   ni.istouched = true;
 }