Java Term.contains Examples

Example #1

File: KApp.java Project: kszr/k

 @Override
 public boolean contains(Object o) {
   if (o instanceof Bracket) return contains(((Bracket) o).getContent());
   if (o instanceof Cast) return contains(((Cast) o).getContent());
   if (!(o instanceof KApp)) return false;
   KApp k = (KApp) o;
   return label.contains(k.label) && child.contains(k.child);
 }

Example #2

File: Freezer.java Project: kszr/k

 @Override
 public boolean contains(Object o) {
   if (o instanceof Bracket) return contains(((Bracket) o).getContent());
   if (o instanceof Cast) return contains(((Cast) o).getContent());
   if (!(o instanceof Freezer)) return false;
   Freezer f = (Freezer) o;
   return term.contains(f.term);
 }

Example #3

File: TermType.java Project: aisaenko/pre-3.1-Openclinica

 public static boolean contains(int id) {
   return Term.contains(id, list);
 }