2021-01-17 11:40:15 +00:00
|
|
|
from __future__ import annotations
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
import collections
|
2020-11-26 22:45:32 +00:00
|
|
|
import difflib
|
2020-06-21 22:40:47 +00:00
|
|
|
import logging
|
2020-12-22 09:21:41 +00:00
|
|
|
import os
|
2020-06-21 19:27:40 +00:00
|
|
|
import re
|
2020-11-26 22:45:32 +00:00
|
|
|
import sys
|
2021-01-05 23:25:06 +00:00
|
|
|
from datetime import date, datetime, timedelta
|
2020-11-02 19:39:16 +00:00
|
|
|
from enum import Enum
|
2022-06-05 21:32:32 +00:00
|
|
|
from typing import Generator, List, Optional, Tuple, Union
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2021-08-26 22:22:15 +00:00
|
|
|
from . import dom
|
|
|
|
|
2021-10-24 21:15:22 +00:00
|
|
|
DEBUG_DIFF_CONTEXT = 10
|
|
|
|
|
2020-06-21 19:27:40 +00:00
|
|
|
BASE_ENVIRONMENT = {
|
2020-11-02 19:39:16 +00:00
|
|
|
"org-footnote-section": "Footnotes",
|
|
|
|
"org-options-keywords": (
|
2020-06-21 19:27:40 +00:00
|
|
|
"ARCHIVE:",
|
|
|
|
"AUTHOR:",
|
|
|
|
"BIND:",
|
|
|
|
"CATEGORY:",
|
|
|
|
"COLUMNS:",
|
|
|
|
"CREATOR:",
|
|
|
|
"DATE:",
|
|
|
|
"DESCRIPTION:",
|
|
|
|
"DRAWERS:",
|
|
|
|
"EMAIL:",
|
|
|
|
"EXCLUDE_TAGS:",
|
|
|
|
"FILETAGS:",
|
|
|
|
"INCLUDE:",
|
|
|
|
"INDEX:",
|
|
|
|
"KEYWORDS:",
|
|
|
|
"LANGUAGE:",
|
|
|
|
"MACRO:",
|
|
|
|
"OPTIONS:",
|
|
|
|
"PROPERTY:",
|
|
|
|
"PRIORITIES:",
|
|
|
|
"SELECT_TAGS:",
|
|
|
|
"SEQ_TODO:",
|
|
|
|
"SETUPFILE:",
|
|
|
|
"STARTUP:",
|
2020-11-02 19:39:16 +00:00
|
|
|
"TAGS:" "TITLE:",
|
2020-06-21 19:27:40 +00:00
|
|
|
"TODO:",
|
|
|
|
"TYP_TODO:",
|
|
|
|
"SELECT_TAGS:",
|
2020-11-02 19:39:16 +00:00
|
|
|
"EXCLUDE_TAGS:",
|
2020-06-21 19:27:40 +00:00
|
|
|
),
|
|
|
|
}
|
|
|
|
|
2021-01-17 12:30:38 +00:00
|
|
|
DEFAULT_TODO_KEYWORDS = ["TODO"]
|
|
|
|
DEFAULT_DONE_KEYWORDS = ["DONE"]
|
|
|
|
|
2021-01-17 17:31:32 +00:00
|
|
|
HEADLINE_TAGS_RE = re.compile(r"((:(\w|[0-9_@#%])+)+:)\s*$")
|
2022-05-15 21:39:35 +00:00
|
|
|
HEADLINE_RE = re.compile(r"^(?P<stars>\*+)(?P<spacing>\s+)(?P<line>.*?)$")
|
2020-11-02 19:39:16 +00:00
|
|
|
KEYWORDS_RE = re.compile(
|
|
|
|
r"^(?P<indentation>\s*)#\+(?P<key>[^:\[]+)(\[(?P<options>[^\]]*)\])?:(?P<spacing>\s*)(?P<value>.*)$"
|
|
|
|
)
|
2020-12-11 22:17:37 +00:00
|
|
|
DRAWER_START_RE = re.compile(r"^(?P<indentation>\s*):([^:]+):(?P<end_indentation>\s*)$")
|
2020-12-03 23:04:56 +00:00
|
|
|
DRAWER_END_RE = re.compile(r"^(?P<indentation>\s*):END:(?P<end_indentation>\s*)$", re.I)
|
2020-11-02 19:39:16 +00:00
|
|
|
NODE_PROPERTIES_RE = re.compile(
|
2021-08-03 20:13:41 +00:00
|
|
|
r"^(?P<indentation>\s*):(?P<key>[^ ()+:]+)(?P<plus>\+)?:(?P<spacing>\s*)(?P<value>.+)$"
|
2020-11-02 19:39:16 +00:00
|
|
|
)
|
2022-09-27 21:36:32 +00:00
|
|
|
RAW_LINE_RE = re.compile(r"^\s*([^\s#:*|]|$)")
|
2021-01-17 11:40:15 +00:00
|
|
|
BASE_TIME_STAMP_RE = r"(?P<year>\d{4})-(?P<month>\d{2})-(?P<day>\d{2})( ?(?P<dow>[^ ]+))?( (?P<start_hour>\d{1,2}):(?P<start_minute>\d{1,2})(-+(?P<end_hour>\d{1,2}):(?P<end_minute>\d{1,2}))?)?(?P<repetition> (?P<rep_mark>(\+|\+\+|\.\+|-|--))(?P<rep_value>\d+)(?P<rep_unit>[hdwmy]))?"
|
|
|
|
CLEAN_TIME_STAMP_RE = r"\d{4}-\d{2}-\d{2}( ?([^ ]+))?( (\d{1,2}):(\d{1,2})(-+(\d{1,2}):(\d{1,2}))?)?( (\+|\+\+|\.\+|-|--)\d+[hdwmy])?"
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
ACTIVE_TIME_STAMP_RE = re.compile(r"<{}>".format(BASE_TIME_STAMP_RE))
|
|
|
|
INACTIVE_TIME_STAMP_RE = re.compile(r"\[{}\]".format(BASE_TIME_STAMP_RE))
|
2021-01-05 23:25:06 +00:00
|
|
|
PLANNING_RE = re.compile(
|
|
|
|
r"(?P<indentation>\s*)"
|
|
|
|
+ r"(SCHEDULED:\s*(?P<scheduled>[<\[]"
|
|
|
|
+ CLEAN_TIME_STAMP_RE
|
2021-01-17 12:04:27 +00:00
|
|
|
+ r"[>\]](--[<\[]"
|
|
|
|
+ CLEAN_TIME_STAMP_RE
|
|
|
|
+ r"[>\]])?)\s*"
|
2021-01-05 23:25:06 +00:00
|
|
|
+ r"|CLOSED:\s*(?P<closed>[<\[]"
|
|
|
|
+ CLEAN_TIME_STAMP_RE
|
2021-01-17 12:04:27 +00:00
|
|
|
+ r"[>\]](--[<\[]"
|
|
|
|
+ CLEAN_TIME_STAMP_RE
|
|
|
|
+ r"[>\]])?)\s*"
|
2021-01-05 23:25:06 +00:00
|
|
|
+ r"|DEADLINE:\s*(?P<deadline>[<\[]"
|
|
|
|
+ CLEAN_TIME_STAMP_RE
|
2021-01-17 12:04:27 +00:00
|
|
|
+ r"[>\]](--[<\[]"
|
|
|
|
+ CLEAN_TIME_STAMP_RE
|
|
|
|
+ r"[>\]])?)\s*"
|
2021-01-05 23:25:06 +00:00
|
|
|
r")+\s*"
|
|
|
|
)
|
2021-02-09 23:21:37 +00:00
|
|
|
LIST_ITEM_RE = re.compile(
|
2022-09-29 18:31:23 +00:00
|
|
|
r"(?P<indentation>\s*)((?P<bullet>[*\-+])|((?P<counter>\d|[a-zA-Z])(?P<counter_sep>[.)]))) ((?P<checkbox_indentation>\s*)\[(?P<checkbox_value>[ Xx])\])?((?P<tag_indentation>\s*)(?P<tag>.*?)::)?(?P<content>.*)"
|
2021-02-09 23:21:37 +00:00
|
|
|
)
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2020-12-03 23:04:56 +00:00
|
|
|
# Org-Babel
|
2022-11-15 20:07:36 +00:00
|
|
|
BEGIN_BLOCK_RE = re.compile(r"^\s*#\+BEGIN_(?P<subtype>[^ ]+)(?P<arguments>.*)$", re.I)
|
2022-08-28 19:23:44 +00:00
|
|
|
END_BLOCK_RE = re.compile(r"^\s*#\+END_(?P<subtype>[^ ]+)\s*$", re.I)
|
2020-12-05 23:26:44 +00:00
|
|
|
RESULTS_DRAWER_RE = re.compile(r"^\s*:results:\s*$", re.I)
|
2022-11-15 20:07:36 +00:00
|
|
|
CodeSnippet = collections.namedtuple("CodeSnippet", ("name", "content", "result", "arguments"))
|
2020-12-03 23:04:56 +00:00
|
|
|
|
2021-08-26 22:22:15 +00:00
|
|
|
# Groupings
|
2022-05-16 21:17:28 +00:00
|
|
|
NON_FINISHED_GROUPS = (type(None), dom.ListGroupNode, dom.ResultsDrawerNode, dom.PropertyDrawerNode)
|
2021-08-29 22:09:52 +00:00
|
|
|
FREE_GROUPS = (dom.CodeBlock,)
|
2021-08-26 22:22:15 +00:00
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2022-06-19 19:46:14 +00:00
|
|
|
class NonReproducibleDocument(Exception):
|
|
|
|
"""
|
|
|
|
Exception thrown when a document would be saved as different contents
|
|
|
|
from what it's loaded from.
|
|
|
|
"""
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
def get_tokens(value):
|
|
|
|
if isinstance(value, Text):
|
|
|
|
return value.contents
|
|
|
|
if isinstance(value, RawLine):
|
|
|
|
return [value.line]
|
2021-08-03 21:05:15 +00:00
|
|
|
if isinstance(value, list):
|
|
|
|
return value
|
2020-11-02 22:51:11 +00:00
|
|
|
raise Exception("Unknown how to get tokens from: {}".format(value))
|
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2020-12-20 10:47:23 +00:00
|
|
|
class RangeInRaw:
|
2020-12-20 11:14:58 +00:00
|
|
|
def __init__(self, content, start_token, end_token):
|
2020-12-20 10:47:23 +00:00
|
|
|
self._content = content
|
2020-12-20 11:14:58 +00:00
|
|
|
self._start_id = id(start_token)
|
|
|
|
self._end_id = id(end_token)
|
|
|
|
|
|
|
|
def update_range(self, new_contents):
|
2021-08-03 22:06:18 +00:00
|
|
|
contents = self._content
|
|
|
|
if isinstance(self._content, Text):
|
|
|
|
contents = self._content.contents
|
|
|
|
|
2020-12-20 11:14:58 +00:00
|
|
|
# Find start token
|
2021-08-03 22:06:18 +00:00
|
|
|
for start_idx, tok in enumerate(contents):
|
2020-12-20 11:14:58 +00:00
|
|
|
if id(tok) == self._start_id:
|
|
|
|
break
|
|
|
|
else:
|
|
|
|
raise Exception("Start token not found")
|
2020-12-20 10:47:23 +00:00
|
|
|
|
2020-12-20 11:14:58 +00:00
|
|
|
# Find end token
|
2021-08-03 22:06:18 +00:00
|
|
|
for offset, tok in enumerate(contents[start_idx:]):
|
2020-12-20 11:14:58 +00:00
|
|
|
if id(tok) == self._end_id:
|
|
|
|
break
|
2020-12-20 10:47:23 +00:00
|
|
|
else:
|
2020-12-20 11:14:58 +00:00
|
|
|
raise Exception("End token not found")
|
|
|
|
|
|
|
|
# Remove old contents
|
|
|
|
for i in range(1, offset):
|
2021-08-03 22:06:18 +00:00
|
|
|
contents.pop(start_idx + 1)
|
2020-12-20 11:14:58 +00:00
|
|
|
|
|
|
|
# Add new ones
|
|
|
|
for i, element in enumerate(new_contents):
|
2021-08-03 22:06:18 +00:00
|
|
|
contents.insert(start_idx + i + 1, element)
|
2020-12-20 10:47:23 +00:00
|
|
|
|
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
def get_links_from_content(content):
|
|
|
|
in_link = False
|
|
|
|
in_description = False
|
|
|
|
link_value = []
|
|
|
|
link_description = []
|
|
|
|
|
2020-12-20 10:47:23 +00:00
|
|
|
for i, tok in enumerate(get_tokens(content)):
|
2020-11-02 22:51:11 +00:00
|
|
|
if isinstance(tok, LinkToken):
|
|
|
|
if tok.tok_type == LinkTokenType.OPEN_LINK:
|
|
|
|
in_link = True
|
2020-12-20 11:14:58 +00:00
|
|
|
open_link_token = tok
|
2020-11-02 22:51:11 +00:00
|
|
|
elif tok.tok_type == LinkTokenType.OPEN_DESCRIPTION:
|
|
|
|
in_description = True
|
|
|
|
elif tok.tok_type == LinkTokenType.CLOSE:
|
2020-12-20 11:14:58 +00:00
|
|
|
rng = RangeInRaw(content, open_link_token, tok)
|
2020-12-20 10:47:23 +00:00
|
|
|
yield Link(
|
|
|
|
"".join(link_value),
|
|
|
|
"".join(link_description) if in_description else None,
|
|
|
|
rng,
|
|
|
|
)
|
2020-11-02 22:51:11 +00:00
|
|
|
in_link = False
|
|
|
|
in_description = False
|
|
|
|
link_value = []
|
|
|
|
link_description = []
|
|
|
|
elif isinstance(tok, str) and in_link:
|
|
|
|
if in_description:
|
|
|
|
link_description.append(tok)
|
|
|
|
else:
|
|
|
|
link_value.append(tok)
|
|
|
|
|
2022-05-06 18:18:44 +00:00
|
|
|
def text_to_dom(tokens, item):
|
2022-08-26 17:04:50 +00:00
|
|
|
if tokens is None:
|
2022-08-27 11:06:08 +00:00
|
|
|
return None
|
2022-08-26 17:04:50 +00:00
|
|
|
|
2022-05-06 18:18:44 +00:00
|
|
|
in_link = False
|
|
|
|
in_description = False
|
|
|
|
link_value = []
|
|
|
|
link_description = []
|
2022-05-16 21:17:28 +00:00
|
|
|
|
2022-05-06 18:18:44 +00:00
|
|
|
contents = []
|
2022-05-16 21:17:28 +00:00
|
|
|
|
2022-05-06 18:18:44 +00:00
|
|
|
for tok in tokens:
|
|
|
|
if isinstance(tok, LinkToken):
|
|
|
|
if tok.tok_type == LinkTokenType.OPEN_LINK:
|
|
|
|
in_link = True
|
|
|
|
open_link_token = tok
|
|
|
|
elif tok.tok_type == LinkTokenType.OPEN_DESCRIPTION:
|
|
|
|
in_description = True
|
|
|
|
elif tok.tok_type == LinkTokenType.CLOSE:
|
|
|
|
rng = RangeInRaw(item, open_link_token, tok)
|
|
|
|
contents.append(Link(
|
|
|
|
"".join(link_value),
|
|
|
|
"".join(link_description) if in_description else None,
|
|
|
|
rng,
|
|
|
|
))
|
2022-08-20 13:22:16 +00:00
|
|
|
in_link = False
|
2022-09-29 21:24:20 +00:00
|
|
|
in_description = False
|
|
|
|
link_value = []
|
|
|
|
link_description = []
|
2022-05-06 18:18:44 +00:00
|
|
|
elif isinstance(tok, str) and in_link:
|
|
|
|
if in_description:
|
|
|
|
link_description.append(tok)
|
|
|
|
else:
|
|
|
|
link_value.append(tok)
|
|
|
|
else:
|
|
|
|
contents.append(tok)
|
|
|
|
|
|
|
|
return contents
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2021-08-26 22:22:15 +00:00
|
|
|
def get_line(item):
|
|
|
|
if isinstance(item, Text):
|
|
|
|
return item.linenum
|
|
|
|
elif isinstance(item, ListItem):
|
|
|
|
return item.linenum
|
|
|
|
elif isinstance(item, Property):
|
|
|
|
return item.linenum
|
|
|
|
elif isinstance(item, tuple):
|
|
|
|
return item[0]
|
|
|
|
else:
|
|
|
|
raise Exception("Unknown item type: {}".format(item))
|
|
|
|
|
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
class Headline:
|
2020-11-26 22:44:56 +00:00
|
|
|
def __init__(
|
|
|
|
self,
|
|
|
|
start_line,
|
|
|
|
depth,
|
|
|
|
orig,
|
|
|
|
properties,
|
|
|
|
keywords,
|
|
|
|
priority_start,
|
|
|
|
priority,
|
|
|
|
title_start,
|
|
|
|
title,
|
2020-12-22 09:21:41 +00:00
|
|
|
state,
|
2020-11-26 22:44:56 +00:00
|
|
|
tags_start,
|
|
|
|
tags,
|
|
|
|
contents,
|
|
|
|
children,
|
|
|
|
structural,
|
2020-12-05 23:26:44 +00:00
|
|
|
delimiters,
|
2021-02-09 23:21:37 +00:00
|
|
|
list_items,
|
2022-09-27 21:36:32 +00:00
|
|
|
table_rows,
|
2020-12-22 09:21:41 +00:00
|
|
|
parent,
|
|
|
|
is_todo,
|
|
|
|
is_done,
|
2021-01-17 12:30:38 +00:00
|
|
|
spacing,
|
2020-11-26 22:44:56 +00:00
|
|
|
):
|
2020-11-02 22:51:11 +00:00
|
|
|
self.start_line = start_line
|
|
|
|
self.depth = depth
|
|
|
|
self.orig = orig
|
|
|
|
self.properties = properties
|
|
|
|
self.keywords = keywords
|
|
|
|
self.priority_start = priority_start
|
|
|
|
self.priority = priority
|
|
|
|
self.title_start = title_start
|
2022-08-28 12:08:54 +00:00
|
|
|
self.title = parse_content_block(
|
|
|
|
[RawLine(linenum=start_line, line=title)]
|
|
|
|
)
|
2020-12-22 09:21:41 +00:00
|
|
|
self.state = state
|
2020-11-02 22:51:11 +00:00
|
|
|
self.tags_start = tags_start
|
2020-12-22 09:21:41 +00:00
|
|
|
self.shallow_tags = tags
|
2020-11-02 22:51:11 +00:00
|
|
|
self.contents = contents
|
|
|
|
self.children = children
|
|
|
|
self.structural = structural
|
2020-12-05 23:26:44 +00:00
|
|
|
self.delimiters = delimiters
|
2021-02-09 23:21:37 +00:00
|
|
|
self.list_items = list_items
|
2022-09-27 21:36:32 +00:00
|
|
|
self.table_rows = table_rows
|
2020-12-22 09:21:41 +00:00
|
|
|
self.parent = parent
|
|
|
|
self.is_todo = is_todo
|
|
|
|
self.is_done = is_done
|
2021-01-05 23:25:06 +00:00
|
|
|
self.scheduled = None
|
|
|
|
self.deadline = None
|
|
|
|
self.closed = None
|
2021-01-17 12:30:38 +00:00
|
|
|
self.spacing = spacing
|
2021-01-05 23:25:06 +00:00
|
|
|
|
|
|
|
# Read planning line
|
|
|
|
planning_line = self.get_element_in_line(start_line + 1)
|
|
|
|
|
|
|
|
# Ignore if not found or is a structural line
|
|
|
|
if planning_line is None or isinstance(planning_line, tuple):
|
|
|
|
return
|
|
|
|
|
|
|
|
if m := PLANNING_RE.match(planning_line.get_raw()):
|
2021-01-11 23:58:28 +00:00
|
|
|
self._planning_indendation = m.group("indentation")
|
|
|
|
self._planning_order = []
|
|
|
|
|
|
|
|
keywords = ["SCHEDULED", "CLOSED", "DEADLINE"]
|
|
|
|
plan = planning_line.get_raw().split("\n")[0]
|
|
|
|
indexes = [(kw, plan.find(kw)) for kw in keywords]
|
|
|
|
|
|
|
|
self._planning_order = [
|
|
|
|
kw
|
|
|
|
for (kw, idx) in sorted(
|
|
|
|
filter(lambda v: v[1] >= 0, indexes), key=lambda v: v[1]
|
|
|
|
)
|
|
|
|
]
|
|
|
|
|
2021-01-05 23:25:06 +00:00
|
|
|
if scheduled := m.group("scheduled"):
|
2021-01-17 12:04:27 +00:00
|
|
|
self.scheduled = parse_time(scheduled)
|
2021-01-05 23:25:06 +00:00
|
|
|
if closed := m.group("closed"):
|
2021-01-17 12:04:27 +00:00
|
|
|
self.closed = parse_time(closed)
|
2021-01-05 23:25:06 +00:00
|
|
|
if deadline := m.group("deadline"):
|
2021-01-17 12:04:27 +00:00
|
|
|
self.deadline = parse_time(deadline)
|
2020-12-22 09:21:41 +00:00
|
|
|
|
2021-01-11 23:58:28 +00:00
|
|
|
# Remove from contents
|
|
|
|
self._remove_element_in_line(start_line + 1)
|
|
|
|
|
2022-03-27 22:49:32 +00:00
|
|
|
@property
|
|
|
|
def doc(self):
|
|
|
|
par = self.parent
|
|
|
|
while isinstance(par, Headline):
|
|
|
|
par = par.parent
|
|
|
|
return par
|
|
|
|
|
|
|
|
|
2021-08-26 22:22:15 +00:00
|
|
|
def as_dom(self):
|
|
|
|
everything = (
|
|
|
|
self.keywords
|
|
|
|
+ self.contents
|
|
|
|
+ self.list_items
|
2022-09-27 21:55:07 +00:00
|
|
|
+ self.table_rows
|
2021-08-26 22:22:15 +00:00
|
|
|
+ self.properties
|
|
|
|
+ self.structural
|
|
|
|
+ self.delimiters
|
|
|
|
)
|
|
|
|
|
|
|
|
tree = []
|
|
|
|
current_node = None
|
2021-09-03 22:01:21 +00:00
|
|
|
indentation_tree = []
|
2021-08-26 22:22:15 +00:00
|
|
|
|
|
|
|
for line in sorted(everything, key=get_line):
|
2021-08-29 22:09:52 +00:00
|
|
|
if isinstance(current_node, dom.CodeBlock):
|
|
|
|
if (
|
|
|
|
isinstance(line, DelimiterLine)
|
2022-08-28 19:23:44 +00:00
|
|
|
and line.delimiter_type == DelimiterLineType.END_BLOCK
|
2021-08-29 22:09:52 +00:00
|
|
|
):
|
2022-05-07 21:33:32 +00:00
|
|
|
|
|
|
|
start = current_node.header.linenum
|
|
|
|
end = line.linenum
|
|
|
|
|
|
|
|
lines = self.get_lines_between(start + 1, end)
|
|
|
|
contents = "\n".join(lines)
|
|
|
|
if contents.endswith("\n"):
|
|
|
|
# This is not ideal, but to avoid having to do this maybe
|
|
|
|
# the content parsing must be re-thinked
|
|
|
|
contents = contents[:-1]
|
|
|
|
|
|
|
|
current_node.set_lines(contents)
|
2022-05-07 21:02:18 +00:00
|
|
|
tree.append(current_node)
|
2021-08-29 22:09:52 +00:00
|
|
|
current_node = None
|
|
|
|
else:
|
2022-05-07 21:33:32 +00:00
|
|
|
pass # Ignore
|
2021-08-29 22:09:52 +00:00
|
|
|
|
|
|
|
elif isinstance(line, Property):
|
|
|
|
if type(current_node) in NON_FINISHED_GROUPS:
|
|
|
|
current_node = dom.PropertyDrawerNode()
|
|
|
|
tree.append(current_node)
|
2021-08-26 22:22:15 +00:00
|
|
|
assert isinstance(current_node, dom.PropertyDrawerNode)
|
|
|
|
current_node.append(dom.PropertyNode(line.key, line.value))
|
|
|
|
|
|
|
|
elif isinstance(line, Text):
|
2022-11-03 23:14:13 +00:00
|
|
|
tree_up = list(indentation_tree)
|
|
|
|
while len(tree_up) > 0:
|
|
|
|
node = tree_up[-1]
|
|
|
|
if (isinstance(node, dom.BlockNode)
|
|
|
|
or isinstance(node, dom.DrawerNode)
|
|
|
|
):
|
|
|
|
node.append(dom.Text(line))
|
|
|
|
current_node = node
|
|
|
|
contents = []
|
|
|
|
break
|
|
|
|
elif ((not isinstance(node, dom.TableNode)) and
|
|
|
|
(type(node) not in NON_FINISHED_GROUPS)
|
|
|
|
):
|
|
|
|
raise NotImplementedError('Not implemented node type: {} (headline_id={}, line={}, doc={})'.format(
|
|
|
|
node,
|
|
|
|
self.id,
|
|
|
|
line.linenum,
|
|
|
|
self.doc.path,
|
|
|
|
))
|
|
|
|
else:
|
|
|
|
tree_up.pop(-1)
|
2021-08-26 22:22:15 +00:00
|
|
|
else:
|
|
|
|
current_node = None
|
2022-05-06 13:54:14 +00:00
|
|
|
contents = []
|
2022-05-06 18:18:44 +00:00
|
|
|
tree.append(dom.Text(text_to_dom(line.contents, line)))
|
2022-11-03 23:14:13 +00:00
|
|
|
indentation_tree = tree_up
|
2021-08-26 22:22:15 +00:00
|
|
|
|
|
|
|
elif isinstance(line, ListItem):
|
2022-11-01 18:58:17 +00:00
|
|
|
if (current_node is None
|
|
|
|
or isinstance(current_node, dom.TableNode)
|
|
|
|
or isinstance(current_node, dom.BlockNode)
|
|
|
|
or isinstance(current_node, dom.DrawerNode)
|
|
|
|
):
|
2022-11-03 22:35:56 +00:00
|
|
|
was_node = current_node
|
2021-08-26 22:22:15 +00:00
|
|
|
current_node = dom.ListGroupNode()
|
2022-11-03 22:35:56 +00:00
|
|
|
if was_node is None:
|
2022-11-01 18:58:17 +00:00
|
|
|
tree.append(current_node)
|
2022-11-03 22:35:56 +00:00
|
|
|
else:
|
|
|
|
was_node.append(current_node)
|
2022-11-01 18:58:17 +00:00
|
|
|
indentation_tree.append(current_node)
|
2021-08-29 22:09:52 +00:00
|
|
|
if not isinstance(current_node, dom.ListGroupNode):
|
2022-05-16 21:17:28 +00:00
|
|
|
if not isinstance(current_node, dom.ListGroupNode):
|
2022-11-01 18:58:17 +00:00
|
|
|
raise Exception("Expected a {}, found: {} on line {} on {}".format(dom.ListGroupNode, current_node, line.linenum, self.doc.path))
|
2022-05-16 21:17:28 +00:00
|
|
|
# This can happen. Frequently inside a LogDrawer
|
2021-09-03 22:01:21 +00:00
|
|
|
|
|
|
|
if len(indentation_tree) > 0 and (
|
|
|
|
(len(indentation_tree[-1].children) > 0)
|
|
|
|
and len(
|
|
|
|
[
|
|
|
|
c
|
|
|
|
for c in indentation_tree[-1].children
|
|
|
|
if isinstance(c, dom.ListItem)
|
2022-05-06 18:18:44 +00:00
|
|
|
][-1].orig.indentation
|
2021-09-03 22:01:21 +00:00
|
|
|
)
|
|
|
|
< len(line.indentation)
|
|
|
|
):
|
|
|
|
sublist = dom.ListGroupNode()
|
|
|
|
current_node.append(sublist)
|
|
|
|
current_node = sublist
|
|
|
|
indentation_tree.append(current_node)
|
|
|
|
|
|
|
|
while len(indentation_tree) > 0 and (
|
|
|
|
(len(indentation_tree[-1].children) > 0)
|
|
|
|
and len(
|
|
|
|
[
|
|
|
|
c
|
|
|
|
for c in indentation_tree[-1].children
|
|
|
|
if isinstance(c, dom.ListItem)
|
2022-05-06 18:18:44 +00:00
|
|
|
][-1].orig.indentation
|
2021-09-03 22:01:21 +00:00
|
|
|
)
|
|
|
|
> len(line.indentation)
|
|
|
|
):
|
2022-11-03 23:14:13 +00:00
|
|
|
rem = indentation_tree.pop(-1)
|
2021-09-03 22:01:21 +00:00
|
|
|
if len(indentation_tree) == 0:
|
|
|
|
indentation_tree.append(rem)
|
|
|
|
current_node = rem
|
|
|
|
break
|
|
|
|
else:
|
|
|
|
current_node = indentation_tree[-1]
|
|
|
|
|
2022-08-26 17:04:50 +00:00
|
|
|
node = dom.ListItem(text_to_dom(line.tag, line), text_to_dom(line.content, line), orig=line)
|
2021-09-03 22:01:21 +00:00
|
|
|
current_node.append(node)
|
2021-08-26 22:22:15 +00:00
|
|
|
|
2022-09-27 21:55:07 +00:00
|
|
|
elif isinstance(line, TableRow):
|
|
|
|
if current_node is None:
|
|
|
|
current_node = dom.TableNode()
|
|
|
|
tree.append(current_node)
|
2022-11-01 18:58:17 +00:00
|
|
|
# TODO: Allow indentation of this element inside others
|
2022-09-27 21:55:07 +00:00
|
|
|
indentation_tree = [current_node]
|
|
|
|
if not isinstance(current_node, dom.TableNode):
|
|
|
|
if not isinstance(current_node, dom.TableNode):
|
|
|
|
logging.warning("Expected a {}, found: {} on line {}".format(dom.TableNode, current_node, line.linenum))
|
|
|
|
# This can happen. Frequently inside a LogDrawer
|
|
|
|
|
|
|
|
if len(line.cells) > 0 and len(line.cells[0]) > 0 and line.cells[0][0] == '-':
|
|
|
|
node = dom.TableSeparatorRow(orig=line)
|
|
|
|
else:
|
|
|
|
node = dom.TableRow(line.cells, orig=line)
|
|
|
|
current_node.append(node)
|
|
|
|
|
2021-08-26 22:22:15 +00:00
|
|
|
elif (
|
|
|
|
isinstance(line, DelimiterLine)
|
2022-08-28 19:23:44 +00:00
|
|
|
and line.delimiter_type == DelimiterLineType.BEGIN_BLOCK
|
2021-08-26 22:22:15 +00:00
|
|
|
):
|
|
|
|
assert type(current_node) in NON_FINISHED_GROUPS
|
2022-08-28 19:23:44 +00:00
|
|
|
current_node = dom.CodeBlock(line, line.type_data.subtype)
|
2021-08-26 22:22:15 +00:00
|
|
|
|
2021-08-29 22:09:52 +00:00
|
|
|
elif isinstance(line, Keyword):
|
|
|
|
logging.warning("Keywords not implemented on `as_dom()`")
|
|
|
|
|
|
|
|
# elif (
|
|
|
|
# isinstance(line, DelimiterLine)
|
2022-08-28 19:23:44 +00:00
|
|
|
# and line.delimiter_type == DelimiterLineType.END_BLOCK
|
2021-08-29 22:09:52 +00:00
|
|
|
# ):
|
|
|
|
# assert isinstance(current_node, dom.BlockNode)
|
|
|
|
# current_node = None
|
2021-08-26 22:22:15 +00:00
|
|
|
|
|
|
|
elif (
|
|
|
|
isinstance(line, tuple)
|
|
|
|
and len(line) == 2
|
|
|
|
and isinstance(line[0], int)
|
|
|
|
and isinstance(line[1], str)
|
|
|
|
):
|
|
|
|
# Structural
|
|
|
|
(linenum, content) = line
|
|
|
|
if content.strip().upper() == ":PROPERTIES:":
|
|
|
|
assert current_node is None
|
|
|
|
current_node = dom.PropertyDrawerNode()
|
|
|
|
tree.append(current_node)
|
2022-11-01 18:58:17 +00:00
|
|
|
# TODO: Check if this can be nested
|
|
|
|
indentation_tree = [current_node]
|
2021-08-26 22:22:15 +00:00
|
|
|
elif content.strip().upper() == ":LOGBOOK:":
|
|
|
|
assert current_node is None
|
|
|
|
current_node = dom.LogbookDrawerNode()
|
|
|
|
tree.append(current_node)
|
2022-11-01 18:58:17 +00:00
|
|
|
# TODO: Check if this can be nested
|
|
|
|
indentation_tree = [current_node]
|
2021-08-26 22:22:15 +00:00
|
|
|
elif content.strip().upper() == ":END:":
|
2022-11-01 18:58:17 +00:00
|
|
|
if current_node is None and len(indentation_tree) == 0:
|
|
|
|
logging.error('Finished node (:END:) with no known starter')
|
|
|
|
else:
|
|
|
|
tree_up = list(indentation_tree)
|
|
|
|
while len(tree_up) > 0:
|
|
|
|
node = tree_up[-1]
|
|
|
|
if isinstance(node, dom.DrawerNode):
|
|
|
|
indentation_tree = tree_up
|
|
|
|
current_node = node
|
|
|
|
tree_up.pop(-1)
|
|
|
|
break
|
|
|
|
else:
|
|
|
|
tree_up.pop(-1)
|
|
|
|
else:
|
|
|
|
raise Exception('Unexpected node ({}) on headline (id={}), line {}'.format(current_node, self.id, linenum))
|
|
|
|
current_node = None
|
2022-05-16 21:17:28 +00:00
|
|
|
elif content.strip().upper() == ":RESULTS:":
|
|
|
|
assert current_node is None
|
|
|
|
current_node = dom.ResultsDrawerNode()
|
2022-11-01 18:58:17 +00:00
|
|
|
|
|
|
|
# TODO: Allow indentation of these blocks inside others
|
|
|
|
indentation_tree = [current_node]
|
2022-05-16 21:17:28 +00:00
|
|
|
tree.append(current_node)
|
2021-08-26 22:22:15 +00:00
|
|
|
else:
|
|
|
|
raise Exception("Unknown structural line: {}".format(line))
|
|
|
|
else:
|
|
|
|
raise Exception("Unknown node type: {}".format(line))
|
|
|
|
|
|
|
|
return tree
|
|
|
|
|
2022-09-27 21:36:32 +00:00
|
|
|
def get_lists(self):
|
2021-02-09 23:21:37 +00:00
|
|
|
lists = []
|
|
|
|
last_line = None
|
|
|
|
|
|
|
|
for li in self.list_items:
|
2022-11-12 11:37:50 +00:00
|
|
|
if last_line is None:
|
2021-02-09 23:21:37 +00:00
|
|
|
lists.append([li])
|
2022-11-12 11:37:50 +00:00
|
|
|
else:
|
|
|
|
num_lines = li.linenum - (last_line + 1)
|
|
|
|
lines_between = ''.join(['\n' + l
|
|
|
|
for l in self.get_lines_between(last_line + 1, li.linenum)]
|
|
|
|
)
|
|
|
|
|
|
|
|
# Only empty lines
|
|
|
|
if ((num_lines == lines_between.count('\n'))
|
|
|
|
and (len(lines_between.strip()) == 0)
|
|
|
|
):
|
|
|
|
lists[-1].append(li)
|
|
|
|
else:
|
|
|
|
lists.append([li])
|
2021-02-09 23:21:37 +00:00
|
|
|
|
2022-11-12 11:37:50 +00:00
|
|
|
last_line = li.linenum + sum(c.count('\n') for c in li.content)
|
2021-02-09 23:21:37 +00:00
|
|
|
return lists
|
|
|
|
|
2022-11-12 11:37:50 +00:00
|
|
|
# @DEPRECATED: use `get_lists`
|
2022-09-27 21:36:32 +00:00
|
|
|
def getLists(self):
|
|
|
|
return self.get_lists()
|
|
|
|
|
|
|
|
def get_tables(self):
|
|
|
|
tables = []
|
|
|
|
last_line = None
|
|
|
|
|
|
|
|
for row in self.table_rows:
|
|
|
|
if last_line == row.linenum - 1:
|
|
|
|
tables[-1].append(row)
|
|
|
|
else:
|
|
|
|
tables.append([row])
|
|
|
|
|
|
|
|
last_line = row.linenum
|
|
|
|
return tables
|
|
|
|
|
2021-01-11 23:58:28 +00:00
|
|
|
def get_planning_line(self):
|
|
|
|
if self.scheduled is None and self.closed is None and self.deadline is None:
|
|
|
|
return None
|
|
|
|
|
|
|
|
contents = [self._planning_indendation]
|
|
|
|
|
|
|
|
for el in self._planning_order:
|
|
|
|
if el == "SCHEDULED" and self.scheduled is not None:
|
|
|
|
contents.append("SCHEDULED: {} ".format(self.scheduled.to_raw()))
|
|
|
|
|
|
|
|
elif el == "CLOSED" and self.closed is not None:
|
|
|
|
contents.append("CLOSED: {} ".format(self.closed.to_raw()))
|
|
|
|
|
|
|
|
elif el == "DEADLINE" and self.deadline is not None:
|
|
|
|
contents.append("DEADLINE: {} ".format(self.deadline.to_raw()))
|
|
|
|
|
|
|
|
# Consider elements added (not present on planning order)
|
|
|
|
if ("SCHEDULED" not in self._planning_order) and (self.scheduled is not None):
|
|
|
|
contents.append("SCHEDULED: {} ".format(self.scheduled.to_raw()))
|
|
|
|
|
|
|
|
if ("CLOSED" not in self._planning_order) and (self.closed is not None):
|
|
|
|
contents.append("CLOSED: {} ".format(self.closed.to_raw()))
|
|
|
|
|
|
|
|
if ("DEADLINE" not in self._planning_order) and (self.deadline is not None):
|
|
|
|
contents.append("DEADLINE: {} ".format(self.deadline.to_raw()))
|
|
|
|
|
|
|
|
return "".join(contents).rstrip()
|
|
|
|
|
2021-01-18 09:33:15 +00:00
|
|
|
@property
|
|
|
|
def id(self):
|
|
|
|
return self.get_property("ID")
|
|
|
|
|
2021-04-02 22:59:00 +00:00
|
|
|
@id.setter
|
|
|
|
def id(self, value):
|
|
|
|
self.set_property("ID", value)
|
|
|
|
|
2021-01-04 23:01:48 +00:00
|
|
|
@property
|
|
|
|
def clock(self):
|
|
|
|
times = []
|
|
|
|
for chunk in self.contents:
|
|
|
|
for line in chunk.get_raw().split("\n"):
|
|
|
|
content = line.strip()
|
|
|
|
if not content.startswith("CLOCK:"):
|
|
|
|
continue
|
|
|
|
|
|
|
|
time_seg = content[len("CLOCK:") :].strip()
|
|
|
|
|
|
|
|
if "--" in time_seg:
|
|
|
|
# TODO: Consider duration
|
|
|
|
start, end = time_seg.split("=")[0].split("--")
|
|
|
|
as_time_range = parse_org_time_range(start, end)
|
|
|
|
parsed = as_time_range
|
|
|
|
else:
|
2021-01-17 11:40:15 +00:00
|
|
|
parsed = OrgTime.parse(time_seg)
|
2021-01-04 23:01:48 +00:00
|
|
|
times.append(parsed)
|
|
|
|
|
|
|
|
return times
|
|
|
|
|
2020-12-22 09:21:41 +00:00
|
|
|
@property
|
|
|
|
def tags(self):
|
|
|
|
if isinstance(self.parent, OrgDoc):
|
|
|
|
return list(self.shallow_tags)
|
|
|
|
else:
|
|
|
|
return list(self.shallow_tags) + self.parent.tags
|
2020-11-02 22:51:11 +00:00
|
|
|
|
2020-12-28 13:34:18 +00:00
|
|
|
def get_property(self, name: str, default=None):
|
|
|
|
for prop in self.properties:
|
|
|
|
if prop.key == name:
|
|
|
|
return prop.value
|
|
|
|
|
|
|
|
return default
|
|
|
|
|
2021-04-02 22:59:00 +00:00
|
|
|
def set_property(self, name: str, value: str):
|
|
|
|
for prop in self.properties:
|
|
|
|
|
|
|
|
# A matching property is found, update it
|
|
|
|
if prop.key == name:
|
|
|
|
prop.value = value
|
|
|
|
return
|
|
|
|
|
|
|
|
# No matching property found, add it
|
|
|
|
else:
|
|
|
|
if len(self.properties) > 0:
|
|
|
|
last_prop = self.properties[-1]
|
|
|
|
last_line = last_prop.linenum
|
|
|
|
last_match = last_prop.match
|
|
|
|
else:
|
2021-08-29 21:54:51 +00:00
|
|
|
self.structural.append(
|
|
|
|
(
|
|
|
|
-2, # Linenum
|
|
|
|
":PROPERTIES:",
|
|
|
|
)
|
|
|
|
)
|
|
|
|
self.structural.append(
|
|
|
|
(
|
|
|
|
0, # Linenum
|
|
|
|
":END:",
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
|
|
|
last_line = -1
|
2021-04-02 22:59:00 +00:00
|
|
|
last_match = None
|
|
|
|
self.properties.append(
|
|
|
|
Property(
|
|
|
|
linenum=last_line,
|
|
|
|
match=last_match,
|
|
|
|
key=name,
|
|
|
|
value=value,
|
|
|
|
options=None,
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
def get_links(self):
|
|
|
|
for content in self.contents:
|
|
|
|
yield from get_links_from_content(content)
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2022-09-27 21:36:32 +00:00
|
|
|
for lst in self.get_lists():
|
2021-08-03 21:05:15 +00:00
|
|
|
for item in lst:
|
|
|
|
yield from get_links_from_content(item.content)
|
|
|
|
|
2020-12-05 23:26:44 +00:00
|
|
|
def get_lines_between(self, start, end):
|
|
|
|
for line in self.contents:
|
|
|
|
if start <= line.linenum < end:
|
2022-05-07 21:33:32 +00:00
|
|
|
text = []
|
|
|
|
for item in line.contents:
|
|
|
|
if isinstance(item, str):
|
|
|
|
text.append(item)
|
|
|
|
elif isinstance(item, MarkerType):
|
|
|
|
text.append(ModeToMarker[item])
|
|
|
|
yield "".join(text)
|
2020-12-05 23:26:44 +00:00
|
|
|
|
2020-12-22 09:21:41 +00:00
|
|
|
def get_contents(self, format):
|
|
|
|
if format == "raw":
|
2022-02-14 22:09:43 +00:00
|
|
|
yield from map(
|
|
|
|
lambda x: token_list_to_raw(x.contents),
|
|
|
|
sorted(self.contents, key=lambda x: x.linenum),
|
|
|
|
)
|
2020-12-22 09:21:41 +00:00
|
|
|
else:
|
|
|
|
raise NotImplementedError()
|
|
|
|
|
2020-12-05 23:26:44 +00:00
|
|
|
def get_element_in_line(self, linenum):
|
|
|
|
for line in self.contents:
|
|
|
|
if linenum == line.linenum:
|
|
|
|
return line
|
|
|
|
|
|
|
|
for (s_lnum, struc) in self.structural:
|
|
|
|
if linenum == s_lnum:
|
|
|
|
return ("structural", struc)
|
|
|
|
|
2021-01-11 23:58:28 +00:00
|
|
|
def _remove_element_in_line(self, linenum):
|
|
|
|
found = None
|
|
|
|
for i, line in enumerate(self.contents):
|
|
|
|
if linenum == line.linenum:
|
|
|
|
found = i
|
|
|
|
break
|
|
|
|
|
|
|
|
assert found is not None
|
|
|
|
el = self.contents[found]
|
|
|
|
assert isinstance(el, Text)
|
|
|
|
|
|
|
|
raw = el.get_raw()
|
|
|
|
if "\n" not in raw:
|
|
|
|
# Remove the element found
|
|
|
|
self.contents.pop(found)
|
|
|
|
else:
|
|
|
|
# Remove the first line
|
|
|
|
self.contents[found] = parse_content_block(
|
|
|
|
[RawLine(self.contents[found].linenum + 1, raw.split("\n", 1)[1])]
|
|
|
|
)
|
|
|
|
|
2020-12-05 23:26:44 +00:00
|
|
|
def get_structural_end_after(self, linenum):
|
|
|
|
for (s_lnum, struc) in self.structural:
|
|
|
|
if s_lnum > linenum and struc.strip().upper() == ":END:":
|
|
|
|
return (s_lnum, struc)
|
|
|
|
|
|
|
|
def get_code_snippets(self):
|
|
|
|
inside_code = False
|
|
|
|
|
|
|
|
sections = []
|
2022-11-15 20:07:36 +00:00
|
|
|
arguments = None
|
2020-12-05 23:26:44 +00:00
|
|
|
|
|
|
|
for delimiter in self.delimiters:
|
2022-08-28 19:23:44 +00:00
|
|
|
if delimiter.delimiter_type == DelimiterLineType.BEGIN_BLOCK and delimiter.type_data.subtype.lower() == "src":
|
2020-12-05 23:26:44 +00:00
|
|
|
line_start = delimiter.linenum
|
|
|
|
inside_code = True
|
2022-11-15 20:07:36 +00:00
|
|
|
arguments = delimiter.arguments
|
2022-08-28 19:23:44 +00:00
|
|
|
elif delimiter.delimiter_type == DelimiterLineType.END_BLOCK and delimiter.type_data.subtype.lower() == "src":
|
2020-12-05 23:26:44 +00:00
|
|
|
inside_code = False
|
|
|
|
start, end = line_start, delimiter.linenum
|
|
|
|
|
|
|
|
lines = self.get_lines_between(start + 1, end)
|
|
|
|
contents = "\n".join(lines)
|
|
|
|
if contents.endswith("\n"):
|
|
|
|
# This is not ideal, but to avoid having to do this maybe
|
|
|
|
# the content parsing must be re-thinked
|
|
|
|
contents = contents[:-1]
|
|
|
|
|
|
|
|
sections.append(
|
|
|
|
{
|
|
|
|
"line_first": start + 1,
|
|
|
|
"line_last": end - 1,
|
|
|
|
"content": contents,
|
2022-11-15 20:07:36 +00:00
|
|
|
"arguments": arguments,
|
2020-12-05 23:26:44 +00:00
|
|
|
}
|
|
|
|
)
|
2022-11-15 20:07:36 +00:00
|
|
|
arguments = None
|
2020-12-05 23:26:44 +00:00
|
|
|
line_start = None
|
|
|
|
|
|
|
|
for kword in self.keywords:
|
|
|
|
if kword.key.upper() == "RESULTS":
|
|
|
|
for snippet in sections:
|
|
|
|
if kword.linenum > snippet["line_last"]:
|
|
|
|
result_first = self.get_element_in_line(kword.linenum + 1)
|
|
|
|
|
|
|
|
if isinstance(result_first, Text):
|
|
|
|
result = "\n".join(result_first.contents)
|
|
|
|
snippet["result"] = result
|
|
|
|
|
|
|
|
if result.strip().startswith(": "):
|
|
|
|
# Split lines and remove ':'
|
|
|
|
lines = result.split("\n")
|
|
|
|
s_result = []
|
|
|
|
for line in lines:
|
|
|
|
if ": " not in line:
|
|
|
|
break
|
|
|
|
s_result.append(line.lstrip(" ")[2:])
|
|
|
|
snippet["result"] = "\n".join(s_result)
|
|
|
|
elif (
|
|
|
|
isinstance(result_first, tuple)
|
|
|
|
and len(result_first) == 2
|
|
|
|
and result_first[0] == "structural"
|
|
|
|
and result_first[1].strip().upper() == ":RESULTS:"
|
|
|
|
):
|
|
|
|
|
|
|
|
(end_line, _) = self.get_structural_end_after(
|
|
|
|
kword.linenum + 1
|
|
|
|
)
|
|
|
|
contents = "\n".join(
|
|
|
|
self.get_lines_between(kword.linenum + 1, end_line)
|
|
|
|
)
|
|
|
|
indentation = result_first[1].index(":")
|
|
|
|
dedented = "\n".join(
|
|
|
|
[line[indentation:] for line in contents.split("\n")]
|
|
|
|
)
|
|
|
|
if dedented.endswith("\n"):
|
|
|
|
dedented = dedented[:-1]
|
|
|
|
|
|
|
|
snippet["result"] = dedented
|
|
|
|
|
|
|
|
break
|
|
|
|
|
|
|
|
results = []
|
|
|
|
for section in sections:
|
|
|
|
name = None
|
|
|
|
content = section["content"]
|
|
|
|
code_result = section.get("result", None)
|
2022-11-15 20:07:36 +00:00
|
|
|
arguments = section.get("arguments", None)
|
|
|
|
results.append(CodeSnippet(name=name, content=content, result=code_result, arguments=arguments))
|
2020-12-05 23:26:44 +00:00
|
|
|
|
|
|
|
return results
|
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
RawLine = collections.namedtuple("RawLine", ("linenum", "line"))
|
|
|
|
Keyword = collections.namedtuple(
|
|
|
|
"Keyword", ("linenum", "match", "key", "value", "options")
|
|
|
|
)
|
|
|
|
Property = collections.namedtuple(
|
|
|
|
"Property", ("linenum", "match", "key", "value", "options")
|
|
|
|
)
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2022-11-12 11:37:50 +00:00
|
|
|
class ListItem:
|
|
|
|
def __init__(self,
|
|
|
|
linenum, match,
|
|
|
|
indentation,
|
|
|
|
bullet, counter, counter_sep,
|
|
|
|
checkbox_indentation, checkbox_value,
|
|
|
|
tag_indentation, tag,
|
|
|
|
content,
|
|
|
|
):
|
|
|
|
self.linenum = linenum
|
|
|
|
self.match = match
|
|
|
|
self.indentation = indentation
|
|
|
|
self.bullet = bullet
|
|
|
|
self.counter = counter
|
|
|
|
self.counter_sep = counter_sep
|
|
|
|
self.checkbox_indentation = checkbox_indentation
|
|
|
|
self.checkbox_value = checkbox_value
|
|
|
|
self.tag_indentation = tag_indentation
|
|
|
|
self.tag = tag
|
|
|
|
self.content = content
|
|
|
|
|
2022-11-12 17:01:00 +00:00
|
|
|
@property
|
|
|
|
def text_start_pos(self):
|
|
|
|
return len(self.indentation) + 1 # Indentation + bullet
|
|
|
|
|
2022-11-12 11:37:50 +00:00
|
|
|
def append_line(self, line):
|
2022-11-12 17:01:00 +00:00
|
|
|
self.content += parse_content_block('\n' + line).contents
|
2022-11-12 11:37:50 +00:00
|
|
|
|
2022-09-27 21:36:32 +00:00
|
|
|
TableRow = collections.namedtuple(
|
|
|
|
"TableRow",
|
|
|
|
(
|
|
|
|
"linenum",
|
|
|
|
"indentation",
|
|
|
|
"suffix",
|
|
|
|
"last_cell_closed",
|
|
|
|
"cells",
|
|
|
|
),
|
|
|
|
)
|
2021-02-09 23:21:37 +00:00
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
# @TODO How are [YYYY-MM-DD HH:mm--HH:mm] and ([... HH:mm]--[... HH:mm]) differentiated ?
|
|
|
|
# @TODO Consider recurrence annotations
|
2021-01-11 23:58:28 +00:00
|
|
|
class Timestamp:
|
|
|
|
def __init__(self, active, year, month, day, dow, hour, minute, repetition=None):
|
|
|
|
self.active = active
|
|
|
|
self._year = year
|
|
|
|
self._month = month
|
|
|
|
self._day = day
|
|
|
|
self.dow = dow
|
|
|
|
self.hour = hour
|
|
|
|
self.minute = minute
|
|
|
|
self.repetition = repetition
|
|
|
|
|
2022-06-05 21:32:32 +00:00
|
|
|
def to_datetime(self) -> datetime:
|
2021-01-17 12:30:38 +00:00
|
|
|
if self.hour is not None:
|
|
|
|
return datetime(self.year, self.month, self.day, self.hour, self.minute)
|
|
|
|
else:
|
|
|
|
return datetime(self.year, self.month, self.day, 0, 0)
|
2021-01-17 11:40:15 +00:00
|
|
|
|
2021-02-07 22:59:35 +00:00
|
|
|
def __add__(self, delta: timedelta):
|
|
|
|
as_dt = self.to_datetime()
|
|
|
|
to_dt = as_dt + delta
|
|
|
|
|
|
|
|
return Timestamp(
|
|
|
|
self.active,
|
|
|
|
year=to_dt.year,
|
|
|
|
month=to_dt.month,
|
|
|
|
day=to_dt.day,
|
|
|
|
dow=None,
|
|
|
|
hour=to_dt.hour if self.hour is not None or to_dt.hour != 0 else None,
|
|
|
|
minute=to_dt.minute
|
|
|
|
if self.minute is not None or to_dt.minute != 0
|
|
|
|
else None,
|
|
|
|
repetition=self.repetition,
|
|
|
|
)
|
|
|
|
|
2021-01-11 23:58:28 +00:00
|
|
|
def __eq__(self, other):
|
|
|
|
if not isinstance(other, Timestamp):
|
|
|
|
return False
|
|
|
|
return (
|
|
|
|
(self.active == other.active)
|
|
|
|
and (self.year == other.year)
|
|
|
|
and (self.month == other.month)
|
|
|
|
and (self.day == other.day)
|
|
|
|
and (self.dow == other.dow)
|
|
|
|
and (self.hour == other.hour)
|
|
|
|
and (self.minute == other.minute)
|
|
|
|
and (self.repetition == other.repetition)
|
|
|
|
)
|
|
|
|
|
2021-04-10 09:13:30 +00:00
|
|
|
def __lt__(self, other):
|
|
|
|
if not isinstance(other, Timestamp):
|
|
|
|
return False
|
|
|
|
return self.to_datetime() < other.to_datetime()
|
|
|
|
|
|
|
|
def __gt__(self, other):
|
|
|
|
if not isinstance(other, Timestamp):
|
|
|
|
return False
|
|
|
|
return self.to_datetime() > other.to_datetime()
|
|
|
|
|
2021-01-11 23:58:28 +00:00
|
|
|
def __repr__(self):
|
|
|
|
return timestamp_to_string(self)
|
|
|
|
|
|
|
|
# Properties whose modification changes the Day-Of-Week
|
|
|
|
@property
|
|
|
|
def year(self):
|
|
|
|
return self._year
|
|
|
|
|
|
|
|
@year.setter
|
|
|
|
def year(self, value):
|
|
|
|
self._year = value
|
|
|
|
self.dow = None
|
|
|
|
|
|
|
|
@property
|
|
|
|
def month(self):
|
|
|
|
return self._month
|
|
|
|
|
|
|
|
@month.setter
|
|
|
|
def month(self, value):
|
|
|
|
self._month = value
|
|
|
|
self.dow = None
|
|
|
|
|
|
|
|
@property
|
|
|
|
def day(self):
|
|
|
|
return self._day
|
|
|
|
|
|
|
|
@day.setter
|
|
|
|
def day(self, value):
|
|
|
|
self._day = value
|
|
|
|
self.dow = None
|
2020-11-02 19:39:16 +00:00
|
|
|
|
|
|
|
|
2020-12-05 23:26:44 +00:00
|
|
|
class DelimiterLineType(Enum):
|
2022-08-28 19:23:44 +00:00
|
|
|
BEGIN_BLOCK = 1
|
|
|
|
END_BLOCK = 2
|
2020-12-05 23:26:44 +00:00
|
|
|
|
|
|
|
|
2022-08-28 19:23:44 +00:00
|
|
|
BlockDelimiterTypeData = collections.namedtuple(
|
|
|
|
"BlockDelimiterTypeData", ("subtype")
|
|
|
|
)
|
|
|
|
|
2020-12-05 23:26:44 +00:00
|
|
|
DelimiterLine = collections.namedtuple(
|
2022-11-15 20:07:36 +00:00
|
|
|
"DelimiterLine", ("linenum", "line", "delimiter_type", "type_data", "arguments")
|
2020-12-05 23:26:44 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
class MarkerType(Enum):
|
|
|
|
NO_MODE = 0b0
|
|
|
|
BOLD_MODE = 0b1
|
|
|
|
CODE_MODE = 0b10
|
|
|
|
ITALIC_MODE = 0b100
|
|
|
|
STRIKE_MODE = 0b1000
|
|
|
|
UNDERLINED_MODE = 0b10000
|
|
|
|
VERBATIM_MODE = 0b100000
|
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
MARKERS = {
|
|
|
|
"*": MarkerType.BOLD_MODE,
|
|
|
|
"~": MarkerType.CODE_MODE,
|
|
|
|
"/": MarkerType.ITALIC_MODE,
|
|
|
|
"+": MarkerType.STRIKE_MODE,
|
|
|
|
"_": MarkerType.UNDERLINED_MODE,
|
|
|
|
"=": MarkerType.VERBATIM_MODE,
|
|
|
|
}
|
|
|
|
|
|
|
|
ModeToMarker = {}
|
|
|
|
|
|
|
|
for tok, mode in MARKERS.items():
|
|
|
|
ModeToMarker[mode] = tok
|
|
|
|
|
|
|
|
MarkerToken = collections.namedtuple("MarkerToken", ("closing", "tok_type"))
|
2020-11-02 22:51:11 +00:00
|
|
|
LinkToken = collections.namedtuple("LinkToken", ("tok_type"))
|
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
class LinkTokenType(Enum):
|
|
|
|
OPEN_LINK = 3
|
|
|
|
OPEN_DESCRIPTION = 5
|
|
|
|
CLOSE = 4
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
BEGIN_PROPERTIES = "OPEN_PROPERTIES"
|
|
|
|
END_PROPERTIES = "CLOSE_PROPERTIES"
|
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
def token_from_type(tok_type):
|
|
|
|
return ModeToMarker[tok_type]
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
|
2021-01-04 23:01:48 +00:00
|
|
|
class TimeRange:
|
2021-01-17 11:40:15 +00:00
|
|
|
def __init__(self, start_time: OrgTime, end_time: OrgTime):
|
2021-01-04 23:01:48 +00:00
|
|
|
self.start_time = start_time
|
|
|
|
self.end_time = end_time
|
|
|
|
|
2021-01-17 12:04:27 +00:00
|
|
|
def to_raw(self) -> str:
|
|
|
|
return timerange_to_string(self)
|
|
|
|
|
2021-01-04 23:01:48 +00:00
|
|
|
@property
|
|
|
|
def duration(self) -> timedelta:
|
|
|
|
delta = self.end - self.start
|
|
|
|
return delta
|
|
|
|
|
|
|
|
@property
|
|
|
|
def start(self) -> datetime:
|
2021-01-18 09:33:34 +00:00
|
|
|
return self.start_time.time.to_datetime()
|
2021-01-04 23:01:48 +00:00
|
|
|
|
|
|
|
@property
|
|
|
|
def end(self) -> datetime:
|
2021-01-18 09:33:34 +00:00
|
|
|
return self.end_time.time.to_datetime()
|
2021-01-04 23:01:48 +00:00
|
|
|
|
|
|
|
|
2021-01-17 12:04:27 +00:00
|
|
|
def parse_time(value: str) -> Union[None, TimeRange, OrgTime]:
|
|
|
|
if (value.count(">--<") == 1) or (value.count("]--[") == 1):
|
|
|
|
# Time ranges with two different dates
|
|
|
|
# @TODO properly consider "=> DURATION" section
|
|
|
|
start, end = value.split("=")[0].split("--")
|
|
|
|
as_time_range = parse_org_time_range(start, end)
|
|
|
|
if (as_time_range.start_time is not None) and (
|
|
|
|
as_time_range.end_time is not None
|
|
|
|
):
|
|
|
|
return as_time_range
|
|
|
|
else:
|
|
|
|
raise Exception("Unknown time range format: {}".format(value))
|
|
|
|
elif as_time := OrgTime.parse(value):
|
|
|
|
return as_time
|
|
|
|
else:
|
|
|
|
return None
|
|
|
|
|
|
|
|
|
2021-01-17 11:40:15 +00:00
|
|
|
def parse_org_time_range(start, end) -> TimeRange:
|
|
|
|
return TimeRange(OrgTime.parse(start), OrgTime.parse(end))
|
2020-12-09 23:12:13 +00:00
|
|
|
|
|
|
|
|
2021-01-17 11:40:15 +00:00
|
|
|
class OrgTime:
|
2022-06-05 21:32:32 +00:00
|
|
|
def __init__(self, ts: Timestamp, end_time: Optional[Timestamp] = None):
|
2021-01-17 11:40:15 +00:00
|
|
|
assert ts is not None
|
|
|
|
self.time = ts
|
|
|
|
self.end_time = end_time
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2022-06-05 21:31:48 +00:00
|
|
|
@property
|
|
|
|
def repetition(self):
|
|
|
|
return self.time.repetition
|
|
|
|
|
2021-01-18 09:33:34 +00:00
|
|
|
@property
|
|
|
|
def duration(self):
|
|
|
|
if self.end_time is None:
|
|
|
|
return timedelta() # No duration
|
|
|
|
else:
|
|
|
|
return self.end_time.to_datetime() - self.time.to_datetime()
|
|
|
|
|
2021-01-17 11:40:15 +00:00
|
|
|
def to_raw(self):
|
|
|
|
return timestamp_to_string(self.time, self.end_time)
|
|
|
|
|
|
|
|
def __repr__(self):
|
|
|
|
return f"OrgTime({self.to_raw()})"
|
|
|
|
|
|
|
|
@classmethod
|
|
|
|
def parse(self, value: str) -> OrgTime:
|
|
|
|
if m := ACTIVE_TIME_STAMP_RE.match(value):
|
|
|
|
active = True
|
|
|
|
elif m := INACTIVE_TIME_STAMP_RE.match(value):
|
|
|
|
active = False
|
|
|
|
else:
|
|
|
|
return None
|
|
|
|
|
2022-06-05 21:31:48 +00:00
|
|
|
repetition = None
|
|
|
|
if m.group("repetition"):
|
|
|
|
repetition = m.group("repetition").strip()
|
|
|
|
|
2021-01-17 11:40:15 +00:00
|
|
|
if m.group("end_hour"):
|
|
|
|
return OrgTime(
|
|
|
|
Timestamp(
|
|
|
|
active,
|
|
|
|
int(m.group("year")),
|
|
|
|
int(m.group("month")),
|
|
|
|
int(m.group("day")),
|
|
|
|
m.group("dow"),
|
|
|
|
int(m.group("start_hour")),
|
|
|
|
int(m.group("start_minute")),
|
2022-06-05 21:31:48 +00:00
|
|
|
repetition=repetition,
|
2021-01-17 11:40:15 +00:00
|
|
|
),
|
|
|
|
Timestamp(
|
|
|
|
active,
|
|
|
|
int(m.group("year")),
|
|
|
|
int(m.group("month")),
|
|
|
|
int(m.group("day")),
|
|
|
|
m.group("dow"),
|
|
|
|
int(m.group("end_hour")),
|
|
|
|
int(m.group("end_minute")),
|
|
|
|
),
|
|
|
|
)
|
|
|
|
|
|
|
|
return OrgTime(
|
2020-11-02 19:39:16 +00:00
|
|
|
Timestamp(
|
|
|
|
active,
|
|
|
|
int(m.group("year")),
|
|
|
|
int(m.group("month")),
|
|
|
|
int(m.group("day")),
|
|
|
|
m.group("dow"),
|
2021-01-17 11:40:15 +00:00
|
|
|
int(m.group("start_hour")) if m.group("start_hour") else None,
|
|
|
|
int(m.group("start_minute")) if m.group("start_minute") else None,
|
2022-06-05 21:31:48 +00:00
|
|
|
repetition=repetition,
|
2021-01-17 11:40:15 +00:00
|
|
|
)
|
2020-11-02 19:39:16 +00:00
|
|
|
)
|
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2021-01-17 11:40:15 +00:00
|
|
|
def time_from_str(s: str) -> OrgTime:
|
|
|
|
return OrgTime.parse(s)
|
2021-01-05 23:25:06 +00:00
|
|
|
|
|
|
|
|
2020-12-09 23:12:13 +00:00
|
|
|
def timerange_to_string(tr: TimeRange):
|
2021-01-17 11:40:15 +00:00
|
|
|
return tr.start_time.to_raw() + "--" + tr.end_time.to_raw()
|
2020-12-09 23:12:13 +00:00
|
|
|
|
|
|
|
|
2022-06-05 21:32:32 +00:00
|
|
|
def timestamp_to_string(ts: Timestamp, end_time: Optional[Timestamp] = None) -> str:
|
2020-11-02 19:39:16 +00:00
|
|
|
date = "{year}-{month:02d}-{day:02d}".format(
|
|
|
|
year=ts.year, month=ts.month, day=ts.day
|
2020-06-21 22:40:47 +00:00
|
|
|
)
|
|
|
|
if ts.dow:
|
2020-11-02 19:39:16 +00:00
|
|
|
date = date + " " + ts.dow
|
2020-06-21 22:40:47 +00:00
|
|
|
|
|
|
|
if ts.hour is not None:
|
2020-11-02 19:39:16 +00:00
|
|
|
base = "{date} {hour:02}:{minute:02d}".format(
|
|
|
|
date=date, hour=ts.hour, minute=ts.minute
|
|
|
|
)
|
2020-06-21 22:40:47 +00:00
|
|
|
else:
|
|
|
|
base = date
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2021-01-17 11:40:15 +00:00
|
|
|
if end_time is not None:
|
|
|
|
assert end_time.hour is not None
|
|
|
|
assert end_time.minute is not None
|
|
|
|
base = "{base}-{hour:02}:{minute:02d}".format(
|
|
|
|
base=base, hour=end_time.hour, minute=end_time.minute
|
|
|
|
)
|
|
|
|
|
2022-06-05 21:31:48 +00:00
|
|
|
if ts.repetition is not None:
|
2021-01-11 23:58:28 +00:00
|
|
|
base = base + " " + ts.repetition
|
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
if ts.active:
|
2020-11-02 19:39:16 +00:00
|
|
|
return "<{}>".format(base)
|
2020-06-21 22:40:47 +00:00
|
|
|
else:
|
2020-11-02 19:39:16 +00:00
|
|
|
return "[{}]".format(base)
|
|
|
|
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2020-10-25 19:23:08 +00:00
|
|
|
def get_raw(doc):
|
|
|
|
if isinstance(doc, str):
|
|
|
|
return doc
|
|
|
|
else:
|
|
|
|
return doc.get_raw()
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
class Line:
|
|
|
|
def __init__(self, linenum, contents):
|
|
|
|
self.linenum = linenum
|
|
|
|
self.contents = contents
|
|
|
|
|
|
|
|
def get_raw(self):
|
|
|
|
rawchunks = []
|
|
|
|
for chunk in self.contents:
|
|
|
|
if isinstance(chunk, str):
|
|
|
|
rawchunks.append(chunk)
|
|
|
|
else:
|
|
|
|
rawchunks.append(chunk.get_raw())
|
2020-11-02 19:39:16 +00:00
|
|
|
return "".join(rawchunks) + "\n"
|
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
class Link:
|
2020-12-20 10:47:23 +00:00
|
|
|
def __init__(self, value: str, description: str, origin: RangeInRaw):
|
|
|
|
self._value = value
|
|
|
|
self._description = description
|
|
|
|
self._origin = origin
|
2020-11-02 22:51:11 +00:00
|
|
|
|
|
|
|
def get_raw(self):
|
|
|
|
if self.description:
|
2020-11-26 22:44:56 +00:00
|
|
|
return "[[{}][{}]]".format(self.value, self.description)
|
2020-11-02 22:51:11 +00:00
|
|
|
else:
|
2020-11-26 22:44:56 +00:00
|
|
|
return "[[{}]]".format(self.value)
|
2020-11-02 22:51:11 +00:00
|
|
|
|
2020-12-20 10:47:23 +00:00
|
|
|
def _update_content(self):
|
|
|
|
new_contents = []
|
|
|
|
new_contents.append(self._value)
|
|
|
|
if self._description:
|
|
|
|
new_contents.append(LinkToken(LinkTokenType.OPEN_DESCRIPTION))
|
|
|
|
new_contents.append(self._description)
|
|
|
|
self._origin.update_range(new_contents)
|
|
|
|
|
|
|
|
@property
|
|
|
|
def value(self):
|
|
|
|
return self._value
|
|
|
|
|
|
|
|
@value.setter
|
|
|
|
def value(self, new_value):
|
|
|
|
self._value = new_value
|
|
|
|
self._update_content()
|
|
|
|
|
|
|
|
@property
|
|
|
|
def description(self):
|
|
|
|
return self._description
|
|
|
|
|
|
|
|
@description.setter
|
|
|
|
def description(self, new_description):
|
|
|
|
self._description = new_description
|
|
|
|
self._update_content()
|
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
class Text:
|
2020-10-25 19:23:08 +00:00
|
|
|
def __init__(self, contents, line):
|
2020-10-09 22:39:32 +00:00
|
|
|
self.contents = contents
|
2020-10-25 19:23:08 +00:00
|
|
|
self.linenum = line
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
def __repr__(self):
|
|
|
|
return "{{Text line: {}; content: {} }}".format(self.linenum, self.contents)
|
|
|
|
|
2022-08-28 12:08:54 +00:00
|
|
|
def get_text(self):
|
|
|
|
return token_list_to_plaintext(self.contents)
|
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
def get_raw(self):
|
2021-08-03 22:06:18 +00:00
|
|
|
return token_list_to_raw(self.contents)
|
|
|
|
|
2022-08-28 12:08:54 +00:00
|
|
|
def token_list_to_plaintext(tok_list) -> str:
|
2022-10-21 18:14:57 +00:00
|
|
|
contents = []
|
|
|
|
in_link = False
|
|
|
|
in_description = False
|
|
|
|
link_description = []
|
|
|
|
link_url = []
|
|
|
|
for chunk in tok_list:
|
|
|
|
if isinstance(chunk, str):
|
|
|
|
if not in_link:
|
|
|
|
contents.append(chunk)
|
|
|
|
elif in_description:
|
|
|
|
link_description.append(chunk)
|
|
|
|
else:
|
|
|
|
link_url.append(chunk)
|
|
|
|
elif isinstance(chunk, LinkToken):
|
|
|
|
if chunk.tok_type == LinkTokenType.OPEN_LINK:
|
|
|
|
in_link = True
|
|
|
|
elif chunk.tok_type == LinkTokenType.OPEN_DESCRIPTION:
|
|
|
|
in_description = True
|
|
|
|
else:
|
|
|
|
assert chunk.tok_type == LinkTokenType.CLOSE
|
|
|
|
if not in_description:
|
|
|
|
# This might happen when link doesn't have a separate description
|
|
|
|
link_description = link_url
|
|
|
|
contents.append(''.join(link_description))
|
|
|
|
|
|
|
|
in_link = False
|
|
|
|
in_description = False
|
|
|
|
link_description = []
|
|
|
|
link_url = []
|
|
|
|
else:
|
|
|
|
assert isinstance(chunk, MarkerToken)
|
|
|
|
|
|
|
|
return "".join(contents)
|
2021-08-03 22:06:18 +00:00
|
|
|
|
|
|
|
def token_list_to_raw(tok_list):
|
|
|
|
contents = []
|
|
|
|
for chunk in tok_list:
|
|
|
|
if isinstance(chunk, str):
|
|
|
|
contents.append(chunk)
|
|
|
|
elif isinstance(chunk, LinkToken):
|
|
|
|
if chunk.tok_type == LinkTokenType.OPEN_LINK:
|
|
|
|
contents.append("[[")
|
|
|
|
elif chunk.tok_type == LinkTokenType.OPEN_DESCRIPTION:
|
|
|
|
contents.append("][")
|
2020-11-02 19:39:16 +00:00
|
|
|
else:
|
2021-08-03 22:06:18 +00:00
|
|
|
assert chunk.tok_type == LinkTokenType.CLOSE
|
|
|
|
contents.append("]]")
|
|
|
|
else:
|
|
|
|
assert isinstance(chunk, MarkerToken)
|
|
|
|
contents.append(token_from_type(chunk.tok_type))
|
|
|
|
return "".join(contents)
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
|
|
|
|
class Bold:
|
2020-11-02 19:39:16 +00:00
|
|
|
Marker = "*"
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
def __init__(self, contents, line):
|
2020-10-09 22:39:32 +00:00
|
|
|
self.contents = contents
|
|
|
|
|
|
|
|
def get_raw(self):
|
2020-11-02 19:39:16 +00:00
|
|
|
raw = "".join(map(get_raw, self.contents))
|
2020-10-25 19:23:08 +00:00
|
|
|
return f"{self.Marker}{raw}{self.Marker}"
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
class Code:
|
2020-11-02 19:39:16 +00:00
|
|
|
Marker = "~"
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
def __init__(self, contents, line):
|
2020-10-09 22:39:32 +00:00
|
|
|
self.contents = contents
|
|
|
|
|
|
|
|
def get_raw(self):
|
2020-11-02 19:39:16 +00:00
|
|
|
raw = "".join(map(get_raw, self.contents))
|
2020-10-25 19:23:08 +00:00
|
|
|
return f"{self.Marker}{raw}{self.Marker}"
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
class Italic:
|
2020-11-02 19:39:16 +00:00
|
|
|
Marker = "/"
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
def __init__(self, contents, line):
|
2020-10-09 22:39:32 +00:00
|
|
|
self.contents = contents
|
|
|
|
|
|
|
|
def get_raw(self):
|
2020-11-02 19:39:16 +00:00
|
|
|
raw = "".join(map(get_raw, self.contents))
|
2020-10-25 19:23:08 +00:00
|
|
|
return f"{self.Marker}{raw}{self.Marker}"
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
class Strike:
|
2020-11-02 19:39:16 +00:00
|
|
|
Marker = "+"
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
def __init__(self, contents, line):
|
2020-10-09 22:39:32 +00:00
|
|
|
self.contents = contents
|
|
|
|
|
|
|
|
def get_raw(self):
|
2020-11-02 19:39:16 +00:00
|
|
|
raw = "".join(map(get_raw, self.contents))
|
2020-10-25 19:23:08 +00:00
|
|
|
return f"{self.Marker}{raw}{self.Marker}"
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
class Underlined:
|
2020-11-02 19:39:16 +00:00
|
|
|
Marker = "_"
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
def __init__(self, contents, line):
|
2020-10-09 22:39:32 +00:00
|
|
|
self.contents = contents
|
|
|
|
|
|
|
|
def get_raw(self):
|
2020-11-02 19:39:16 +00:00
|
|
|
raw = "".join(map(get_raw, self.contents))
|
2020-10-25 19:23:08 +00:00
|
|
|
return f"{self.Marker}{raw}{self.Marker}"
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-09 22:39:32 +00:00
|
|
|
class Verbatim:
|
2020-11-02 19:39:16 +00:00
|
|
|
Marker = "="
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
def __init__(self, contents, line):
|
2020-10-09 22:39:32 +00:00
|
|
|
self.contents = contents
|
|
|
|
|
|
|
|
def get_raw(self):
|
2020-11-02 19:39:16 +00:00
|
|
|
raw = "".join(map(get_raw, self.contents))
|
2020-10-25 19:23:08 +00:00
|
|
|
return f"{self.Marker}{raw}{self.Marker}"
|
|
|
|
|
|
|
|
|
|
|
|
def is_pre(char: str) -> bool:
|
|
|
|
if isinstance(char, str):
|
2020-11-02 19:39:16 +00:00
|
|
|
return char in "\n\r\t -({'\""
|
2020-10-25 19:23:08 +00:00
|
|
|
else:
|
|
|
|
return True
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-25 19:23:08 +00:00
|
|
|
def is_marker(char: str) -> bool:
|
|
|
|
if isinstance(char, str):
|
2020-11-02 19:39:16 +00:00
|
|
|
return char in "*=/+_~"
|
2020-10-25 19:23:08 +00:00
|
|
|
else:
|
|
|
|
return False
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-25 19:23:08 +00:00
|
|
|
def is_border(char: str) -> bool:
|
|
|
|
if isinstance(char, str):
|
2020-11-02 19:39:16 +00:00
|
|
|
return char not in "\n\r\t "
|
2020-10-25 19:23:08 +00:00
|
|
|
else:
|
|
|
|
return False
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-25 19:23:08 +00:00
|
|
|
def is_body(char: str) -> bool:
|
|
|
|
if isinstance(char, str):
|
|
|
|
return True
|
|
|
|
else:
|
|
|
|
return False
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-25 19:23:08 +00:00
|
|
|
def is_post(char: str) -> bool:
|
|
|
|
if isinstance(char, str):
|
2020-11-02 19:39:16 +00:00
|
|
|
return char in "-.,;:!?')}[\""
|
2020-10-25 19:23:08 +00:00
|
|
|
else:
|
|
|
|
return False
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-25 19:23:08 +00:00
|
|
|
TOKEN_TYPE_TEXT = 0
|
|
|
|
TOKEN_TYPE_OPEN_MARKER = 1
|
|
|
|
TOKEN_TYPE_CLOSE_MARKER = 2
|
2020-11-02 22:51:11 +00:00
|
|
|
TOKEN_TYPE_OPEN_LINK = 3
|
|
|
|
TOKEN_TYPE_CLOSE_LINK = 4
|
|
|
|
TOKEN_TYPE_OPEN_DESCRIPTION = 5
|
2020-10-25 19:23:08 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
|
2020-10-25 19:23:08 +00:00
|
|
|
def tokenize_contents(contents: str):
|
|
|
|
tokens = []
|
|
|
|
last_char = None
|
|
|
|
|
|
|
|
text = []
|
|
|
|
closes = set()
|
2020-11-02 22:51:11 +00:00
|
|
|
in_link = False
|
|
|
|
in_link_description = False
|
|
|
|
last_link_start = 0
|
|
|
|
|
|
|
|
def cut_string():
|
|
|
|
nonlocal text
|
|
|
|
nonlocal tokens
|
2020-10-25 19:23:08 +00:00
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
if len(text) > 0:
|
|
|
|
tokens.append((TOKEN_TYPE_TEXT, "".join(text)))
|
|
|
|
text = []
|
|
|
|
|
|
|
|
cursor = enumerate(contents)
|
|
|
|
for i, char in cursor:
|
2020-10-25 19:23:08 +00:00
|
|
|
has_changed = False
|
|
|
|
|
2020-11-02 22:51:11 +00:00
|
|
|
# Possible link opening
|
2020-11-26 22:44:56 +00:00
|
|
|
if char == "[":
|
|
|
|
if (
|
|
|
|
len(contents) > i + 3
|
2020-11-02 22:51:11 +00:00
|
|
|
# At least 3 characters more to open and close a link
|
2020-11-26 22:44:56 +00:00
|
|
|
and contents[i + 1] == "["
|
2022-08-27 11:02:10 +00:00
|
|
|
# TODO: Generalize this to a backtracking, don't just fix the test case...
|
|
|
|
and contents[i + 2] != "["
|
2020-11-26 22:44:56 +00:00
|
|
|
):
|
2022-08-27 11:02:10 +00:00
|
|
|
close = contents.find("]]", i)
|
2020-11-02 22:51:11 +00:00
|
|
|
|
2022-08-27 11:02:10 +00:00
|
|
|
if close != -1:
|
2020-11-02 22:51:11 +00:00
|
|
|
# Link with no description
|
|
|
|
cut_string()
|
|
|
|
|
|
|
|
in_link = True
|
|
|
|
tokens.append((TOKEN_TYPE_OPEN_LINK, None))
|
2020-11-26 22:44:56 +00:00
|
|
|
assert "[" == (next(cursor)[1])
|
2020-11-02 22:51:11 +00:00
|
|
|
last_link_start = i
|
|
|
|
continue
|
2020-11-26 22:44:56 +00:00
|
|
|
if close != -1 and contents[close + 1] == "[":
|
2020-11-02 22:51:11 +00:00
|
|
|
# Link with description?
|
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
close = contents.find("]", close + 1)
|
|
|
|
if close != -1 and contents[close + 1] == "]":
|
2020-11-02 22:51:11 +00:00
|
|
|
# No match here means this is not an Org link
|
|
|
|
cut_string()
|
|
|
|
|
|
|
|
in_link = True
|
|
|
|
tokens.append((TOKEN_TYPE_OPEN_LINK, None))
|
2020-11-26 22:44:56 +00:00
|
|
|
assert "[" == (next(cursor)[1])
|
2020-11-02 22:51:11 +00:00
|
|
|
last_link_start = i
|
|
|
|
continue
|
|
|
|
|
|
|
|
# Possible link close or open of description
|
2022-08-27 11:02:10 +00:00
|
|
|
if char == "]" and len(contents) > i + 1 and in_link:
|
2020-11-26 22:44:56 +00:00
|
|
|
if contents[i + 1] == "]":
|
2020-11-02 22:51:11 +00:00
|
|
|
cut_string()
|
|
|
|
|
|
|
|
tokens.append((TOKEN_TYPE_CLOSE_LINK, None))
|
2020-11-26 22:44:56 +00:00
|
|
|
assert "]" == (next(cursor)[1])
|
2020-11-02 22:51:11 +00:00
|
|
|
in_link = False
|
|
|
|
in_link_description = False
|
|
|
|
continue
|
|
|
|
|
2022-08-27 11:02:10 +00:00
|
|
|
elif contents[i + 1] == "[":
|
2020-11-02 22:51:11 +00:00
|
|
|
cut_string()
|
|
|
|
|
|
|
|
tokens.append((TOKEN_TYPE_OPEN_DESCRIPTION, None))
|
2020-11-26 22:44:56 +00:00
|
|
|
assert "[" == (next(cursor)[1])
|
2020-11-02 22:51:11 +00:00
|
|
|
continue
|
|
|
|
|
2020-11-26 22:44:56 +00:00
|
|
|
if in_link and not in_link_description:
|
2020-11-02 22:51:11 +00:00
|
|
|
# Link's pointer have no formatting
|
|
|
|
pass
|
|
|
|
|
|
|
|
elif (
|
2020-11-02 19:39:16 +00:00
|
|
|
(i not in closes)
|
|
|
|
and is_marker(char)
|
|
|
|
and is_pre(last_char)
|
|
|
|
and ((i + 1 < len(contents)) and is_border(contents[i + 1]))
|
|
|
|
):
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
is_valid_mark = False
|
|
|
|
# Check that is closed later
|
|
|
|
text_in_line = True
|
|
|
|
for j in range(i, len(contents) - 1):
|
2020-11-02 19:39:16 +00:00
|
|
|
if contents[j] == "\n":
|
2020-10-25 19:23:08 +00:00
|
|
|
if not text_in_line:
|
|
|
|
break
|
|
|
|
text_in_line = False
|
|
|
|
elif is_border(contents[j]) and contents[j + 1] == char:
|
|
|
|
is_valid_mark = True
|
|
|
|
closes.add(j + 1)
|
|
|
|
break
|
|
|
|
else:
|
|
|
|
text_in_line |= is_body(contents[j])
|
|
|
|
|
|
|
|
if is_valid_mark:
|
2020-11-02 22:51:11 +00:00
|
|
|
cut_string()
|
2020-10-25 19:23:08 +00:00
|
|
|
tokens.append((TOKEN_TYPE_OPEN_MARKER, char))
|
|
|
|
has_changed = True
|
|
|
|
elif i in closes:
|
2020-11-02 22:51:11 +00:00
|
|
|
cut_string()
|
2020-10-25 19:23:08 +00:00
|
|
|
tokens.append((TOKEN_TYPE_CLOSE_MARKER, char))
|
|
|
|
has_changed = True
|
|
|
|
|
|
|
|
if not has_changed:
|
|
|
|
text.append(char)
|
|
|
|
last_char = char
|
|
|
|
|
|
|
|
if len(text) > 0:
|
2020-11-02 19:39:16 +00:00
|
|
|
tokens.append((TOKEN_TYPE_TEXT, "".join(text)))
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
return tokens
|
2020-10-09 22:39:32 +00:00
|
|
|
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
def parse_contents(raw_contents: List[RawLine]):
|
2020-11-26 22:39:35 +00:00
|
|
|
if len(raw_contents) == 0:
|
|
|
|
return []
|
|
|
|
|
2020-12-03 23:04:56 +00:00
|
|
|
blocks = []
|
|
|
|
current_block = []
|
|
|
|
|
|
|
|
for line in raw_contents:
|
|
|
|
if len(current_block) == 0:
|
|
|
|
# Seed the first block
|
|
|
|
current_line = line.linenum
|
|
|
|
current_block.append(line)
|
|
|
|
else:
|
|
|
|
if line.linenum == current_line + 1:
|
|
|
|
# Continue with the current block
|
|
|
|
current_line = line.linenum
|
|
|
|
current_block.append(line)
|
|
|
|
else:
|
|
|
|
# Split the blocks
|
|
|
|
blocks.append(current_block)
|
|
|
|
current_line = line.linenum
|
|
|
|
current_block = [line]
|
|
|
|
|
|
|
|
# Check that the current block is not left behind
|
|
|
|
if len(current_block) > 0:
|
|
|
|
blocks.append(current_block)
|
|
|
|
|
|
|
|
return [parse_content_block(block) for block in blocks]
|
|
|
|
|
|
|
|
|
2022-11-12 11:37:50 +00:00
|
|
|
def parse_content_block(raw_contents: Union[List[RawLine],str]):
|
2020-10-09 22:39:32 +00:00
|
|
|
contents_buff = []
|
2022-11-12 11:37:50 +00:00
|
|
|
if isinstance(raw_contents, str):
|
|
|
|
contents_buff.append(raw_contents)
|
|
|
|
else:
|
|
|
|
for line in raw_contents:
|
|
|
|
contents_buff.append(line.line)
|
2020-10-09 22:39:32 +00:00
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
contents = "\n".join(contents_buff)
|
2020-10-25 19:23:08 +00:00
|
|
|
tokens = tokenize_contents(contents)
|
2022-11-12 11:37:50 +00:00
|
|
|
if isinstance(raw_contents, str):
|
|
|
|
current_line = None
|
|
|
|
else:
|
|
|
|
current_line = raw_contents[0].linenum
|
2020-10-25 19:23:08 +00:00
|
|
|
|
|
|
|
contents = []
|
|
|
|
# Use tokens to tag chunks of text with it's container type
|
|
|
|
for (tok_type, tok_val) in tokens:
|
|
|
|
if tok_type == TOKEN_TYPE_TEXT:
|
2020-11-02 19:39:16 +00:00
|
|
|
contents.append(tok_val)
|
2020-10-25 19:23:08 +00:00
|
|
|
elif tok_type == TOKEN_TYPE_OPEN_MARKER:
|
2020-11-02 19:39:16 +00:00
|
|
|
contents.append(MarkerToken(False, MARKERS[tok_val]))
|
2020-10-25 19:23:08 +00:00
|
|
|
elif tok_type == TOKEN_TYPE_CLOSE_MARKER:
|
2020-11-02 19:39:16 +00:00
|
|
|
contents.append(MarkerToken(True, MARKERS[tok_val]))
|
2020-11-02 22:51:11 +00:00
|
|
|
elif tok_type == TOKEN_TYPE_OPEN_LINK:
|
|
|
|
contents.append(LinkToken(LinkTokenType.OPEN_LINK))
|
|
|
|
elif tok_type == TOKEN_TYPE_OPEN_DESCRIPTION:
|
|
|
|
contents.append(LinkToken(LinkTokenType.OPEN_DESCRIPTION))
|
|
|
|
elif tok_type == TOKEN_TYPE_CLOSE_LINK:
|
|
|
|
contents.append(LinkToken(LinkTokenType.CLOSE))
|
2020-10-25 19:23:08 +00:00
|
|
|
|
2020-12-03 23:04:56 +00:00
|
|
|
return Text(contents, current_line)
|
2020-10-09 22:39:32 +00:00
|
|
|
|
|
|
|
|
2020-12-22 09:21:41 +00:00
|
|
|
def dump_contents(raw):
|
|
|
|
if isinstance(raw, RawLine):
|
|
|
|
return (raw.linenum, raw.line)
|
|
|
|
|
2021-02-09 23:21:37 +00:00
|
|
|
elif isinstance(raw, ListItem):
|
2021-08-03 22:06:18 +00:00
|
|
|
bullet = raw.bullet if raw.bullet else raw.counter + raw.counter_sep
|
2022-11-12 11:37:50 +00:00
|
|
|
content_full = token_list_to_raw(raw.content)
|
|
|
|
content_lines = content_full.split('\n')
|
2022-11-12 17:01:00 +00:00
|
|
|
content = '\n'.join(content_lines)
|
2021-08-03 22:06:18 +00:00
|
|
|
checkbox = f"[{raw.checkbox_value}]" if raw.checkbox_value else ""
|
2022-09-29 18:31:23 +00:00
|
|
|
tag = f"{raw.tag_indentation}{token_list_to_raw(raw.tag or '')}::" if raw.tag or raw.tag_indentation else ""
|
2021-08-03 22:06:18 +00:00
|
|
|
return (
|
|
|
|
raw.linenum,
|
2022-09-29 18:25:48 +00:00
|
|
|
f"{raw.indentation}{bullet} {checkbox}{tag}{content}",
|
2021-08-03 22:06:18 +00:00
|
|
|
)
|
2021-02-09 23:21:37 +00:00
|
|
|
|
2022-09-27 21:36:32 +00:00
|
|
|
elif isinstance(raw, TableRow):
|
|
|
|
closed = '|' if raw.last_cell_closed else ''
|
|
|
|
return (
|
|
|
|
raw.linenum,
|
|
|
|
f"{' ' * raw.indentation}|{'|'.join(raw.cells)}{closed}{raw.suffix}",
|
|
|
|
)
|
|
|
|
|
2020-12-22 09:21:41 +00:00
|
|
|
return (raw.linenum, raw.get_raw())
|
|
|
|
|
|
|
|
|
|
|
|
def parse_headline(hl, doc, parent) -> Headline:
|
2020-11-02 19:39:16 +00:00
|
|
|
stars = hl["orig"].group("stars")
|
2020-06-27 17:20:34 +00:00
|
|
|
depth = len(stars)
|
2021-01-17 12:30:38 +00:00
|
|
|
spacing = hl["orig"].group("spacing")
|
2020-06-27 17:20:34 +00:00
|
|
|
|
|
|
|
# TODO: Parse line for priority, cookies and tags
|
2020-11-02 19:39:16 +00:00
|
|
|
line = hl["orig"].group("line")
|
2020-12-22 09:21:41 +00:00
|
|
|
hl_tags = HEADLINE_TAGS_RE.search(line)
|
|
|
|
|
|
|
|
if hl_tags is None:
|
|
|
|
tags = []
|
|
|
|
else:
|
|
|
|
tags = hl_tags.group(0)[1:-1].split(":")
|
|
|
|
line = HEADLINE_TAGS_RE.sub("", line)
|
|
|
|
|
|
|
|
hl_state = None
|
2020-12-11 22:17:37 +00:00
|
|
|
title = line
|
2020-12-22 09:21:41 +00:00
|
|
|
is_done = is_todo = False
|
2021-01-04 23:24:33 +00:00
|
|
|
for state in doc.todo_keywords or []:
|
2020-12-22 09:21:41 +00:00
|
|
|
if title.startswith(state + " "):
|
|
|
|
hl_state = state
|
|
|
|
title = title[len(state + " ") :]
|
|
|
|
is_todo = True
|
|
|
|
break
|
|
|
|
else:
|
2021-01-04 23:24:33 +00:00
|
|
|
for state in doc.done_keywords or []:
|
2020-12-22 09:21:41 +00:00
|
|
|
if title.startswith(state + " "):
|
|
|
|
hl_state = state
|
|
|
|
title = title[len(state + " ") :]
|
|
|
|
is_done = True
|
|
|
|
break
|
|
|
|
|
2020-11-02 19:39:16 +00:00
|
|
|
contents = parse_contents(hl["contents"])
|
|
|
|
|
2022-05-16 21:16:20 +00:00
|
|
|
if not (isinstance(parent, OrgDoc) or depth > parent.depth):
|
|
|
|
raise AssertionError("Incorrectly parsed parent on `{}' > `{}'".format(parent.title, title))
|
|
|
|
|
2020-12-22 09:21:41 +00:00
|
|
|
headline = Headline(
|
2020-11-02 19:39:16 +00:00
|
|
|
start_line=hl["linenum"],
|
|
|
|
depth=depth,
|
|
|
|
orig=hl["orig"],
|
|
|
|
title=title,
|
2020-12-22 09:21:41 +00:00
|
|
|
state=hl_state,
|
2020-11-02 19:39:16 +00:00
|
|
|
contents=contents,
|
2020-12-22 09:21:41 +00:00
|
|
|
children=None,
|
2020-11-02 19:39:16 +00:00
|
|
|
keywords=hl["keywords"],
|
|
|
|
properties=hl["properties"],
|
|
|
|
structural=hl["structural"],
|
2020-12-05 23:26:44 +00:00
|
|
|
delimiters=hl["delimiters"],
|
2021-02-09 23:21:37 +00:00
|
|
|
list_items=hl["list_items"],
|
2022-09-27 21:36:32 +00:00
|
|
|
table_rows=hl["table_rows"],
|
2020-11-02 19:39:16 +00:00
|
|
|
title_start=None,
|
|
|
|
priority=None,
|
|
|
|
priority_start=None,
|
|
|
|
tags_start=None,
|
2020-12-22 09:21:41 +00:00
|
|
|
tags=tags,
|
|
|
|
parent=parent,
|
|
|
|
is_todo=is_todo,
|
|
|
|
is_done=is_done,
|
2021-01-17 12:30:38 +00:00
|
|
|
spacing=spacing,
|
2020-06-27 17:20:34 +00:00
|
|
|
)
|
|
|
|
|
2020-12-22 09:21:41 +00:00
|
|
|
headline.children = [
|
|
|
|
parse_headline(child, doc, headline) for child in hl["children"]
|
|
|
|
]
|
|
|
|
return headline
|
|
|
|
|
2020-06-27 17:20:34 +00:00
|
|
|
|
2021-08-26 22:22:15 +00:00
|
|
|
def dump_kw(kw):
|
|
|
|
options = kw.match.group("options")
|
|
|
|
if not options:
|
|
|
|
options = ""
|
|
|
|
|
|
|
|
return (
|
|
|
|
kw.linenum,
|
|
|
|
"{indentation}#+{key}{options}:{spacing}{value}".format(
|
|
|
|
indentation=kw.match.group("indentation"),
|
|
|
|
key=kw.key,
|
|
|
|
options=kw.options,
|
|
|
|
spacing=kw.match.group("spacing"),
|
|
|
|
value=kw.value,
|
|
|
|
),
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
def dump_property(prop: Property):
|
|
|
|
plus = ""
|
|
|
|
indentation = ""
|
|
|
|
spacing = " "
|
|
|
|
if prop.match is not None:
|
|
|
|
plus = prop.match.group("plus")
|
|
|
|
if plus is None:
|
|
|
|
plus = ""
|
|
|
|
indentation = prop.match.group("indentation")
|
|
|
|
spacing = prop.match.group("spacing")
|
|
|
|
|
|
|
|
if isinstance(prop.value, TimeRange):
|
|
|
|
value = timerange_to_string(prop.value)
|
|
|
|
elif isinstance(prop.value, OrgTime):
|
|
|
|
value = prop.value.to_raw()
|
|
|
|
else:
|
|
|
|
value = prop.value
|
|
|
|
|
|
|
|
return (
|
|
|
|
prop.linenum,
|
|
|
|
"{indentation}:{key}{plus}:{spacing}{value}".format(
|
|
|
|
indentation=indentation,
|
|
|
|
key=prop.key,
|
|
|
|
plus=plus,
|
|
|
|
spacing=spacing,
|
|
|
|
value=value,
|
|
|
|
),
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
def dump_structural(structural: Tuple):
|
|
|
|
return (structural[0], structural[1])
|
|
|
|
|
|
|
|
|
|
|
|
def dump_delimiters(line: DelimiterLine):
|
|
|
|
return (line.linenum, line.line)
|
|
|
|
|
|
|
|
|
2020-12-20 11:39:47 +00:00
|
|
|
class OrgDoc:
|
2021-08-03 20:37:03 +00:00
|
|
|
def __init__(
|
|
|
|
self, headlines, keywords, contents, list_items, structural, properties
|
|
|
|
):
|
2021-01-17 12:30:38 +00:00
|
|
|
self.todo_keywords = DEFAULT_TODO_KEYWORDS
|
|
|
|
self.done_keywords = DEFAULT_DONE_KEYWORDS
|
2020-12-22 09:21:41 +00:00
|
|
|
|
|
|
|
for keyword in keywords:
|
2021-10-24 21:06:35 +00:00
|
|
|
if keyword.key in ("TODO", "SEQ_TODO"):
|
2020-12-22 09:21:41 +00:00
|
|
|
todo_kws, done_kws = re.sub(r"\(.\)", "", keyword.value).split("|", 1)
|
|
|
|
|
|
|
|
self.todo_keywords = re.sub(r"\s{2,}", " ", todo_kws.strip()).split()
|
|
|
|
self.done_keywords = re.sub(r"\s{2,}", " ", done_kws.strip()).split()
|
|
|
|
|
2020-06-21 19:27:40 +00:00
|
|
|
self.keywords: List[Property] = keywords
|
2020-06-21 22:40:47 +00:00
|
|
|
self.contents: List[RawLine] = contents
|
2021-04-02 22:59:23 +00:00
|
|
|
self.list_items: List[ListItem] = list_items
|
2021-08-03 20:37:03 +00:00
|
|
|
self.structural: List = structural
|
|
|
|
self.properties: List = properties
|
2020-12-22 09:21:41 +00:00
|
|
|
self._path = None
|
|
|
|
self.headlines: List[Headline] = list(
|
|
|
|
map(lambda hl: parse_headline(hl, self, self), headlines)
|
|
|
|
)
|
|
|
|
|
2022-05-07 10:53:09 +00:00
|
|
|
@property
|
|
|
|
def id(self):
|
|
|
|
"""
|
|
|
|
Created by org-roam v2.
|
|
|
|
"""
|
|
|
|
for p in self.properties:
|
|
|
|
if p.key == 'ID':
|
|
|
|
return p.value
|
|
|
|
return None
|
|
|
|
|
2020-12-22 09:21:41 +00:00
|
|
|
@property
|
|
|
|
def path(self):
|
|
|
|
return self._path
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
## Querying
|
2020-11-02 22:51:11 +00:00
|
|
|
def get_links(self):
|
|
|
|
for headline in self.headlines:
|
|
|
|
yield from headline.get_links()
|
|
|
|
|
|
|
|
for content in self.contents:
|
|
|
|
yield from get_links_from_content(content)
|
|
|
|
|
2021-08-03 20:37:03 +00:00
|
|
|
def get_keywords(self, name: str, default=None):
|
2021-08-03 20:15:38 +00:00
|
|
|
for prop in self.keywords:
|
|
|
|
if prop.key == name:
|
|
|
|
return prop.value
|
|
|
|
|
|
|
|
return default
|
|
|
|
|
2021-08-03 20:37:03 +00:00
|
|
|
def get_property(self, name: str, default=None):
|
|
|
|
for prop in self.properties:
|
|
|
|
if prop.key == name:
|
|
|
|
return prop.value
|
|
|
|
|
|
|
|
return default
|
|
|
|
|
2020-06-21 19:27:40 +00:00
|
|
|
def getProperties(self):
|
2020-06-21 22:40:47 +00:00
|
|
|
return self.keywords
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
def getTopHeadlines(self):
|
|
|
|
return self.headlines
|
|
|
|
|
2021-01-17 12:30:38 +00:00
|
|
|
def getAllHeadlines(self) -> Generator[Headline]:
|
|
|
|
todo = self.headlines[::-1] # We go backwards, to pop/append and go depth-first
|
|
|
|
while len(todo) != 0:
|
|
|
|
hl = todo.pop()
|
|
|
|
todo.extend(hl.children[::-1])
|
|
|
|
|
|
|
|
yield hl
|
|
|
|
|
2020-12-05 23:26:44 +00:00
|
|
|
def get_code_snippets(self):
|
|
|
|
for headline in self.headlines:
|
|
|
|
yield from headline.get_code_snippets()
|
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
# Writing
|
2022-06-19 19:46:39 +00:00
|
|
|
def dump_headline(self, headline, recursive=True):
|
2021-01-04 23:24:33 +00:00
|
|
|
|
|
|
|
tags = ""
|
|
|
|
if len(headline.shallow_tags) > 0:
|
|
|
|
tags = ":" + ":".join(headline.shallow_tags) + ":"
|
|
|
|
|
|
|
|
state = ""
|
|
|
|
if headline.state:
|
|
|
|
state = headline.state + " "
|
|
|
|
|
2022-08-28 12:08:54 +00:00
|
|
|
yield "*" * headline.depth + headline.spacing + state + token_list_to_raw(headline.title.contents) + tags
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2021-01-11 23:58:28 +00:00
|
|
|
planning = headline.get_planning_line()
|
|
|
|
if planning is not None:
|
|
|
|
yield planning
|
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
lines = []
|
|
|
|
KW_T = 0
|
|
|
|
CONTENT_T = 1
|
|
|
|
PROPERTIES_T = 2
|
|
|
|
STRUCTURAL_T = 3
|
2020-06-27 17:20:34 +00:00
|
|
|
for keyword in headline.keywords:
|
2021-08-26 22:22:15 +00:00
|
|
|
lines.append((KW_T, dump_kw(keyword)))
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2020-06-27 17:20:34 +00:00
|
|
|
for content in headline.contents:
|
2020-12-22 09:21:41 +00:00
|
|
|
lines.append((CONTENT_T, dump_contents(content)))
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2021-02-09 23:21:37 +00:00
|
|
|
for li in headline.list_items:
|
|
|
|
lines.append((CONTENT_T, dump_contents(li)))
|
|
|
|
|
2022-09-27 21:36:32 +00:00
|
|
|
for row in headline.table_rows:
|
|
|
|
lines.append((CONTENT_T, dump_contents(row)))
|
|
|
|
|
2020-06-27 17:20:34 +00:00
|
|
|
for prop in headline.properties:
|
2021-08-26 22:22:15 +00:00
|
|
|
lines.append((PROPERTIES_T, dump_property(prop)))
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2020-06-27 17:20:34 +00:00
|
|
|
for struct in headline.structural:
|
2021-08-26 22:22:15 +00:00
|
|
|
lines.append((STRUCTURAL_T, dump_structural(struct)))
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2020-12-05 23:26:44 +00:00
|
|
|
for content in headline.delimiters:
|
2021-08-26 22:22:15 +00:00
|
|
|
lines.append((STRUCTURAL_T, dump_delimiters(content)))
|
2020-12-05 23:26:44 +00:00
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
lines = sorted(lines, key=lambda x: x[1][0])
|
|
|
|
|
|
|
|
structured_lines = []
|
|
|
|
last_type = None
|
|
|
|
for i, line in enumerate(lines):
|
|
|
|
ltype = line[0]
|
|
|
|
content = line[1][1]
|
|
|
|
|
2020-12-09 22:58:26 +00:00
|
|
|
content = content + "\n"
|
2020-06-21 22:40:47 +00:00
|
|
|
last_type = ltype
|
|
|
|
structured_lines.append(content)
|
|
|
|
|
2021-08-14 15:40:08 +00:00
|
|
|
if last_type == PROPERTIES_T:
|
|
|
|
# No structural closing
|
|
|
|
|
|
|
|
indentation = 0
|
|
|
|
if len(lines) > 0:
|
|
|
|
last_line = lines[i - 1][1][1]
|
|
|
|
indentation = last_line.index(":")
|
|
|
|
structured_lines.append(" " * indentation + ":END:\n")
|
|
|
|
logging.warning(
|
|
|
|
"Added structural:{}: {}".format(
|
|
|
|
line[1][0], structured_lines[-1].strip()
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
2020-11-26 22:39:35 +00:00
|
|
|
if len(structured_lines) > 0:
|
2020-12-09 22:58:26 +00:00
|
|
|
content = "".join(structured_lines)
|
|
|
|
|
|
|
|
# Remove the last line jump, which will be accounted for by the "yield operation"
|
|
|
|
assert content.endswith("\n")
|
|
|
|
content = content[:-1]
|
|
|
|
yield content
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2022-06-19 19:46:39 +00:00
|
|
|
if recursive:
|
|
|
|
for child in headline.children:
|
|
|
|
yield from self.dump_headline(child, recursive=recursive)
|
2020-06-21 22:40:47 +00:00
|
|
|
|
|
|
|
def dump(self):
|
|
|
|
lines = []
|
2021-08-03 20:37:03 +00:00
|
|
|
for prop in self.properties:
|
2021-08-26 22:22:15 +00:00
|
|
|
lines.append(dump_property(prop))
|
2021-08-03 20:37:03 +00:00
|
|
|
|
|
|
|
for struct in self.structural:
|
2021-08-26 22:22:15 +00:00
|
|
|
lines.append(dump_structural(struct))
|
2021-08-03 20:37:03 +00:00
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
for kw in self.keywords:
|
2021-08-26 22:22:15 +00:00
|
|
|
lines.append(dump_kw(kw))
|
2020-06-21 22:40:47 +00:00
|
|
|
|
|
|
|
for line in self.contents:
|
2020-12-22 09:21:41 +00:00
|
|
|
lines.append(dump_contents(line))
|
2020-06-21 22:40:47 +00:00
|
|
|
|
2021-04-02 22:59:23 +00:00
|
|
|
for li in self.list_items:
|
|
|
|
lines.append(dump_contents(li))
|
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
yield from map(lambda x: x[1], sorted(lines, key=lambda x: x[0]))
|
|
|
|
|
|
|
|
for headline in self.headlines:
|
|
|
|
yield from self.dump_headline(headline)
|
|
|
|
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2020-12-20 11:39:47 +00:00
|
|
|
class OrgDocReader:
|
2020-06-21 19:27:40 +00:00
|
|
|
def __init__(self):
|
|
|
|
self.headlines: List[Headline] = []
|
|
|
|
self.keywords: List[Property] = []
|
2020-12-20 11:39:47 +00:00
|
|
|
self.headline_hierarchy: List[OrgDoc] = []
|
2020-06-21 22:40:47 +00:00
|
|
|
self.contents: List[RawLine] = []
|
2020-12-05 23:26:44 +00:00
|
|
|
self.delimiters: List[DelimiterLine] = []
|
2021-02-09 23:21:37 +00:00
|
|
|
self.list_items: List[ListItem] = []
|
2022-09-27 21:36:32 +00:00
|
|
|
self.table_rows: List[TableRow] = []
|
2021-08-03 20:37:03 +00:00
|
|
|
self.structural: List = []
|
|
|
|
self.properties: List = []
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
def finalize(self):
|
2021-08-03 20:37:03 +00:00
|
|
|
return OrgDoc(
|
|
|
|
self.headlines,
|
|
|
|
self.keywords,
|
|
|
|
self.contents,
|
|
|
|
self.list_items,
|
|
|
|
self.structural,
|
|
|
|
self.properties,
|
|
|
|
)
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
## Construction
|
|
|
|
def add_headline(self, linenum: int, match: re.Match) -> int:
|
|
|
|
# Position reader on the proper headline
|
2020-11-02 19:39:16 +00:00
|
|
|
stars = match.group("stars")
|
2020-06-27 17:20:34 +00:00
|
|
|
depth = len(stars)
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
headline = {
|
2020-11-02 19:39:16 +00:00
|
|
|
"linenum": linenum,
|
|
|
|
"orig": match,
|
|
|
|
"title": match.group("line"),
|
|
|
|
"contents": [],
|
|
|
|
"children": [],
|
|
|
|
"keywords": [],
|
|
|
|
"properties": [],
|
2020-11-26 22:42:39 +00:00
|
|
|
"logbook": [],
|
2020-11-02 19:39:16 +00:00
|
|
|
"structural": [],
|
2020-12-05 23:26:44 +00:00
|
|
|
"delimiters": [],
|
|
|
|
"results": [], # TODO: Move to each specific code block?
|
2021-02-09 23:21:37 +00:00
|
|
|
"list_items": [],
|
2022-09-27 21:36:32 +00:00
|
|
|
"table_rows": [],
|
2020-06-21 19:27:40 +00:00
|
|
|
}
|
|
|
|
|
2022-05-16 21:16:20 +00:00
|
|
|
while (depth - 1) > len(self.headline_hierarchy):
|
2020-06-21 19:27:40 +00:00
|
|
|
# Introduce structural headlines
|
|
|
|
self.headline_hierarchy.append(None)
|
2022-05-16 21:16:20 +00:00
|
|
|
while depth <= len(self.headline_hierarchy):
|
2020-06-21 19:27:40 +00:00
|
|
|
self.headline_hierarchy.pop()
|
|
|
|
|
2020-06-27 17:20:34 +00:00
|
|
|
if depth == 1:
|
2020-06-21 19:27:40 +00:00
|
|
|
self.headlines.append(headline)
|
|
|
|
else:
|
2022-05-16 21:16:20 +00:00
|
|
|
parent_idx = len(self.headline_hierarchy) - 1
|
|
|
|
while self.headline_hierarchy[parent_idx] is None:
|
|
|
|
parent_idx -= 1
|
|
|
|
self.headline_hierarchy[parent_idx]["children"].append(headline)
|
2020-06-21 19:27:40 +00:00
|
|
|
self.headline_hierarchy.append(headline)
|
|
|
|
|
2022-05-16 21:16:20 +00:00
|
|
|
if all([hl is not None for hl in self.headline_hierarchy]):
|
|
|
|
if not ([ len(hl['orig'].group('stars')) for hl in self.headline_hierarchy ]
|
|
|
|
== list(range(1, len(self.headline_hierarchy) + 1))):
|
|
|
|
raise AssertionError('Error on Headline Hierarchy')
|
|
|
|
|
2021-02-09 23:21:37 +00:00
|
|
|
def add_list_item_line(self, linenum: int, match: re.Match) -> int:
|
|
|
|
li = ListItem(
|
2022-11-12 11:37:50 +00:00
|
|
|
linenum=linenum,
|
|
|
|
match=match,
|
|
|
|
indentation=match.group("indentation"),
|
|
|
|
bullet=match.group("bullet"),
|
|
|
|
counter=match.group("counter"),
|
|
|
|
counter_sep=match.group("counter_sep"),
|
|
|
|
checkbox_indentation=match.group("checkbox_indentation"),
|
|
|
|
checkbox_value=match.group("checkbox_value"),
|
|
|
|
tag_indentation=match.group("tag_indentation"),
|
|
|
|
tag=parse_content_block(
|
2022-08-26 17:04:50 +00:00
|
|
|
[RawLine(linenum=linenum, line=match.group("tag"))]
|
|
|
|
).contents if match.group("tag") else None,
|
2022-11-12 11:37:50 +00:00
|
|
|
content=parse_content_block(
|
2021-08-03 21:05:15 +00:00
|
|
|
[RawLine(linenum=linenum, line=match.group("content"))]
|
|
|
|
).contents,
|
2021-02-09 23:21:37 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
if len(self.headline_hierarchy) == 0:
|
|
|
|
self.list_items.append(li)
|
|
|
|
else:
|
|
|
|
self.headline_hierarchy[-1]["list_items"].append(li)
|
2022-11-12 11:37:50 +00:00
|
|
|
return li
|
2021-02-09 23:21:37 +00:00
|
|
|
|
2022-09-27 21:36:32 +00:00
|
|
|
def add_table_line(self, linenum: int, line: str) -> int:
|
|
|
|
chunks = line.split('|')
|
|
|
|
indentation = len(chunks[0])
|
|
|
|
if chunks[-1].strip() == '':
|
|
|
|
suffix = chunks[-1]
|
|
|
|
cells = chunks[1:-1]
|
|
|
|
last_cell_closed = True
|
|
|
|
else:
|
|
|
|
suffix = ''
|
|
|
|
cells = chunks[1:]
|
|
|
|
last_cell_closed = False
|
|
|
|
|
|
|
|
row = TableRow(
|
|
|
|
linenum,
|
|
|
|
indentation,
|
|
|
|
suffix,
|
|
|
|
last_cell_closed,
|
|
|
|
cells,
|
|
|
|
)
|
|
|
|
|
|
|
|
if len(self.headline_hierarchy) == 0:
|
|
|
|
self.table_rows.append(row)
|
|
|
|
else:
|
|
|
|
self.headline_hierarchy[-1]["table_rows"].append(row)
|
|
|
|
|
2020-06-21 19:27:40 +00:00
|
|
|
def add_keyword_line(self, linenum: int, match: re.Match) -> int:
|
2020-11-02 19:39:16 +00:00
|
|
|
options = match.group("options")
|
|
|
|
kw = Keyword(
|
|
|
|
linenum,
|
|
|
|
match,
|
|
|
|
match.group("key"),
|
|
|
|
match.group("value"),
|
|
|
|
options if options is not None else "",
|
|
|
|
)
|
2020-06-21 19:27:40 +00:00
|
|
|
if len(self.headline_hierarchy) == 0:
|
2020-06-21 22:40:47 +00:00
|
|
|
self.keywords.append(kw)
|
2020-06-21 19:27:40 +00:00
|
|
|
else:
|
2020-11-02 19:39:16 +00:00
|
|
|
self.headline_hierarchy[-1]["keywords"].append(kw)
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2021-08-29 22:09:52 +00:00
|
|
|
def add_raw_line(self, linenum: int, line: str):
|
2020-06-21 22:40:47 +00:00
|
|
|
raw = RawLine(linenum, line)
|
|
|
|
if len(self.headline_hierarchy) == 0:
|
|
|
|
self.contents.append(raw)
|
|
|
|
else:
|
2020-11-02 19:39:16 +00:00
|
|
|
self.headline_hierarchy[-1]["contents"].append(raw)
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2022-08-28 19:23:44 +00:00
|
|
|
def add_begin_block_line(self, linenum: int, match: re.Match):
|
|
|
|
line = DelimiterLine(linenum, match.group(0), DelimiterLineType.BEGIN_BLOCK,
|
2022-11-15 20:07:36 +00:00
|
|
|
BlockDelimiterTypeData(match.group("subtype")), match.group('arguments'))
|
2020-12-03 23:04:56 +00:00
|
|
|
if len(self.headline_hierarchy) == 0:
|
2020-12-05 23:26:44 +00:00
|
|
|
self.delimiters.append(line)
|
2020-12-03 23:04:56 +00:00
|
|
|
else:
|
2020-12-05 23:26:44 +00:00
|
|
|
self.headline_hierarchy[-1]["delimiters"].append(line)
|
2020-12-03 23:04:56 +00:00
|
|
|
|
2022-08-28 19:23:44 +00:00
|
|
|
def add_end_block_line(self, linenum: int, match: re.Match):
|
|
|
|
line = DelimiterLine(linenum, match.group(0), DelimiterLineType.END_BLOCK,
|
2022-11-15 20:07:36 +00:00
|
|
|
BlockDelimiterTypeData(match.group("subtype")), None)
|
2020-12-03 23:04:56 +00:00
|
|
|
if len(self.headline_hierarchy) == 0:
|
2020-12-05 23:26:44 +00:00
|
|
|
self.delimiters.append(line)
|
2020-12-03 23:04:56 +00:00
|
|
|
else:
|
2020-12-05 23:26:44 +00:00
|
|
|
self.headline_hierarchy[-1]["delimiters"].append(line)
|
2020-12-03 23:04:56 +00:00
|
|
|
|
2021-08-29 22:09:52 +00:00
|
|
|
def add_property_drawer_line(self, linenum: int, line: str, match: re.Match):
|
2021-08-03 20:37:03 +00:00
|
|
|
if len(self.headline_hierarchy) == 0:
|
|
|
|
self.current_drawer = self.properties
|
|
|
|
self.structural.append((linenum, line))
|
|
|
|
else:
|
|
|
|
self.current_drawer = self.headline_hierarchy[-1]["properties"]
|
|
|
|
self.headline_hierarchy[-1]["structural"].append((linenum, line))
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2021-08-29 22:09:52 +00:00
|
|
|
def add_results_drawer_line(self, linenum: int, line: str, match: re.Match):
|
2020-12-03 23:04:56 +00:00
|
|
|
self.current_drawer = self.headline_hierarchy[-1]["results"]
|
|
|
|
self.headline_hierarchy[-1]["structural"].append((linenum, line))
|
|
|
|
|
2021-08-29 22:09:52 +00:00
|
|
|
def add_logbook_drawer_line(self, linenum: int, line: str, match: re.Match):
|
2020-11-26 22:42:39 +00:00
|
|
|
self.current_drawer = self.headline_hierarchy[-1]["logbook"]
|
|
|
|
self.headline_hierarchy[-1]["structural"].append((linenum, line))
|
|
|
|
|
2021-08-29 22:09:52 +00:00
|
|
|
def add_drawer_end_line(self, linenum: int, line: str, match: re.Match):
|
2020-06-21 19:27:40 +00:00
|
|
|
self.current_drawer = None
|
2021-08-29 22:09:52 +00:00
|
|
|
if len(self.headline_hierarchy) == 0:
|
|
|
|
self.structural.append((linenum, line))
|
|
|
|
else:
|
|
|
|
self.headline_hierarchy[-1]["structural"].append((linenum, line))
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
def add_node_properties_line(self, linenum: int, match: re.Match) -> int:
|
2020-11-02 19:39:16 +00:00
|
|
|
key = match.group("key")
|
|
|
|
value = match.group("value").strip()
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2021-01-17 12:04:27 +00:00
|
|
|
if as_time := parse_time(value):
|
2020-06-21 19:27:40 +00:00
|
|
|
value = as_time
|
|
|
|
|
2020-12-09 23:15:30 +00:00
|
|
|
try:
|
|
|
|
self.current_drawer.append(Property(linenum, match, key, value, None))
|
2021-08-29 22:09:52 +00:00
|
|
|
except Exception:
|
2020-12-09 23:15:30 +00:00
|
|
|
if "current_drawer" not in dir(self): # Throw a better error on this case
|
|
|
|
raise Exception(
|
|
|
|
"Found properties before :PROPERTIES: line. Error on Org file?"
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
raise # Let the exception pass
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
def read(self, s, environment):
|
2020-11-02 19:39:16 +00:00
|
|
|
lines = s.split("\n")
|
2020-12-03 23:04:56 +00:00
|
|
|
line_count = len(lines)
|
2020-06-21 19:27:40 +00:00
|
|
|
reader = enumerate(lines)
|
2021-08-29 22:09:52 +00:00
|
|
|
in_drawer = False
|
2022-05-07 21:02:18 +00:00
|
|
|
in_block = False
|
2022-11-12 11:37:50 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
|
|
|
|
|
|
|
def add_raw_line_with_possible_indentation(linenum, line):
|
|
|
|
added = False
|
|
|
|
nonlocal list_item
|
|
|
|
nonlocal list_item_indentation
|
|
|
|
if list_item:
|
2022-11-12 17:01:00 +00:00
|
|
|
if ((line[:list_item.text_start_pos].strip() == '')
|
|
|
|
or (len(line.strip()) == 0)
|
|
|
|
):
|
2022-11-12 11:37:50 +00:00
|
|
|
list_item.append_line(line)
|
|
|
|
added = True
|
2022-11-12 17:01:00 +00:00
|
|
|
else:
|
2022-11-12 11:37:50 +00:00
|
|
|
list_item = None
|
|
|
|
list_item_indentation = None
|
2022-11-12 17:01:00 +00:00
|
|
|
|
2022-11-12 11:37:50 +00:00
|
|
|
if not added:
|
|
|
|
self.add_raw_line(linenum, line)
|
2020-06-21 19:27:40 +00:00
|
|
|
|
2020-12-09 23:24:10 +00:00
|
|
|
for lnum, line in reader:
|
|
|
|
linenum = lnum + 1
|
2020-12-03 23:04:56 +00:00
|
|
|
try:
|
2022-05-07 21:02:18 +00:00
|
|
|
if in_block:
|
2022-08-28 19:23:44 +00:00
|
|
|
if m := END_BLOCK_RE.match(line):
|
|
|
|
self.add_end_block_line(linenum, m)
|
2022-05-07 21:02:18 +00:00
|
|
|
in_block = False
|
2022-11-12 17:01:00 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2022-05-07 21:02:18 +00:00
|
|
|
else:
|
2022-11-12 11:37:50 +00:00
|
|
|
add_raw_line_with_possible_indentation(linenum, line)
|
2022-05-07 21:02:18 +00:00
|
|
|
|
|
|
|
elif m := HEADLINE_RE.match(line):
|
2022-11-12 11:37:50 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2020-12-03 23:04:56 +00:00
|
|
|
self.add_headline(linenum, m)
|
2021-02-09 23:21:37 +00:00
|
|
|
elif m := LIST_ITEM_RE.match(line):
|
2022-11-12 11:37:50 +00:00
|
|
|
list_item = self.add_list_item_line(linenum, m)
|
|
|
|
list_item_indentation = m.group("indentation")
|
2021-02-09 23:21:37 +00:00
|
|
|
elif m := RAW_LINE_RE.match(line):
|
2022-11-12 11:37:50 +00:00
|
|
|
add_raw_line_with_possible_indentation(linenum, line)
|
2020-12-05 23:26:44 +00:00
|
|
|
# Org-babel
|
2022-08-28 19:23:44 +00:00
|
|
|
elif m := BEGIN_BLOCK_RE.match(line):
|
|
|
|
self.add_begin_block_line(linenum, m)
|
2022-05-07 21:02:18 +00:00
|
|
|
in_block = True
|
2022-11-12 17:01:00 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2022-08-28 19:23:44 +00:00
|
|
|
elif m := END_BLOCK_RE.match(line):
|
|
|
|
self.add_end_block_line(linenum, m)
|
2022-05-07 21:02:18 +00:00
|
|
|
in_block = False
|
2022-11-12 17:01:00 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2020-12-05 23:26:44 +00:00
|
|
|
# Generic properties
|
2020-12-03 23:04:56 +00:00
|
|
|
elif m := KEYWORDS_RE.match(line):
|
|
|
|
self.add_keyword_line(linenum, m)
|
|
|
|
elif m := DRAWER_END_RE.match(line):
|
|
|
|
self.add_drawer_end_line(linenum, line, m)
|
2021-08-29 21:54:51 +00:00
|
|
|
in_drawer = False
|
2022-11-12 17:01:00 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2021-08-29 21:54:51 +00:00
|
|
|
elif (not in_drawer) and (m := DRAWER_START_RE.match(line)):
|
|
|
|
self.add_property_drawer_line(linenum, line, m)
|
|
|
|
in_drawer = True
|
2022-11-12 17:01:00 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2021-08-29 21:54:51 +00:00
|
|
|
elif (not in_drawer) and (m := RESULTS_DRAWER_RE.match(line)):
|
2020-12-03 23:04:56 +00:00
|
|
|
self.add_results_drawer_line(linenum, line, m)
|
2021-08-29 21:54:51 +00:00
|
|
|
in_drawer = True
|
2022-11-12 17:01:00 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2020-12-03 23:04:56 +00:00
|
|
|
elif m := NODE_PROPERTIES_RE.match(line):
|
|
|
|
self.add_node_properties_line(linenum, m)
|
2022-09-27 21:36:32 +00:00
|
|
|
elif line.strip().startswith('|'):
|
|
|
|
self.add_table_line(linenum, line)
|
2022-11-12 17:01:00 +00:00
|
|
|
list_item_indentation = None
|
|
|
|
list_item = None
|
2020-12-03 23:04:56 +00:00
|
|
|
# Not captured
|
|
|
|
else:
|
2022-11-12 11:37:50 +00:00
|
|
|
add_raw_line_with_possible_indentation(linenum, line)
|
2020-12-03 23:04:56 +00:00
|
|
|
except:
|
|
|
|
logging.error("Error line {}: {}".format(linenum + 1, line))
|
|
|
|
raise
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
|
2020-11-26 22:45:32 +00:00
|
|
|
def loads(s, environment=BASE_ENVIRONMENT, extra_cautious=True):
|
2020-12-20 11:39:47 +00:00
|
|
|
reader = OrgDocReader()
|
|
|
|
reader.read(s, environment)
|
|
|
|
doc = reader.finalize()
|
2020-06-21 22:40:47 +00:00
|
|
|
if extra_cautious: # Check that all options can be properly re-serialized
|
2020-12-20 11:39:47 +00:00
|
|
|
after_dump = dumps(doc)
|
2020-11-26 22:45:32 +00:00
|
|
|
if after_dump != s:
|
|
|
|
diff = list(
|
|
|
|
difflib.Differ().compare(
|
|
|
|
s.splitlines(keepends=True), after_dump.splitlines(keepends=True)
|
|
|
|
)
|
2020-11-02 19:39:16 +00:00
|
|
|
)
|
2020-11-26 22:45:32 +00:00
|
|
|
|
2021-10-24 21:15:22 +00:00
|
|
|
context_start = None
|
|
|
|
context_last_line = None
|
|
|
|
for i, line in enumerate(diff):
|
|
|
|
if not line.startswith(" "):
|
|
|
|
if context_start is None:
|
|
|
|
context_start = i
|
|
|
|
context_last_line = i
|
|
|
|
elif context_start:
|
|
|
|
if i > (context_last_line + DEBUG_DIFF_CONTEXT):
|
|
|
|
start = max(0, context_start - DEBUG_DIFF_CONTEXT)
|
|
|
|
end = min(len(diff), context_last_line + DEBUG_DIFF_CONTEXT)
|
|
|
|
print(
|
|
|
|
"## Lines {} to {}".format(start + 1, end + 1),
|
|
|
|
file=sys.stderr,
|
|
|
|
)
|
|
|
|
sys.stderr.writelines(diff[start:end])
|
|
|
|
context_start = None
|
|
|
|
context_last_line = None
|
2020-11-26 22:45:32 +00:00
|
|
|
# print("---\n" + after_dump + "\n---")
|
|
|
|
|
2022-06-19 19:46:14 +00:00
|
|
|
raise NonReproducibleDocument("Difference found between existing version and dumped")
|
2020-12-20 11:39:47 +00:00
|
|
|
return doc
|
2020-06-21 22:40:47 +00:00
|
|
|
|
|
|
|
|
|
|
|
def load(f, environment=BASE_ENVIRONMENT, extra_cautious=False):
|
2020-12-22 09:21:41 +00:00
|
|
|
doc = loads(f.read(), environment, extra_cautious)
|
|
|
|
doc._path = os.path.abspath(f.name)
|
|
|
|
return doc
|
2020-06-21 19:27:40 +00:00
|
|
|
|
|
|
|
|
2020-06-21 22:40:47 +00:00
|
|
|
def dumps(doc):
|
2020-10-09 22:39:32 +00:00
|
|
|
dump = list(doc.dump())
|
2020-11-02 19:39:16 +00:00
|
|
|
result = "\n".join(dump)
|
2020-12-09 22:58:26 +00:00
|
|
|
# print(result)
|
2020-06-21 22:40:47 +00:00
|
|
|
return result
|
2020-12-22 09:21:41 +00:00
|
|
|
|
|
|
|
|
|
|
|
def dump(doc, fp):
|
|
|
|
it = doc.dump()
|
|
|
|
|
|
|
|
# Write first line separately
|
|
|
|
line = next(it)
|
|
|
|
fp.write(line)
|
|
|
|
|
|
|
|
# Write following ones preceded by line jump
|
|
|
|
for line in it:
|
|
|
|
fp.write("\n" + line)
|