downgrade to prov 1.5.1

cwlprov/prov.py

@@ -55,12 +55,13 @@
     ProvSpecialization,
     ProvStart,
     ProvUsage,
-    QualifiedNameCandidate,
 )
 
 from .utils import first, prov_type
 
 if TYPE_CHECKING:
+    from prov.model import QualifiedNameCandidate
+
     from .ro import ResearchObject
 
 CWLPROV = Namespace("cwlprov", "https://w3id.org/cwl/prov#")
@@ -225,10 +226,10 @@ def __repr__(self) -> str:
     def __str__(self) -> str:
         return self.record.get_provn()
 
-    def _prov_attr(self, attr: QualifiedNameCandidate) -> Optional[QualifiedName]:
+    def _prov_attr(self, attr: "QualifiedNameCandidate") -> Optional[QualifiedName]:
         return first(self._prov_attrs(attr))
 
-    def _prov_attrs(self, attr: QualifiedNameCandidate) -> set[QualifiedName]:
+    def _prov_attrs(self, attr: "QualifiedNameCandidate") -> set[QualifiedName]:
         return self.record.get_attribute(attr)
 
 

mypy-stubs/prov/__init__.pyi

@@ -1,13 +1,8 @@
-import os
-from prov.model import ProvDocument
-
-__all__ = ["Error", "model", "read"]
+from _typeshed import Incomplete
 
 class Error(Exception): ...
 
-def read(
-    source: str | bytes | os.PathLike[str], format: str | None = None
-) -> ProvDocument | None: ...
+# def read(source, format: Incomplete | None = ...): ...
 
 # Names in __all__ with no definition:
 #   model

mypy-stubs/prov/constants.py

@@ -0,0 +1,215 @@
+from prov.identifier import Namespace
+
+__author__ = "Trung Dong Huynh"
+__email__ = "trungdong@donggiang.com"
+
+
+XSD = Namespace("xsd", "http://www.w3.org/2001/XMLSchema#")
+PROV = Namespace("prov", "http://www.w3.org/ns/prov#")
+XSI = Namespace("xsi", "http://www.w3.org/2001/XMLSchema-instance")
+
+#  C1. Entities/Activities
+PROV_ENTITY = PROV["Entity"]
+PROV_ACTIVITY = PROV["Activity"]
+PROV_GENERATION = PROV["Generation"]
+PROV_USAGE = PROV["Usage"]
+PROV_COMMUNICATION = PROV["Communication"]
+PROV_START = PROV["Start"]
+PROV_END = PROV["End"]
+PROV_INVALIDATION = PROV["Invalidation"]
+
+#  C2. Derivations
+PROV_DERIVATION = PROV["Derivation"]
+
+#  C3. Agents/Responsibility
+PROV_AGENT = PROV["Agent"]
+PROV_ATTRIBUTION = PROV["Attribution"]
+PROV_ASSOCIATION = PROV["Association"]
+PROV_DELEGATION = PROV["Delegation"]
+PROV_INFLUENCE = PROV["Influence"]
+#  C4. Bundles
+PROV_BUNDLE = PROV["Bundle"]
+#  C5. Alternate
+PROV_ALTERNATE = PROV["Alternate"]
+PROV_SPECIALIZATION = PROV["Specialization"]
+PROV_MENTION = PROV["Mention"]
+#  C6. Collections
+PROV_MEMBERSHIP = PROV["Membership"]
+
+PROV_N_MAP = {
+    PROV_ENTITY: "entity",
+    PROV_ACTIVITY: "activity",
+    PROV_GENERATION: "wasGeneratedBy",
+    PROV_USAGE: "used",
+    PROV_COMMUNICATION: "wasInformedBy",
+    PROV_START: "wasStartedBy",
+    PROV_END: "wasEndedBy",
+    PROV_INVALIDATION: "wasInvalidatedBy",
+    PROV_DERIVATION: "wasDerivedFrom",
+    PROV_AGENT: "agent",
+    PROV_ATTRIBUTION: "wasAttributedTo",
+    PROV_ASSOCIATION: "wasAssociatedWith",
+    PROV_DELEGATION: "actedOnBehalfOf",
+    PROV_INFLUENCE: "wasInfluencedBy",
+    PROV_ALTERNATE: "alternateOf",
+    PROV_SPECIALIZATION: "specializationOf",
+    PROV_MENTION: "mentionOf",
+    PROV_MEMBERSHIP: "hadMember",
+    PROV_BUNDLE: "bundle",
+}
+
+# Records defined as subtypes in PROV-N but top level types in for example
+# PROV XML also need a mapping.
+ADDITIONAL_N_MAP = {
+    PROV["Revision"]: "wasRevisionOf",
+    PROV["Quotation"]: "wasQuotedFrom",
+    PROV["PrimarySource"]: "hadPrimarySource",
+    PROV["SoftwareAgent"]: "softwareAgent",
+    PROV["Person"]: "person",
+    PROV["Organization"]: "organization",
+    PROV["Plan"]: "plan",
+    PROV["Collection"]: "collection",
+    PROV["EmptyCollection"]: "emptyCollection",
+}
+
+# Maps qualified names from the PROV namespace to their base class. If it
+# has no baseclass it maps to itsself. This is needed for example for PROV
+# XML (de)serializer where extended types are used a lot.
+PROV_BASE_CLS = {
+    PROV_ENTITY: PROV_ENTITY,
+    PROV_ACTIVITY: PROV_ACTIVITY,
+    PROV_GENERATION: PROV_GENERATION,
+    PROV_USAGE: PROV_USAGE,
+    PROV_COMMUNICATION: PROV_COMMUNICATION,
+    PROV_START: PROV_START,
+    PROV_END: PROV_END,
+    PROV_INVALIDATION: PROV_INVALIDATION,
+    PROV_DERIVATION: PROV_DERIVATION,
+    PROV["Revision"]: PROV_DERIVATION,
+    PROV["Quotation"]: PROV_DERIVATION,
+    PROV["PrimarySource"]: PROV_DERIVATION,
+    PROV_AGENT: PROV_AGENT,
+    PROV["SoftwareAgent"]: PROV_AGENT,
+    PROV["Person"]: PROV_AGENT,
+    PROV["Organization"]: PROV_AGENT,
+    PROV_ATTRIBUTION: PROV_ATTRIBUTION,
+    PROV_ASSOCIATION: PROV_ASSOCIATION,
+    PROV["Plan"]: PROV_ENTITY,
+    PROV_DELEGATION: PROV_DELEGATION,
+    PROV_INFLUENCE: PROV_INFLUENCE,
+    PROV_ALTERNATE: PROV_ALTERNATE,
+    PROV_SPECIALIZATION: PROV_SPECIALIZATION,
+    PROV_MENTION: PROV_MENTION,
+    PROV["Collection"]: PROV_ENTITY,
+    PROV["EmptyCollection"]: PROV_ENTITY,
+    PROV_MEMBERSHIP: PROV_MEMBERSHIP,
+    PROV_BUNDLE: PROV_ENTITY,
+}
+
+# Identifiers for PROV's attributes
+PROV_ATTR_ENTITY = PROV["entity"]
+PROV_ATTR_ACTIVITY = PROV["activity"]
+PROV_ATTR_TRIGGER = PROV["trigger"]
+PROV_ATTR_INFORMED = PROV["informed"]
+PROV_ATTR_INFORMANT = PROV["informant"]
+PROV_ATTR_STARTER = PROV["starter"]
+PROV_ATTR_ENDER = PROV["ender"]
+PROV_ATTR_AGENT = PROV["agent"]
+PROV_ATTR_PLAN = PROV["plan"]
+PROV_ATTR_DELEGATE = PROV["delegate"]
+PROV_ATTR_RESPONSIBLE = PROV["responsible"]
+PROV_ATTR_GENERATED_ENTITY = PROV["generatedEntity"]
+PROV_ATTR_USED_ENTITY = PROV["usedEntity"]
+PROV_ATTR_GENERATION = PROV["generation"]
+PROV_ATTR_USAGE = PROV["usage"]
+PROV_ATTR_SPECIFIC_ENTITY = PROV["specificEntity"]
+PROV_ATTR_GENERAL_ENTITY = PROV["generalEntity"]
+PROV_ATTR_ALTERNATE1 = PROV["alternate1"]
+PROV_ATTR_ALTERNATE2 = PROV["alternate2"]
+PROV_ATTR_BUNDLE = PROV["bundle"]
+PROV_ATTR_INFLUENCEE = PROV["influencee"]
+PROV_ATTR_INFLUENCER = PROV["influencer"]
+PROV_ATTR_COLLECTION = PROV["collection"]
+
+#  Literal properties
+PROV_ATTR_TIME = PROV["time"]
+PROV_ATTR_STARTTIME = PROV["startTime"]
+PROV_ATTR_ENDTIME = PROV["endTime"]
+
+
+PROV_ATTRIBUTE_QNAMES = {
+    PROV_ATTR_ENTITY,
+    PROV_ATTR_ACTIVITY,
+    PROV_ATTR_TRIGGER,
+    PROV_ATTR_INFORMED,
+    PROV_ATTR_INFORMANT,
+    PROV_ATTR_STARTER,
+    PROV_ATTR_ENDER,
+    PROV_ATTR_AGENT,
+    PROV_ATTR_PLAN,
+    PROV_ATTR_DELEGATE,
+    PROV_ATTR_RESPONSIBLE,
+    PROV_ATTR_GENERATED_ENTITY,
+    PROV_ATTR_USED_ENTITY,
+    PROV_ATTR_GENERATION,
+    PROV_ATTR_USAGE,
+    PROV_ATTR_SPECIFIC_ENTITY,
+    PROV_ATTR_GENERAL_ENTITY,
+    PROV_ATTR_ALTERNATE1,
+    PROV_ATTR_ALTERNATE2,
+    PROV_ATTR_BUNDLE,
+    PROV_ATTR_INFLUENCEE,
+    PROV_ATTR_INFLUENCER,
+    PROV_ATTR_COLLECTION,
+}
+PROV_ATTRIBUTE_LITERALS = {PROV_ATTR_TIME, PROV_ATTR_STARTTIME, PROV_ATTR_ENDTIME}
+
+# Set of formal attributes of PROV records
+PROV_ATTRIBUTES = PROV_ATTRIBUTE_QNAMES | PROV_ATTRIBUTE_LITERALS
+PROV_RECORD_ATTRIBUTES = list((attr, str(attr)) for attr in PROV_ATTRIBUTES)
+
+PROV_RECORD_IDS_MAP = {
+    PROV_N_MAP[rec_type_id]: rec_type_id for rec_type_id in PROV_N_MAP
+}
+PROV_ID_ATTRIBUTES_MAP = {
+    prov_id: attribute for (prov_id, attribute) in PROV_RECORD_ATTRIBUTES
+}
+PROV_ATTRIBUTES_ID_MAP = {
+    attribute: prov_id for (prov_id, attribute) in PROV_RECORD_ATTRIBUTES
+}
+
+# Extra definition for convenience
+PROV_TYPE = PROV["type"]
+PROV_LABEL = PROV["label"]
+PROV_VALUE = PROV["value"]
+PROV_LOCATION = PROV["location"]
+PROV_ROLE = PROV["role"]
+
+PROV_QUALIFIEDNAME = PROV["QUALIFIED_NAME"]
+
+# XSD DATA TYPES
+XSD_ANYURI = XSD["anyURI"]
+XSD_QNAME = XSD["QName"]
+XSD_DATETIME = XSD["dateTime"]
+XSD_TIME = XSD["time"]
+XSD_DATE = XSD["date"]
+XSD_STRING = XSD["string"]
+XSD_BOOLEAN = XSD["boolean"]
+# All XSD Integer types
+XSD_INTEGER = XSD["integer"]
+XSD_LONG = XSD["long"]
+XSD_INT = XSD["int"]
+XSD_SHORT = XSD["short"]
+XSD_BYTE = XSD["byte"]
+XSD_NONNEGATIVEINTEGER = XSD["nonNegativeInteger"]
+XSD_UNSIGNEDLONG = XSD["unsignedLong"]
+XSD_UNSIGNEDINT = XSD["unsignedInt"]
+XSD_UNSIGNEDSHORT = XSD["unsignedShort"]
+XSD_UNSIGNEDBYTE = XSD["unsignedByte"]
+XSD_POSITIVEINTEGER = XSD["positiveInteger"]
+XSD_NONPOSITIVEINTEGER = XSD["nonPositiveInteger"]
+XSD_NEGATIVEINTEGER = XSD["negativeInteger"]
+# All XSD real number types
+XSD_FLOAT = XSD["float"]
+XSD_DOUBLE = XSD["double"]
+XSD_DECIMAL = XSD["decimal"]