|
@@ -24,7 +24,7 @@ TABLE_DIR = path.join(path.dirname(path.realpath(__file__)), "data")
|
|
|
logger = logging.getLogger(__name__)
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
|
|
|
|
-class Token:
|
|
|
|
|
|
|
+class Token(str):
|
|
|
"""
|
|
"""
|
|
|
Token class: minimal unit of text parsing.
|
|
Token class: minimal unit of text parsing.
|
|
|
|
|
|
|
@@ -63,6 +63,9 @@ class Token:
|
|
|
# If the root strings are different, perform a normal comparison.
|
|
# If the root strings are different, perform a normal comparison.
|
|
|
return self.content < other.content
|
|
return self.content < other.content
|
|
|
|
|
|
|
|
|
|
+ def __hash__(self):
|
|
|
|
|
+ return hash(self.content)
|
|
|
|
|
+
|
|
|
|
|
|
|
|
@cache
|
|
@cache
|
|
|
def list_tables():
|
|
def list_tables():
|
