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 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 override void visitInt(ATermInt i) // throws VisitFailure
{
string txt = i.getInt().ToString();
stream.Write(txt);
position += txt.Length;
}
public virtual void visitInt(ATermInt arg) // throws VisitFailure
{
visitATerm(arg);
}
public virtual void visitInt(ATermInt arg) // throws VisitFailure
{
visitATerm(arg);
}
