Java Term.contains Exemples

Exemple #1

Fichier : KApp.java Projet : 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);
 }

Exemple #2

Fichier : Freezer.java Projet : 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);
 }

Exemple #3

Fichier : TermType.java Projet : aisaenko/pre-3.1-Openclinica

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