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)); }