def set(term, anno): '''Returns a new version of this term with the annotation associated with this label added or updated.''' if not types.isAppl(anno): raise TypeError("annotation is not an application term", anno) if not types.isAppl(term): return term label = anno.name def withoutLabel(term): return not (types.isAppl(term) and term.name == label) annos = lists.filter(withoutLabel, term.annotations) annos = term.factory.makeCons(anno, annos) return term.setAnnotations(annos)
def set(term, anno): '''Returns a new version of this term with the annotation associated with this label added or updated.''' if not types.isAppl(anno): raise TypeError("annotation is not an application term", anno) if not types.isAppl(term): return term label = anno.name def withoutLabel(term): return not (types.isAppl(term) and term.name == label) annos = lists.filter(withoutLabel, term.annotations) annos = term.factory.makeCons(anno, annos) return term.setAnnotations(annos)
def testAnnotations(self): for terms1Str in self.identityTestCases: for term1Str in terms1Str: term1 = factory.parse(term1Str) if not types.isAppl(term1): continue term = term1 self.failUnlessEqual(term.annotations, factory.parse("[]")) term = annotation.set(term, factory.parse("A(1)")) self.failUnlessEqual(term.annotations, factory.parse("[A(1)]")) term = annotation.set(term, factory.parse("B(2)")) self.failUnlessEqual(annotation.get(term, "A"), factory.parse("A(1)")) self.failUnlessEqual(annotation.get(term, "B"), factory.parse("B(2)")) term = annotation.set(term, factory.parse("A(3)")) self.failUnlessEqual(annotation.get(term, "A"), factory.parse("A(3)")) self.failUnlessEqual(annotation.get(term, "B"), factory.parse("B(2)")) term = annotation.remove(term, "A") self.failUnlessEqual(term.annotations, factory.parse("[B(2)]")) try: annotation.get(term, "C(_)") self.fail() except ValueError: pass self.failUnless(term.isEquivalent(term1))
def testIdentity(self): annos = factory.parse('[1,2]') for terms1Str in self.identityTestCases: for terms2Str in self.identityTestCases: for term1Str in terms1Str: for term2Str in terms2Str: term1 = factory.parse(term1Str) term2 = factory.parse(term2Str) expectedResult = term1Str == term2Str result = term1.isEquivalent(term2) self.failUnlessEqual(result, expectedResult, msg = '%s <=> %s = %r (!= %r)' % (term1Str, term2Str, result, expectedResult)) result = term1.isEqual(term2) self.failUnlessEqual(result, expectedResult, msg = '%s == %s = %r (!= %r)' % (term1Str, term2Str, result, expectedResult)) if expectedResult and types.isAppl(term2): term2 = annotation.set(term2, factory.parse("A(1)")) result = term1.isEquivalent(term2) self.failUnlessEqual(result, True, msg = '%s <=> %s = %r (!= %r)' % (term1Str, term2Str, result, True)) result = term1.isEqual(term2) self.failUnlessEqual(result, False, msg = '%s == %s = %r (!= %r)' % (term1Str, term2Str, result, False))
def remove(term, label): '''Returns a copy of this term with the annotation associated with this label removed.''' if not isinstance(label, basestring): raise TypeError("label is not a string", label) if not types.isAppl(term): return term def withoutLabel(term): return not (types.isAppl(term) and term.name == label) annos = lists.filter(withoutLabel, term.annotations) return term.setAnnotations(annos)
def remove(term, label): '''Returns a copy of this term with the annotation associated with this label removed.''' if not isinstance(label, basestring): raise TypeError("label is not a string", label) if not types.isAppl(term): return term def withoutLabel(term): return not (types.isAppl(term) and term.name == label) annos = lists.filter(withoutLabel, term.annotations) return term.setAnnotations(annos)
def get(term, label): '''Gets an annotation associated with this label.''' if not isinstance(label, basestring): raise TypeError("label is not a string", label) if not types.isAppl(term): return term def withLabel(term): return types.isAppl(term) and term.name == label if term.annotations: anno = lists.fetch(withLabel, term.annotations) if anno is not None: return anno raise ValueError("undefined annotation", label)
def get(term, label): '''Gets an annotation associated with this label.''' if not isinstance(label, basestring): raise TypeError("label is not a string", label) if not types.isAppl(term): return term def withLabel(term): return types.isAppl(term) and term.name == label if term.annotations: anno = lists.fetch(withLabel, term.annotations) if anno is not None: return anno raise ValueError("undefined annotation", label)
def withoutLabel(term): return not (types.isAppl(term) and term.name == label)
def withLabel(term): return types.isAppl(term) and term.name == label
def withoutLabel(term): return not (types.isAppl(term) and term.name == label)
def withLabel(term): return types.isAppl(term) and term.name == label