public virtual ATerm dictGet(ATerm key)
{
if (isEmpty())
{
return(null);
}
ATermList pair = (ATermList)first;
if (key.equals(pair.getFirst()))
{
return(pair.getNext().getFirst());
}
return(next.dictGet(key));
}
public virtual void TestDict()
{
factory = Tester.theFactory;
ATermList dict = factory.makeList();
ATerm key, value;
for (int i = 0; i < 5; i++)
{
key = factory.parse("key" + i);
value = factory.parse("value" + i);
dict = dict.dictPut(key, value);
}
key = factory.parse("key3");
value = factory.parse("value3");
AssertTrue(dict.dictGet(key).Equals(value));
}
public virtual ATerm getAnnotation(ATerm label)
{
return(annotations.dictGet(label));
}
