Esempio n. 1
0
 public void makeFactTop(ReturnPath fact) {
   fact.setKind(ReturnPath.TOP);
 }
Esempio n. 2
0
 public void initEntryFact(ReturnPath fact) {
   fact.setKind(ReturnPath.RETURNS);
 }