diff --git a/stubs/rdfdb/graphfile.pyi b/stubs/rdfdb/graphfile.pyi deleted file mode 100644 --- a/stubs/rdfdb/graphfile.pyi +++ /dev/null @@ -1,27 +0,0 @@ -# Stubs for rdfdb.graphfile (Python 3) -# -# NOTE: This dynamically typed stub was automatically generated by stubgen. - -from typing import Any - -log: Any -iolog: Any - -def patchN3SerializerToUseLessWhitespace(cutColumn: int = ...): ... - -class GraphFile: - lastWriteTimestamp: int = ... - globalPrefixes: Any = ... - ctxPrefixes: Any = ... - readPrefixes: Any = ... - flushDelay: int = ... - writeCall: Any = ... - notifier: Any = ... - def __init__(self, notifier: Any, path: Any, uri: Any, patch: Any, getSubgraph: Any, globalPrefixes: Any, ctxPrefixes: Any) -> None: ... - def addWatch(self) -> None: ... - def notify(self, notifier: Any, filepath: Any, mask: Any) -> None: ... - def fileGone(self) -> None: ... - def reread(self) -> None: ... - graphToWrite: Any = ... - def dirty(self, graph: Any) -> None: ... - def flush(self) -> None: ...