Method isIgnored

src/main/java/wyc/task/QuickCheck.java:892–900

(Decl.Named decl)

		}

		public boolean isIgnored(Decl.Named decl) {
			String s = decl.getQualifiedName().toString();
			for(int i=0;i!=ignores.length;++i) {
				if(s.endsWith(ignores[i])) {
					return true;
				}
			}
			return false;
		}

		public Context setIgnores(String... ignores) {
			Context context = new Context(this);