コード例 #1
0
 public void makeFactTop(ReturnPath fact) {
   fact.setKind(ReturnPath.TOP);
 }
コード例 #2
0
 public void initEntryFact(ReturnPath fact) {
   fact.setKind(ReturnPath.RETURNS);
 }