Ejemplos de Term.contains en Java

Ejemplo n.º 1

Archivo: KApp.java Proyecto: 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);
 }

Ejemplo n.º 2

Archivo: Freezer.java Proyecto: 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);
 }

Ejemplo n.º 3

Archivo: TermType.java Proyecto: aisaenko/pre-3.1-Openclinica

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