← Back
Editing: UniSet.py
from functools import reduce from guppy.etc.Descriptor import property_exp class UniSet(object): __slots__ = '_hiding_tag_', 'fam', '_origin_' _help_url_ = 'heapy_UniSet.html#heapykinds.UniSet' _instahelp_ = '' _doc_nodes = """nodes: ImmNodeSet The actual objects contained in x. These are called nodes because they are treated with equality based on address, and not on the generalized equality that is used by ordinary builtin sets or dicts.""" def __and__(self, other): """ Return the intersection of self and other. """ return self.fam.c_binop('and', self, other) __rand__ = __and__ def __call__(self, *args, **kwds): return self.fam.c_call(self, args, kwds) def __contains__(self, other): """ Return True if other is a member of self, False otherwise. """ return self.fam.c_contains(self, other) def __eq__(self, other): """ Return True if self contains the same elements as other, False otherwise.""" return self <= other and self >= other def __hash__(self): """ Return an hash based on the kind of the set of self and the addresses of its elements, if any. """ return self.fam.c_hash(self) def __invert__(self): """ Return the complement of self. """ return self.fam.c_unop('invert', self) def __ge__(self, other): """ Return True if self is a superset of (and may be equal to) other, False otherwise. """ if self is other: return True if not isinstance(other, UniSet): other = self.fam.c_uniset(other) return self.fam.c_ge(self, other) def __gt__(self, other): """ Return True if self is a strict (may not be equal to) superset of other. False otherwise. """ return self >= other and not self <= other def __getattr__(self, other): """ Get family-specific attribute. """ return self.fam.mod.View.enter(lambda: self.fam.c_getattr(self, other)) def __le__(self, other): """ Return True if self is a subset of (and may be equal to) other, False otherwise. """ if self is other: return True if not isinstance(other, UniSet): other = self.fam.c_uniset(other) return self.fam.c_le(self, other) def __lshift__(return_spec, argument_spec): """ <<This is about to change, does not work as one may expected. Nov 19 2005. >>> Return a 'mapping' set, which may be used for specification and test purposes. It implements the syntax: return_spec << argument_spec The elements of the set returned are the callable objects that return values in return_spec, when called with arguments according to argument_spec. The return_spec may be any kind of sets that can test for element containment. The argument_spec may be a set or a tuple. If it is a set, it should be able to generate some examples, to allow the mapping to be tested. When argument_spec is a set, the mapping will have a single argument. Any number of arguments may be specified using an argument_spec which is a tuple. The arguments are then specified with sets, that should be able to generate examples. Special features of the mapping such as optional arguments may be specified in the same way as when using the 'mapping' function in the Spec.py module. """ return return_spec.fam.c_lshift(return_spec, argument_spec) def __lt__(self, other): """ Return True if self is a strict (may not be equal to) subset of other, False otherwise. """ return self <= other and not self >= other def __mul__(self, other): """ Return the cartesian product of self and other, which is the set of pairs where the first element is a member of self and the second element is a member of other. NOTE: Unlike what one might expect from the way the cartesian product may be defined mathematically, the operation as implemented here is nonassociative, i.e. a*b*c == (a*b)*c != a*(b*c) In the mathematical case, a*b*c would be a set of triples, but here it becomes a set of pairs with the first element in (a*b) and the second element in c. To create sets of triples etc. the cprod() factory function in Spec.py could be used directly. """ if not isinstance(other, UniSet): other = self.fam.c_uniset(other) return self.fam.c_mul(self, other) def __ne__(self, other): """ Return True if self does not equal other, False otherwise. See also: __eq__. """ return not self == other def __bool__(self): """ Return True if self contains some element, False otherwise. """ return self.fam.c_nonzero(self) def __or__(self, other): """ Return the union of self and other. """ return self.fam.c_binop('or', self, other) __ror__ = __or__ def __repr__(self): """ Return a string representing self. This is usually the same string as from __str__. """ return self.fam.c_repr(self) def __str__(self): """ Return a string representing self. The string is usually the same as the .brief attribute, but a major exception is the IdentitySet class. """ return self.fam.c_str(self) def __sub__(self, other): """ Return the assymetrical set difference. That is, the set of elements in self, except those that are in others. """ if not isinstance(other, UniSet): other = self.fam.c_uniset(other) return self.fam.c_sub(self, other) def __rsub__(self, other): """ Return the assymetrical set difference. That is, the set of elements in other, except those that are in self. This is like __sub__ except it handles the case when the left argument is not a UniSet (but convertible to a UniSet). """ if not isinstance(other, UniSet): other = self.fam.c_uniset(other) return other.fam.c_sub(other, self) def __xor__(self, other): """ Return the symmetrical set difference. That is, the set of elements that are in one of self or other, but not in both. """ if not isinstance(other, UniSet): other = self.fam.c_uniset(other) return self.fam.c_xor(self, other) __rxor__ = __xor__ brief = property_exp(lambda self: self.fam.c_get_brief(self), doc="""\ A string representation of self, which is brief relative to the representation returned by __str__ and __repr__. (In many cases it is the same - both are then brief - but for IdentitySet objects the brief representation is typically much shorter than the non-brief one.)""" ) def _get_help(self): return self.fam.mod._root.guppy.doc.help_instance(self) doc = property_exp(lambda self: self.fam.mod._root.guppy.etc.Help.dir(self)) def get_ckc(self): # Get low-level classification information, where available. # Returns a tuple (classifier, kind, comparator) return self.fam.c_get_ckc(self) def _derive_origin_(self, doc): """ Return information about the 'origin' of the set. This was intended to be used for specification purposes - is experimental, noncomplete, temporary. """ return self.fam.c_derive_origin(self, doc) def disjoint(self, other): """ Return True if self and other are disjoint sets, False otherwise. This is equivalent to calculating (self & other) == Nothing but may be implemented more efficiently in some cases. """ return self.fam.c_disjoint(self, other) def get_examples(self, env): """ Return an iterable object or an iterator, which provides someexamples of the elements of self. (A minimum of 2 examples should normally be provided, but it may depend on some test configuration options.) This is used for automatic test generation from specifications. The env argument is according to specification of TestEnv in Spec.py, """ return self.fam.c_get_examples(self, env) def get_render(self): """ Return a function that may be used to render the representation of the elements of self. This is mainly intended for internal representation support. The function returned depends on the kind of elements self contains. The rendering function is choosen so that it will be appropriate, and can be used safely, for all objects of that kind. For the most general kind of objects, the rendering function will only return an address representation. For more specialized kinds, the function may provide more information, and can be equivalent to the builtin repr() when the kind is narrow enough that it would work for all elements of that kind without exception. """ return self.fam.c_get_render(self) def test_contains(self, element, env): """ Test if self contains the element object. This is used mainly for internal use for automatic (experimental) testing of specifications. The env argument is according to specification of TestEnv in Spec.py. It provides support for things that depends on the specific test situation, such as a test reporting protocol. If test_contains did find the element to be contained in self, the method will return (usually True). But if the element was not contained in self, the method should call env.failed(message), and return whatever may be returned; though typically env.failed() would raise an exception. """ return self.fam.c_test_contains(self, element, env) biper = property_exp(lambda self: self.fam.c_get_biper(self), doc="""\ A bipartitioning equivalence relation based on x. This may be used to partition or classify sets into two equivalence classes: x.biper(0) == x The set of elements that are in x. x.biper(1) == ~x The set of elements that are not in x. """) dictof = property_exp(lambda self: self.fam.c_get_dictof(self), doc="""dictof: UniSet If x represents a kind of objects with a builtin __dict__ attribute, x.dictof is the kind representing the set of all those dict objects. In effect, x.dictof maps lambda e:getattr(e, '__dict__') for all objects e in x. But it is symbolically evaluated to generate a new symbolic set (a Kind).""") class Kind(UniSet): __slots__ = 'arg', def __init__(self, fam, arg): self.fam = fam self._hiding_tag_ = fam._hiding_tag_ self.arg = arg self._origin_ = None def alt(self, cmp): return self.fam.c_alt(self, cmp) class IdentitySet(UniSet): __slots__ = '_er', '_partition', '_more' _help_url_ = 'heapy_UniSet.html#heapykinds.IdentitySet' def __init__(self, fam): self.fam = fam self._hiding_tag_ = fam._hiding_tag_ self._origin_ = None def __getitem__(self, idx): return self.fam.c_getitem(self, idx) def __len__(self): return self.fam.c_len(self) def __iter__(self): return self.fam.c_iter(self) def __str__(self): """ Return a string representating self. This differs from the .brief attribute in that it is a tabular representation. ... """ return self.fam.c_str(self) def get_rp(self, depth=None, er=None, imdom=0, bf=0, src=None, stopkind=None, nocyc=False, ref=None): """ x.get_rp(depth=None, er=None, imdom=0, bf=0, src=None, stopkind=None, nocyc=False, ref=None) Return an object representing the pattern of references to the objects in X. The returned object is of kind ReferencePattern. Arguments depth The depth to which the pattern will be generated. The default is taken from depth of this module. er The equivalence relation to partition the referrers. The default is Clodo. imdom If true, the immediate dominators will be used instead of the referrers. This will take longer time to calculate, but may be useful to reduce the complexity of the reference pattern. bf If true, the pattern will be printed in breadth-first order instead of depth-first. (Experimental.) src If specified, an alternative reference source instead of the default root. stopkind The referrers of objects of kind stopkind will not be followed. nocyc When True, certain cycles will not be followed. ref See also rp (a shorthand for common cases) """ return self.fam.RefPat.rp(self, depth, er, imdom, bf, src, stopkind, nocyc, ref) def get_shpaths(self, src=None, avoid_nodes=None, avoid_edges=()): """x.get_shpaths(draw:[src, avoid_nodes, avoid_edges]) -> Paths Return an object containing the shortest paths to objects in x. The optional arguments are: src:IdentitySet An alternative source set of objects avoid_nodes:IdentitySet Nodes to avoid avoid_edges:NodeGraph Edges to avoid """ return self.fam.Path.shpaths(self, src, avoid_nodes, avoid_edges) # 'Normal' methods def by(self, er): """ x.by(er) -> A copy of x, but using er for equiv. relation. """ return self.fam.get_by(self, er) def diff(self, other): return self.stat - other.by(self.er).stat def dump(self, *args, **kwds): """ Dump statistical data to a file Shorthand for .stat.dump """ self.stat.dump(*args, **kwds) byclodo = property_exp(lambda self: self.by('Clodo'), doc="""\ A copy of self, but with 'Clodo' as the equivalence relation.""") byidset = property_exp(lambda self: self.by('Idset'), doc="""\ A copy of self, but with 'Idset' as the equivalence relation. Note This is mainly for special purpose internal use. The Id equivalence relation is more efficient when partitioning large sets.""") byid = property_exp(lambda self: self.by('Id'), doc="""\ A copy of self, but with 'Id' as the equivalence relation.""") bymodule = property_exp(lambda self: self.by('Module'), doc="""\ A copy of self, but with 'Module' as the equivalence relation.""") byprod = property_exp(lambda self: self.by('Prod'), doc="""\ A copy of self, but with 'Prod' as the equivalence relation.""") byrcs = property_exp(lambda self: self.by('Rcs'), doc="""\ A copy of self, but with 'Rcs' as the equivalence relation.""") bysize = property_exp(lambda self: self.by('Size'), doc="""\ A copy of self, but with 'Size' as the equivalence relation.""") bytype = property_exp(lambda self: self.by('Type'), doc="""\ A copy of self, but with 'Type' as the equivalence relation.""") byunity = property_exp(lambda self: self.by('Unity'), doc="""\ A copy of self, but with 'Unity' as the equivalence relation.""") byvia = property_exp(lambda self: self.by('Via'), doc=""" A copy of self, but with 'Via' as the equivalence relation.""") er = property_exp(lambda self: self.fam.get_er(self), doc="""\ The equivalence relation used for partitioning when representing / printing this set.""") count = property_exp(lambda self: len(self.nodes), doc="""\ The number of individual objects in the set.""") dominos = property_exp(lambda self: self.fam.View.dominos(self), doc="""\ The set 'dominated' by a set of objects. This is the objects that will become deallocated, directly or indirectly, when the objects in the set are deallocated. See also: domisize.""") domisize = property_exp(lambda self: self.fam.View.domisize(self), doc="""\ The dominated size of a set of objects. This is the total size of memory that will become deallocated, directly or indirectly, when the objects in the set are deallocated. See also: dominos, size. """) imdom = property_exp(lambda self: self.fam.View.imdom(self), doc="""\ The immediate dominators of a set of objects. The immediate dominators is a subset of the referrers. It includes only those referrers that are reachable directly, avoiding any other referrer.""") indisize = size = property_exp(lambda self: self.fam.View.indisize(self), doc="""\ The total 'individual' size of the set of objects. The individual size of an object is the size of memory that is allocated directly in the object, not including any externally visible subobjects. See also: domisize.""") kind = property_exp(lambda self: self.er[self], doc="""\ The kind of objects in the set. The kind is the union of the element-wise classifications as determined by the equivalence relation in use by the set.""") maprox = property_exp(lambda self: MappingProxy(self), doc="""\ An object that can be used to map operations to the objects in self, forming a new set of the result. The returned object is an instance of MappingProxy. This works currently as follows: o Getting an attribute of the MappingProxy object will get the attribute from each of the objects in the set and form a set of the results. If there was an exception when getting some attribute, it would be ignored. o Indexing the MappingProxy object will index into each of the objects in the set and return a set of the results. Exceptions will be ignored. Example: >>> hp.iso({'a':'b'}, {'a':1}).maprox['a'].byid Set of 2 objects. Total size = 40 bytes. Index Size % Cumulative % Kind: Name/Value/Address 0 28 70.0 28 70.0 str: 'b' 1 12 30.0 40 100.0 int: 1 >>> <This is an experimental feature, so the name is intentionally made mystically-sounding, and is a shorthand for 'mapping proxy'.>""") more = property_exp(lambda self: self.fam.get_more(self), doc="""\ An object that can be used to show more lines of the string representation of self. The object returned, a MorePrinter instance, has a string representation that continues after the end of the representation of self.""") all = property_exp(lambda self: self.fam.get_all(self), doc="""\ An object that can be used to show all lines of the string representation of self.""") owners = property_exp(lambda self: self.fam.get_owners(self), doc="""\ The set of objects that 'own' objects in self. The owner is defined for an object of type dict, as the object (if any) that refers to the object via its special __dict__ attribute.""") partition = property_exp(lambda self: self.fam.get_partition(self), doc="""\ A partition of the set of objects in self. The set is partitioned into subsets by equal kind, as given by a equivalence relation. Unless otherwise specified, the equivalence relation used is 'byclodo', which means it classifies 'by type or dict owner'. Different equivalence relations are specified for sets created by the 'by_...' attributes of any IdentitySet object. The value is an instance of guppy.heapy.Part.Partition.""") parts = property_exp(lambda self: self.fam.get_parts(self), doc="""\ An iterable object, that can be used to iterate over the 'parts' of self. The iteration order is determined by the sorting order the set has, in the table printed when partitioned.""") pathsin = property_exp(lambda self: self.get_shpaths(self.referrers), doc="""\ The paths from the direct referrers of the objects in self.""") pathsout = property_exp(lambda self: self.referents.get_shpaths(self), doc="""\ The paths to the referents of the objects in self.""") referents = property_exp(lambda self: self.fam.View.referents(self), doc="""\ The set of objects that are directly referred to by any of the objects in self.""") referrers = property_exp(lambda self: self.fam.View.referrers(self), doc="""\ The set of objects that directly refer to any of the objects in self.""") rp = property_exp(get_rp, doc="""\ rp: ReferencePattern An object representing the pattern of references to the objects in X. See also get_rp""") shpaths = property_exp(get_shpaths, doc="""x.shpaths: Paths An object containing the shortest paths to objects in x. Synonym sp See also get_shpaths""") shpaths = property_exp(get_shpaths, doc="""x.sp: Paths An object containing the shortest paths to objects in x. Synonym sp See also get_shpaths""") sp = property_exp(get_shpaths, doc="""x.sp: Paths An object containing the shortest paths to objects in x. Synonym shpaths See also get_shpaths""") stat = property_exp(lambda self: self.partition.get_stat(), doc="""\ x.stat: Stat An object summarizing the statistics of the partitioning of x. This is useful when only the statistics is required, not the objects themselves. The statistics can be dumped to a file, unlike the set of objects itself.""") theone = property_exp(lambda self: self.fam.get_theone(self), doc="""\ theone: Anything The one object in a singleton set. In case the set does not contain exactly one object, the exception ValueError will be raised. """) prod = property_exp(lambda self: self.fam.get_prod(self), doc="""\ theone: MorePrinter The traceback for the producer for the one object in a singleton set. """) class IdentitySetMulti(IdentitySet): __slots__ = 'nodes', def __init__(self, fam, nodes): super().__init__(fam) self.nodes = nodes class IdentitySetSingleton(IdentitySet): __slots__ = '_node', _help_url_ = 'heapy_UniSet.html#heapykinds.IdentitySetSingleton' def __init__(self, fam, node): super().__init__(fam) self._node = node # RefPat (eg) depends on this being usable as a hashable key. nodes = property_exp(lambda self: self.fam.immnodeset((self._node,)), doc="""\ x.nodes: ImmNodeSet The actual objects contained in x. These are called nodes because they are treated with equality based on address, and not on the generalized equality that is used by ordinary builtin sets or dicts.""") def _get_theone(self): return self._node theone = property_exp(_get_theone) class EquivalenceRelation(UniSet): """\ An equivalence relation is a binary relation between two elements of a set which groups them together as being "equivalent" in some way. An equivalence relation is reflexive, symmetric, and transitive. In other words, the following must hold for "~" to be an equivalence relation on X: * Reflexivity: a ~ a * Symmetry: if a ~ b then b ~ a * Transitivity: if a ~ b and b ~ c then a ~ c. An equivalence relation partitions a set into several disjoint subsets, called equivalence classes. All the elements in a given equivalence class are equivalent among themselves, and no element is equivalent with any element from a different class. """ __slots__ = 'classifier', 'erargs' _help_url_ = 'heapy_UniSet.html#heapykinds.EquivalenceRelation' def __init__(self, fam, classifier, erargs=()): self.fam = fam self._hiding_tag_ = fam._hiding_tag_ self.classifier = classifier self.erargs = erargs self._origin_ = None def __getitem__(self, idx): return self.fam.c_getitem(self, idx) def _get_dictof(self): return self.fam.Classifiers.mker_dictof(self) dictof = property_exp(_get_dictof) def _get_refdby(self): return self.fam.Classifiers.mker_refdby(self) refdby = property_exp(_get_refdby) def sokind(self, *args, **kwds): return self.classifier.get_sokind(self, *args, **kwds) class MappingProxy(object): __slots__ = '_set_', def __init__(self, set): self._set_ = set def __getattribute__(self, name): if name == '_set_': return object.__getattribute__(self, name) return self._set_.fam.maprox_getattr(self._set_, name) def __getitem__(self, name): return self._set_.fam.maprox_getitem(self._set_, name) class Family: supercl = None def __init__(self, mod): self.mod = mod self.Doc = mod._parent.Doc self._hiding_tag_ = mod._hiding_tag_ self.types = mod.types self.disjoints = mod.immnodeset() self.export_dict = self.mod.export_dict self.supers = mod.immnodeset([self]) self.Set = Kind def __call__(self, arg): return self.Set(self, arg) def _derive_origin_(self, origin): return self.Doc.add_origin(self, origin) def specotup(self, tup): r = self.Set(self, tup) r = self.Doc.add_origin(r, self.Doc.callfunc(self, *tup)) return r def specoarg(self, arg): r = self.Set(self, arg) r = self.Doc.add_origin(r, self.Doc.callfunc(self, arg)) return r def specoargtup(self, arg, tup): r = self.Set(self, arg) r = self.Doc.add_origin(r, self.Doc.callfunc(self, *tup)) return r def add_export(self, name, value): if self.export_dict is self.mod.export_dict: self.export_dict = self.mod.export_dict.copy() if name in self.export_dict and self.export_dict[name] is not value: raise ValueError('Duplicate: %s' % name) self.export_dict[name] = value def c_alt(self, a, cmp): raise ValueError('No alternative set for family %s.' % self) def c_binop(self, op, a, b): if not isinstance(b, UniSet): b = self.c_uniset(b) r = getattr(self, 'c_'+op)(a, b) # r = self.Doc.add_origin(r, self.Doc.binop(op, a.doc, b.doc)) return r def c_unop(self, op, a): r = getattr(self, 'c_'+op)(a) # r = self.Doc.add_origin(r, self.Doc.unop(op, a.doc)) return r def c_derive_origin(self, a, b): return self.Doc.add_origin(a, b) def c_call(self, a, args, kwds): raise ValueError('Not callable set') def c_contains(self, a, b): mod = self.mod return (a & mod.iso(b)) is not mod.Nothing def c_get_biper(self, a): return self.mod.Classifiers.biper(a) def c_get_dictof(self, a): return self.mod.Classifiers.dictof(a) def c_disjoint(self, a, b): # Determine if a, b are disjoint return (a & b) is self.mod.Nothing def c_factordisjoint(self, a, b): # Given a and b factors, and not a <= b and not b <= a, # determine if they are disjoint return getattr(self, '_factordisjoint_%s' % (b.fam.opname,))(a, b) def c_get_brief_alt(self, a, alt): return '[%s %s]' % (alt, self.c_get_brief(a)) def c_uniset(self, X): return self.mod.uniset_from_setcastable(X) def c_get_examples(self, a, env): return [] def c_getattr(self, a, b, args=(), kwds={}): d = self.export_dict if b in d: return d[b](a, *args, **kwds) return self.c_getattr2(a, b) def c_getattr2(self, a, b): raise AttributeError(b) def c_get_render(self, a): return self.mod.summary_str.str_address def c_get_str_for(self, a, b): # A modification of str, for some cases, # when the set a is used as a determination of an idset b # Normally the same as brief, but.. 'dict of' will be different for eg module return a.brief def c_get_idpart_header(self, a): render = a.get_render() h = getattr(render, 'im_func', render) h = getattr(h, '_idpart_header', None) if not h: h = 'Value' return h def c_get_idpart_label(self, a): return '<%s>' % a def c_get_idpart_render(self, a): return self.c_get_render(a) def c_get_idpart_sortrender(self, a): render = self.c_get_idpart_render(a) if render is repr: return 'IDENTITY' h = getattr(render, 'im_func', render) render = getattr(h, '_idpart_sortrender', render) return render def c_hash(self, a): return hash(a.arg) def c_iter(self, a): raise TypeError('iteration over non-sequence') def c_len(self, a): raise TypeError('len() of unsized object') def c_nonzero(self, a): return True def c_mul(self, a, b): return self.mod._parent.Spec.cprod(a, b) def c_lshift(self, a, b): return self.Doc.add_origin(self.c_map(a, b), self.Doc.binop('lshift', a, b)) def c_map(self, a, b): if isinstance(b, list): b = tuple(b) if not isinstance(b, tuple): b = b, t = b + ('->', a) return self.mod._parent.Spec.mapping(*t) def c_repr(self, a): return self.c_str(a) def c_str(self, a): return self.c_get_brief(a) def c_sub(self, a, b): return a & ~b def c_test_contains(self, a, b, env): if not self.c_contains(a, b): return env.failed('%s: %s does not contain %s' % (self.__class__, env.name(a), env.name(b))) return True def c_xor(self, a, b): return (a - b) | (b - a) def _or_OR(self, a, b): return b.fam._or_TERM(b, a) def _rand_ATOM(self, a, b): return self._and_ATOM(a, b) class AtomFamily(Family): isatom = True isfactor = True opname = 'ATOM' def __init__(self, mod): Family.__init__(self, mod) self.disjoints |= [self] def c_and(self, a, b): return b.fam._and_ATOM(b, a) def _and_ATOM(self, a, b): return self.mod.fam_And(a, b) def _and_AND(self, a, b): return b.fam._and_ATOM(b, a) def _and_FACTOR(self, a, b): return self.mod.fam_And(a, b) def _and_INVERT(self, a, b): return b.fam._and_ATOM(b, a) def _factordisjoint_ATOM(self, a, b): return (a.fam.disjoints & b.fam.supers or b.fam.disjoints & a.fam.supers) def _factordisjoint_INVERT(self, a, b): return b.fam._factordisjoint_ATOM(b, a) def c_le(self, a, b): return b.fam._ge_ATOM(b, a) _le_AND = _le_INVERT = _le_AND = c_le def _le_ATOM(self, a, b): # b is known to not be Nothing since its c_ge doesn't call back return self.supercl is not None and self.supercl <= b def c_ge(self, a, b): return b.fam._le_ATOM(b, a) _ge_INVERT = _ge_AND = c_ge def _ge_ATOM(self, a, b): # b is known to not be Nothing since its c_le doesn't call back return b.fam.supercl is not None and b.fam.supercl <= a def c_or(self, a, b): return b.fam._or_ATOM(b, a) def _or_ATOM(self, a, b): return self.mod.fam_Or(a, b) _or_AND = _or_INVERT = c_or def c_invert(self, a): return self.mod.fam_Invert(a) def defrefining(self, arg): self.supercl = arg self.supers |= arg.fam.supers def defdisjoint(self, *args): # Define disjointness of sets under the condition that # neither of them is a subset of the other (determined in some other way.) # I.E., define that there is no partial overlap. # Declare that all sets of my (self) family are disjoint under this condition # from all sets of each family in args. self.disjoints |= args sc = self.supercl if sc is not None: self.disjoints |= sc.fam.disjoints def defrefidis(self, arg): self.defrefining(arg) self.defdisjoint(arg.fam) def fam_union(self): return self.supercl class ArgAtomFamily(AtomFamily): def _and_ID(self, a, b): cla, k, cmp = self.c_get_ckc(a) return cla.select_ids(b, k, cmp) def _ge_ATOM(self, a, b): # b is known to not be Nothing since its c_le doesn't call back if self is b.fam: return a.arg == b.arg return b.fam.supercl is not None and b.fam.supercl <= a def _le_ATOM(self, a, b): # b is known to not be Nothing since its c_ge doesn't call back if self is b.fam: return a.arg == b.arg return self.supercl is not None and self.supercl <= b def c_get_ckc(self, a): return self.classifier, a.arg, '==' class AndFamily(Family): opname = 'AND' isatom = False isfactor = False def __call__(self, a, b): if a <= b: return a if b <= a: return b if a.fam.c_factordisjoint(a, b): return self.mod.Nothing return self._cons((a, b)) def _cons(self, arg): # We allow explicit non-normalized constructions, as an optimization # for a in arg: # assert a.fam.isatom or isinstance(a.fam, InvertFamily) if len(arg) > 1: return self.Set(self, tuple(arg)) elif len(arg) == 1: return arg[0] else: return self.mod.Nothing def c_get_examples(self, a, env): ex = [] for ai in a.arg: try: e = env.get_examples(ai) except CoverageError: pass else: for ei in list(e): for aj in a.arg: if aj is not ai: if not env.contains(aj, ei): break else: ex.append(ei) return ex def c_and(self, a, b): return b.fam._and_AND(b, a) def _and_AND(self, a, b): for b in b.arg: a &= b return a def _and_FACTOR(self, a, b): # a0 & a1 & ... & b xs = [] for ai in a.arg: if ai <= b: return a elif b <= ai: pass elif ai.fam.c_factordisjoint(ai, b): return self.mod.Nothing else: xs.append(ai) xs.append(b) return self._cons(xs) _and_ATOM = _and_INVERT = _and_FACTOR def _and_ID(self, a, b): b = a.arg[0] & b for a in a.arg[1:]: if b is self.mod.Nothing: break b = a & b return b def c_le(self, a, b): return b.fam._ge_AND(b, a) def _le_TERM(self, a, b): b = a & b if b.fam is not self or len(b.arg) != len(a.arg): return False for x in a.arg: for y in b.arg: if x <= y: break else: return False return True _le_ATOM = _le_INVERT = _le_AND = _le_TERM def c_ge(self, a, b): return b.fam._le_AND(b, a) def _ge_TERM(self, a, b): for a in a.arg: if not a >= b: return False return True _ge_ATOM = _ge_INVERT = _ge_AND = _ge_TERM def c_or(self, a, b): return b.fam._or_AND(b, a) def _or_AND(self, a, b): # a0 & a1 ... | b0 & b1 ... # = Omega = ~self.mod.Nothing for i, ai in enumerate(a.arg): for j, bj in enumerate(b.arg): if ai | bj == Omega: aa = self._cons(a.arg[:i] + a.arg[i+1:]) bb = self._cons(b.arg[:j] + b.arg[j+1:]) if aa == bb: return aa return self.mod.fam_Or(a, b) def _or_TERM(self, a, b): # a0 & a1 ... | b if a <= b: return b if b <= a: return a xs = [] for ai in a.arg: aib = ai | b if aib.fam.isfactor: xs.append(aib) else: break else: r = ~self.mod.Nothing for x in xs: r &= x return r return self.mod.fam_Or(a, b) _or_ATOM = _or_INVERT = _or_TERM def c_invert(self, a): # ~(a0 & a1 ...) = ~a0 | ~a1 ... r = self.mod.Nothing for ai in a.arg: r |= ~ai return r def c_contains(self, a, b): for x in a.arg: if b not in x: return False return True def c_test_contains(self, a, b, env): for x in a.arg: if not env.test_contains(x, b, 'and'): return env.failed('Failed') return True def c_disjoint3(self, a, b): return (a & b) is self.mod.Nothing def c_get_render(self, c): for kind in c.arg: r = kind.get_render() if r: return r def r(o): return hex(id(o)) return r def c_get_brief(self, c): names = [kind.brief for kind in c.arg] # names.sort() ?? I think now I want them in given order. return '(%s)' % ' & '.join(names) + ')' def c_get_ckc(self, a): return ( self.mod.Classifiers.mker_and([x.biper for x in a.arg]).classifier, (0,)*len(a.arg), '==' ) def c_repr(self, a): reprs = [repr(k) for k in a.arg] return '(%s)' % ' & '.join(reprs) class OrFamily(Family): opname = 'OR' isatom = False isfactor = False def __call__(self, a, b): if b <= a: return a if a <= b: return b return self._cons((a, b)) def _cons(self, arg): # Must only be called with maximalized args for a in arg: assert a.fam.isfactor or isinstance(a.fam, AndFamily) if len(arg) > 1: return Family.__call__(self, tuple(arg)) elif len(arg) == 1: return arg[0] else: return self.mod.Nothing def c_contains(self, a, b): for x in a.arg: if b in x: return True return False def c_get_ckc(self, a): return self.mod.Use.findex(*a.arg).classifier, len(a.arg), '<' def c_get_examples(self, a, env): exa = [iter(env.get_examples(x)) for x in a.arg] while 1: n = 0 for i, e in enumerate(exa): if e is not None: try: yield next(e) except StopIteration: exa[i] = None else: n += 1 if not n: break def c_test_contains(self, a, b, env): return env.forsome(a.arg, lambda x: env.test_contains(x, b, 'Some x'), 'or') def c_and(self, a, b): if self is b.fam: return self._and_OR(a, b) else: return self._and_TERM(a, b) def _and_TERM(self, a, b): # (a0 | a1 ..) & b = a0 & b | a1 & b | ... r = self.mod.Nothing for a in a.arg: r |= a & b return r _and_ATOM = _and_INVERT = _and_AND = _and_TERM def _and_OR(self, a, b): # (a0 | a1 ..) & (b0 | b1 ..) = a0 & b0 | a0 & b1 ... a1 & b0 | a1 & b1 ... r = self.mod.Nothing for a in a.arg: for bi in b.arg: r |= a & bi return r def _and_ID(self, a, b): ai = a.arg[0] r = ai.fam._and_ID(ai, b) for ai in a.arg[1:]: r |= ai.fam._and_ID(ai, b) return r def _ge_TERM(self, a, b): a = a & b if a.fam is self: if b.fam is not a.fam or len(b.arg) != len(a.arg): return False assert 0 else: return b <= a _ge_ATOM = _ge_INVERT = _ge_AND = _ge_TERM def c_ge(self, a, b): if b.fam is self: return self.c_le(b, a) else: return self._ge_TERM(a, b) def c_le(self, a, b): for x in a.arg: if not x <= b: return False return True _le_ATOM = _le_INVERT = _le_AND = c_le def c_or(self, a, b): return b.fam._or_OR(b, a) def _or_TERM(self, a, b): # a0 | a1 ... | b xs = [] lt = False for a in a.arg: if not b >= a: xs.append(a) if b <= a: lt = True if not lt: xs.append(b) return self._cons(xs) _or_ATOM = _or_INVERT = _or_AND = _or_TERM def _or_OR(self, a, b): # (a0 | a1 ...) | (b0 | b1 ...) xs = maximals(a.arg + b.arg) return self._cons(xs) def c_invert(self, a): # ~(a0 | a1 ...) = ~a0 & ~a1 ... r = ~a.arg[0] for ai in a.arg[1:]: r &= ~ai return r def c_get_render(self, c): renders = self.mod.mutnodeset([kind.get_render() for kind in c.arg]) if len(renders) == 1: return list(renders)[0] else: def r(o): return hex(id(o)) r._idpart_header = 'Address' r._idpart_sortrender = lambda x: id(x) return r def c_get_brief(self, c): names = [kind.brief for kind in c.arg] names.sort() return '(' + ' | '.join(names) + ')' def c_get_idpart_header(self, a): return 'Brief' def c_get_idpart_label(self, a): return '<mixed>' def c_get_idpart_render(self, a): er = self.mod.Use.Clodo cla = er.classifier cli = cla.cli brmemo = {} def render(x): k = cli.classify(x) br = brmemo.get(k) if br is None: kind = cla.get_kind(k) b = cla.get_kind(k).brief r = kind.get_render() br = (b, r) brmemo[k] = br b, r = br return '%s: %s' % (b, r(x)) return render def c_get_idpart_sortrender(self, a): er = self.mod.Use.Clodo cla = er.classifier cli = cla.cli brmemo = {} def render(x): k = cli.classify(x) br = brmemo.get(k) if br is None: kind = cla.get_kind(k) b = cla.get_kind(k).brief r = kind.fam.c_get_idpart_sortrender(kind) br = (b, r) brmemo[k] = br else: b, r = br if r != 'IDENTITY': x = r(x) return (b, x) return render def c_repr(self, a): reprs = [repr(k) for k in a.arg] reprs.sort() return '(%s)' % ' | '.join(reprs) class InvertFamily(Family): opname = 'INVERT' isatom = False isfactor = True def __call__(self, a): assert a.fam.isatom if a is self.mod.Nothing: return self.mod.NotNothing else: return Family.__call__(self, a) def c_test_contains(self, a, b, env): return env.test_contains_not(a.arg, b, 'InvertFamily') def c_contains(self, a, b): return not b in a.arg def c_and(self, a, b): return b.fam._and_INVERT(b, a) _and_AND = c_and def _and_FACTOR(self, a, b): # ~a.arg & ~b.arg # ~a.arg & b # Is normal form? x = a.arg & b if x.fam.isatom: a = self(x) return self.mod.fam_And(a, b) _and_ATOM = _and_INVERT = _and_FACTOR def _and_ID(self, a, b): return b - (b & a.arg) def _factordisjoint_ATOM(self, a, b): # ~ a.arg <disjoint> b return b <= a.arg def _factordisjoint_INVERT(self, a, b): # ~ a.arg <disjoint> ~b.arg return False def c_le(self, a, b): return b.fam._ge_INVERT(b, a) _le_AND = c_le def _le_ATOM(self, a, b): # ~a.arg <= b return False def _le_INVERT(self, a, b): # ~a.arg <= ~b.arg return b.arg <= a.arg def c_ge(self, a, b): # ~a.arg >= b return a.arg.disjoint(b) _ge_ATOM = _ge_INVERT = _ge_AND = c_ge def c_or(self, a, b): return b.fam._or_INVERT(b, a) _or_AND = c_or def _or_FACTOR(self, a, b): # ~a.arg | b if a.arg <= b: return ~self.mod.Nothing x = a.arg & b if x is self.mod.Nothing: return a return self.mod.fam_Or(a, b) _or_ATOM = _or_INVERT = _or_FACTOR def c_invert(self, a): # ~(~a.arg) = a.arg return a.arg def c_get_render(self, a): return a.arg.get_render() def c_get_brief(self, a): n = a.arg.brief if (not (n.startswith('(') or n.startswith('<')) and ' ' in n): n = '(%s)' % n return '~%s' % n def c_get_ckc(self, a): # This uses only existing machinery for C-level classification. # The alternatives are discussed in Notes 21 Sep 2005. return ( a.arg.biper.classifier, 0, '!=' ) def c_repr(self, a): return '~%s' % repr(a.arg) class FamilyFamily(AtomFamily): def __init__(self, mod): AtomFamily.__init__(self, mod) self.add_export('union', lambda x: x.arg.fam_union()) def c_contains(self, a, b): return isinstance(b, UniSet) and b.fam is a.arg def c_get_brief(self, c): return '<Family: %s>' % c.arg.__class__ class IdentitySetFamily(AtomFamily): def __init__(self, mod): AtomFamily.__init__(self, mod) self.defrefining(mod.Anything) self.immnodeset = mod.immnodeset self.Part = mod.Part self.Path = mod.Path self.RefPat = mod.RefPat self.View = mod.View self.Use = mod.Use def __call__(self, *args, **kwds): return self._cons(args, **kwds) def _cons(self, arg, er=None): # arg is a sequence of nodes arg = self.immnodeset(arg) if not arg: return self.mod.Nothing elif len(arg) == 1: r = IdentitySetSingleton(self, tuple(arg)[0]) else: r = IdentitySetMulti(self, arg) if er is not None: r._er = er return r def c_and(self, a, b): if b.fam is self: return self._cons(a.nodes & b.nodes) elif b.fam is self.mod.fam_Invert: return self._and_INVERT(a, b) else: return b.fam._and_ID(b, a) def _and_ATOM(self, a, b): if b.fam is self: return self._cons(a.nodes & b.nodes) else: return b.fam._and_ID(b, a) def _and_AND(self, a, b): return b.fam._and_ID(b, a) def _and_ID(self, a, b): return self._cons(a.nodes & b.nodes) def _and_INVERT(self, a, b): if b.arg.fam is self: return self._cons(a.nodes - b.arg.nodes) elif b is self.mod.NotNothing: return a else: return b.fam._and_ID(b, a) def c_get_ckc(self, a): return self.mod.Classifiers.Idset.classifier, a.nodes, '<=' def c_hash(self, a): return hash(a.nodes) def c_iter(self, a): # It's not well-defined to iterate and is considered error-prone # and may be SO much slower than expected # they need to be explicit to iterate over elements or partition subset raise TypeError('iteration over non-sequence') def c_len(self, a): # The length corresponds to # o the number of rows in how it is printed # o the max getitem-wise index + 1 # (Notes May 13 2005) return a.partition.numrows def c_contains(self, a, b): return b in a.nodes def c_le(self, a, b): if not b.fam is self: b = b.fam._and_ID(b, a) return a.nodes <= b.nodes _le_ATOM = _le_INVERT = _le_AND = c_le def c_or(self, a, b): if b.fam is self: return self._cons(a.nodes | b.nodes) else: a = a - b.fam._and_ID(b, a) return b.fam._or_ATOM(b, a) _or_ATOM = _or_INVERT = _or_AND = _or_OR = c_or def c_get_brief(self, c): return self.get_str_summary(c) def c_get_render(self, a): return a.kind.get_render() def c_getitem(self, a, idx): return a.partition.get_set(idx) def c_str(self, a): return a.more._oh_printer.get_str_of_top() def maprox_getattr(self, set, name): ns = self.mod.mutnodeset() for x in set.nodes: try: v = getattr(x, name) except AttributeError: pass else: ns.add(v) return self._cons(self.mod.immnodeset(ns)) def maprox_getitem(self, set, idx): ns = self.mod.mutnodeset() for x in set.nodes: try: v = x[idx] except (KeyError, IndexError): pass else: ns.add(v) return self._cons(self.mod.immnodeset(ns)) def c_get_idpart_header(self, a): return 'Kind: Name/Value/Address' def c_get_idpart_label(self, a): return '' def c_get_idpart_render(self, a): def render(x): x = self.mod.iso(x) r = x.brief.lstrip('<1 ').rstrip('>') return r return render def get_by(self, a, er): ers = [] if isinstance(er, EquivalenceRelation): ers.append(er) else: try: ss = er.split('&') except Exception: raise TypeError( 'by(): Equivalence relation or string expected.') if ss == ['']: ss = [] for s in ss: try: if not s.istitle() or s.startswith('er_'): s = 'er_'+s er = getattr(self.Use, s) except AttributeError: raise ValueError( 'by(): No such equivalence relation defined in heapy.Use: %r' % s) ers.append(er) if not ers: er = self.Use.Unity else: er = ers[0] for i in range(1, len(ers)): er &= ers[i] if a.er is not er: a = self._cons(a.nodes, er=er) return a def get_er(self, a): try: er = a._er except AttributeError: er = self.mod.Use.Clodo a._er = er return er def get_more(self, a): try: m = a._more except AttributeError: m = self.mod.OutputHandling.more_printer(a, a.partition) a._more = m return m def get_all(self, a): return a.more.all def get_owners(self, a): return self.mod.Use.Clodo.classifier.owners(a) def get_partition(self, a): try: p = a._partition except AttributeError: a.fam.View.clear_check() p = a.fam.Part.partition(a, a.er) a._partition = p return p def get_str_idpart(self, set, cla): # Get the string that is used for the 'identity partition' # when the objects share a common classification (cla) s = cla.fam.c_get_str_for(cla, set) return s def get_str_refpat(self, set, cla, max_length): # Get the string that is used at the end of a reference pattern line strs = [] strs.append('%d ' % set.count) strs.append(cla.fam.c_get_str_for(cla, set)) strs.append(': ') strs.append(self.get_str_rendered( set, cla, max_length-len(''.join(strs)))) s = ''.join(strs) if len(s) > max_length: s = s[:max_length - 3]+'...' return s def get_str_rendered(self, set, cla, max_length=None): if max_length is None: max_length = 50 strs = [] lens = 0 render = cla.get_render() for p in set.nodes: rs = render(p) if lens and lens + len(rs) + 2 >= max_length: strs[-1] += '...' # but what can be done in limited time break lens += len(rs) + 2 strs.append(rs) strs.sort() return ', '.join(strs) def get_str_summary(self, c, max_length=None, er=None): if max_length is None: max_length = self.mod.max_summary_length if er is None: er = c.er set = c.nodes items = er.classifier.partition(set) keys = [k for k, v in items] cla = reduce(lambda x, y: x | y, keys) s = '<%d %s' % (len(set), cla.fam.c_get_str_for(cla, c)) s += ': ' bslen = len(s) bstrs = [] for cla, set in items: css = self.get_str_rendered(set, cla, max_length-bslen) if len(items) > 1: css = '<%d %s: %s>' % (set.count, cla, css) bstrs.append(css) bslen += len(css) + 3 if bslen > max_length: break # Don't use the initial count when comparing if len(bstrs) > 1: bstrs.sort(key=lambda x: x[x.index(' '):]) s += ' | '.join(bstrs) + '>' if len(s) > max_length: s = s[:max_length-4]+'...>' return s def get_parts(self, X): return [x for x in X.partition.get_sets()] def get_theone(self, set): if len(set.nodes) == 1: return list(set.nodes)[0] raise ValueError('theone requires a singleton set') def get_prod(self, set): obj = self.get_theone(set) self.mod.Use._check_tracemalloc() tb = self.mod.tracemalloc.get_object_traceback(obj) if tb is None: return try: frames = tb.format(most_recent_first=True) except TypeError: # Py < 3.7 frames = tb.format() # TODO: move to a delicated file class Printer: def _oh_get_line_iter(self): yield 'Traceback (most recent call first):' yield from frames printer = Printer() printer.mod = self.mod self.mod.OutputHandling.setup_printing(printer) return printer class EmptyFamily(IdentitySetFamily): # Inherits from IdentitySetFamily because the special exported methods # tend to be required by applications. # There is only one object of EmptyFamily: UniSet.Nothing # The new method implementations added here are mostly for optimization. # (Other families may assume the EmptyFamily have these methods.) # The .nodes is an empty immnodeset so IdentitySetFamily methods should work. # The main change from IdentitySetFamily is the representations. def __init__(self, mod): IdentitySetFamily.__init__(self, mod) def c_and(self, a, b): return a _and_ATOM = _and_INVERT = _and_AND = _and_OR = _and_ID = c_and def c_contains(self, a, b): return False def c_ge(self, a, b): if b is a: return True return False _ge_ATOM = _ge_INVERT = _ge_AND = c_ge def c_get_brief(self, a): return '<Nothing>' def c_repr(self, a): return '%s%s' % (self.mod.Use.reprefix, 'Nothing') def c_iter(self, a): return iter(()) def c_le(self, a, b): return True _le_ATOM = _le_INVERT = _le_AND = c_le def c_len(self, a): return 0 def c_nonzero(self, a): return False def c_or(self, a, b): return b _or_ATOM = _or_INVERT = _or_AND = _or_OR = c_or def c_str(self, a): return self.c_get_brief(a) def c_sub(self, a, b): return a def c_xor(self, a, b): return b class EquivalenceRelationFamily(AtomFamily): def __init__(self, mod): AtomFamily.__init__(self, mod) self.Set = EquivalenceRelation self.Use = mod.Use self.Classifiers = mod.Classifiers def __call__(self, constructor, *args, **kwds): # Passing classifier constructor rather than constructed classifier, # to make sure there is a 1-1 relation between equivalence relations and classifers. cl = constructor(*args, **kwds) er = self.Set(self, cl) cl.er = er return er def c_contains(self, a, b): # XXX should have a smoother protocol try: return len(b.by(a)) == 1 except AttributeError: try: ckc = b.get_ckc() except Exception: return False else: return ckc[0].er <= a and ckc[2] == '==' def c_getattr(self, a, name): classifier = a.classifier try: g = getattr(classifier, 'get_attr_for_er') except AttributeError: raise AttributeError(name) return g(name) def c_and(self, a, b): if b.fam is not self: return AtomFamily.c_and(self, a, b) ers = [] for x in (a, b): if x.erargs: ers.extend(x.erargs) else: ers.append(x) ers = minimals(ers) if len(ers) == 1: return ers[0] er = self.Classifiers.mker_and(ers) er.erargs = tuple(ers) return er def _ge_ATOM(self, a, b): if b.fam is self: return a.classifier in b.classifier.super_classifiers return False def _le_ATOM(self, a, b): if b.fam is self: return b.classifier in a.classifier.super_classifiers return False def c_call(self, a, args, kwds): return a.classifier.get_userkind(*args, **kwds) def c_get_brief(self, a): return 'Equiv. relation %s' % a.classifier def c_getitem(self, a, idx): return a.classifier.relimg(self.mod.nodeset_adapt(idx)) def c_repr(self, a): return a.classifier.get_reprname() class Summary_str: def __init__(self, mod): self.mod = mod types = mod.types._module self.invtypes = {} for k, v in sorted(types.__dict__.items()): if isinstance(v, type): self.invtypes[v] = 'types.%s' % k for k, v in sorted(types.__builtins__.items()): if isinstance(v, type): self.invtypes[v] = k # This is to make common printouts prettier / shorter (: and clearer ? :) # but may be disabled for clearer repr() self.shorter_invtypes = {} for name in ('module', 'function'): t = getattr(types, name.capitalize()+'Type') self.shorter_invtypes[t] = name self.table = { mod.NodeSet: self.str_address_len, bool: self.str_repr, types.BuiltinFunctionType: self.str_builtin_function, types.CodeType: self.str_code, complex: self.str_repr, dict: self.str_address_len, float: self.str_repr, types.FrameType: self.str_frame, types.FunctionType: self.str_function, int: self.str_repr, list: self.str_address_len, type(None): self.str_repr, types.MethodType: self.str_method, types.ModuleType: self.str_module, types.TracebackType: self.str_traceback, bytes: self.str_limrepr, str: self.str_limrepr, tuple: self.str_address_len, type: self.str_type, } def __call__(self, key, longer=False): x = self.table.get(key) if x is None: if issubclass(key, type): x = self.str_type else: x = self.str_address if longer and 'longer' in x.__func__.__code__.co_varnames: return lambda k: x(k, longer=longer) else: return x def set_function(self, type, func): self.table[type] = func def str_address(self, x): return hex(id(x)) str_address._idpart_header = 'Address' str_address._idpart_sortrender = id def str_address_len(self, x): return self.str_address(x)+self.str_len(x) str_address_len._idpart_header = 'Address*Length' str_address_len._idpart_sortrender = id def str_builtin_function(self, x): n = x.__name__ m = x.__module__ if m != 'builtins': n = '%s.%s' % (m, n) return n str_builtin_function._idpart_header = 'Name' def str_code(self, x): return '%s:%d:%s' % (self.mod._root.os.path.basename(x.co_filename), x.co_firstlineno, x.co_name) str_code._idpart_header = 'File:Line:Name' def str_frame(self, x): return '<%s at %s>' % (x.f_code.co_name, self.str_address(x)) str_frame._idpart_header = 'Name at Address' def str_function(self, x): return '%s.%s' % (x.__module__, x.__name__) str_function._idpart_header = 'Name' def str_len(self, x): return '*%d' % len(x) str_len._idpart_header = 'Length' def str_method(self, x): cn = self.str_type(x.__self__.__class__) if x.__self__ is not None: cn = '<%s at %s>' % (cn, self.str_address(x.__self__)) func = x.__func__ try: func_name = func.__func__ except AttributeError: func_name = func.__name__ return '%s.%s' % (cn, func_name) str_method._idpart_header = 'Type/<Type at address> . method' def str_module(self, x): return x.__name__ str_module._idpart_header = 'Name' def str_limrepr(self, x): return self.mod._root.reprlib.repr(x) str_limrepr._idpart_header = 'Representation (limited)' str_limrepr._idpart_sortrender = 'IDENTITY' str_repr = repr def str_traceback(self, x): return '<in frame %s at %s>' % (self.str_frame(x.tb_frame), self.str_address(x)) str_traceback._idpart_header = 'Frame at Address' def str_type(self, x, longer=False): if x in self.shorter_invtypes and not longer: return self.shorter_invtypes[x] if x in self.invtypes: return self.invtypes[x] if not hasattr(x, '__module__'): return f'<unknown module>.{x.__name__}' return f'{x.__module__}.{x.__name__}' str_type._idpart_header = 'Name' def str_type_longer(self, x): if x in self.invtypes: return self.invtypes[x] return '%s.%s' % (x.__module__, x.__name__) str_type._longer_method = lambda x: str_type def maximals(A, le=lambda x, y: x <= y): " Find the maximal element(s) of a partially ordered sequence" r = [] for x in A: for a in A: if le(x, a) and not le(a, x): break else: for a in r: if le(x, a): break else: r.append(x) return r def minimals(A, le=lambda x, y: x <= y): " Find the minimal element(s) of a sequence of partially ordered elements" r = [] for x in A: for a in A: if le(a, x) and not le(x, a): break else: for a in r: if le(a, x): break else: r.append(x) return r class _GLUECLAMP_: max_summary_length = 80 auto_convert_type = True auto_convert_iter = False # Can give problems if enabled; notes 22/11-04 out_reach_module_names = ('UniSet', 'View', 'Path', 'RefPat') _chgable_ = ('max_summary_length', 'out_reach_module_names', 'auto_convert_type', 'auto_convert_iter', 'output') # _preload_ = ('_hiding_tag_',) # Module 'imports' _imports_ = ( '_parent:Classifiers', '_parent:ImpSet', '_parent.ImpSet:emptynodeset', '_parent.ImpSet:immnodeset', '_parent.ImpSet:mutnodeset', '_parent.ImpSet:NodeSet', '_parent:Part', '_parent:Path', '_parent:RefPat', '_parent:OutputHandling', '_parent:View', '_parent.View:_hiding_tag_', '_parent.View:hv', '_parent:Use', '_root:tracemalloc', '_root:types', ) # def _get_Anything(self): return self.Use.Unity.classifier.get_kind(None) def _get_Nothing(self): return IdentitySetMulti( EmptyFamily(self), self.emptynodeset) def _get_NotNothing(self): return Family.__call__( self.fam_Invert, self.Nothing) def _get_export_dict(self): d = {} for k, v in list(self.out_reach_dict.items()): sc = getattr(v, '_uniset_exports', ()) for sc in sc: x = getattr(v, sc) if sc in d and d[sc] is not x: raise RuntimeError( 'Duplicate export: %r defined in: %r' % (sc, k)) d[sc] = x return d def _get_out_reach_dict(self): d = {} for name in self.out_reach_module_names: d[name] = getattr(self._parent, name) return d def _get_summary_str(self): return self.Summary_str(self) def _get_fam_And(self): return self.AndFamily(self) def _get_fam_EquivalenceRelation( self): return EquivalenceRelationFamily(self) def _get_fam_Or(self): return self.OrFamily(self) def _get_fam_IdentitySet(self): return self.IdentitySetFamily(self) def _get_fam_Invert(self): return self.InvertFamily(self) def _get_fam_Family(self): return self.FamilyFamily(self) def _get_fam_mixin_argatom(self): memo = {} def f(Mixin, *args, **kwds): C = memo.get(Mixin) if C is None: class C(Mixin, self.ArgAtomFamily): def __init__(self, mod, *args, **kwds): mod.ArgAtomFamily.__init__(self, mod) Mixin.__init__(self, mod, *args, **kwds) C.__qualname__ = C.__name__ = Mixin.__name__ memo[Mixin] = C return C(self, *args, **kwds) return f def idset_adapt(self, X): if isinstance(X, self.IdentitySet): ids = X elif isinstance(X, self.NodeSet): ids = self.idset(X) else: raise TypeError( 'IdentitySet or NodeSet expected, got %r.' % type(X)) if X._hiding_tag_ is not self._hiding_tag_: raise ValueError( "The argument has wrong _hiding_tag_, you may convert it by Use.idset or Use.iso.") return ids def idset(self, iterable, er=None): return self.fam_IdentitySet._cons(self.immnodeset(iterable), er=er) def _get_iso(self): return self.fam_IdentitySet def isuniset(self, obj): return isinstance(obj, self.UniSet) # Or has some particular attributes? def nodeset_adapt(self, X): if isinstance(X, self.NodeSet): ns = X elif isinstance(X, self.IdentitySet): ns = X.nodes else: raise TypeError( 'IdentitySet or NodeSet expected, got %r.' % type(X)) if X._hiding_tag_ is not self._hiding_tag_: raise ValueError( "The argument has wrong _hiding_tag_, you may convert it by Use.idset or Use.iso.") return ns def retset(self, X): if not isinstance(X, self.IdentitySet): X = self.idset(X) return X def union(self, args, maximized=False): if not args: return self.Nothing a = args[0] for b in args[1:]: a |= b return a # This optimization didn't work for idsets!! # XXX to fix back if not maximized: args = maximals(args) return self.fam_Or._cons(args) def uniset_from_setcastable(self, X): if isinstance(X, UniSet) and X._hiding_tag_ is self._hiding_tag_: return X types = self.types if isinstance(X, type) and self.auto_convert_type: return self.Use.Type(X) elif isinstance(X, self.NodeSet) and X._hiding_tag_ is self._hiding_tag_: return self.idset(X) elif self.auto_convert_iter: try: it = iter(X) except TypeError: pass # Will raise a 'more informative' exception below else: return self.idset(it) raise TypeError( "Argument is not automatically convertible to a UniSet with correct _hiding_tag_.")
Save File
Cancel