/** * Filter non-primes */ private ATermList filterNonPrimes(ATermList numbers) { ATermList primes = factory.makeList(); numbers = numbers.getNext(); while (!numbers.isEmpty()) { ATermInt prime = (ATermInt)numbers.getFirst(); numbers = filterMultiples(prime.getInt(), numbers); primes = primes.append(prime); } return(factory.makeList(factory.makeInt(1), primes)); }
public virtual void TestList() { factory = Tester.theFactory; ATermList list = (ATermList)factory.parse("[1,2,3]"); ATermList result = list.remove(factory.parse("2")); AssertTrue(result.Equals(factory.parse("[1,3]"))); list = (ATermList)factory.parse("[1,2,3]"); result = list.replace(factory.parse("99"), 1); AssertTrue(result.Equals(factory.parse("[1,99,3]"))); list = factory.makeList(); result = list.append(factory.parse("1")); AssertTrue(result.Equals(factory.parse("[1]"))); list = (ATermList)factory.parse("[]"); result = factory.makeList(); AssertTrue(result.Equals(list)); // Console.Out.WriteLine("pass: testList"); }