public override void visitInt(ATermInt i) // throws VisitFailure { string txt = i.getInt().ToString(); stream.Write(txt); position += txt.Length; }
public void testMakeInt() { ATermInt[] term = new ATermInt[2]; term[0] = factory.makeInt(3); term[1] = factory.makeInt(3); assertTrue(term[0].getType() == ATermType.INT); assertTrue(term[0].getInt() == 3); assertTrue(term[0] == term[1]); assertTrue(term[0].ToString().Equals("3")); ArrayList result; result = term[0].match("3"); assertTrue(result != null); assertTrue(result.Count == 0); result = term[0].match("<int>"); assertTrue(result != null); assertTrue(result.Count == 1); assertTrue(result[0].Equals(3)); Console.Out.WriteLine("pass: testMakeInt"); }
public override bool equivalent(SharedObject obj) { if (base.equivalent(obj)) { ATermInt peer = (ATermInt)obj; return(peer.getInt() == value); } return(false); }
/** * 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)); }
/** * Filter multiples of n. */ private ATermList filterMultiples(int n, ATermList numbers) { int nr, len = numbers.getLength(); for (int i = 0; i < len; i++) { ATermInt el = (ATermInt)numbers.elementAt(i); nr = el.getInt(); if (nr % n == 0) { len--; numbers = numbers.removeElementAt(i); } } return(numbers); }
public virtual void visitInt(ATermInt arg) // throws VisitFailure { visitATerm(arg); }