def __init__(self, name, index, line, column, buffer, pointer):
self.name = name
self.index = index
self.line = line
self.column = column
self.buffer = buffer
self.pointer = pointer
def get_snippet(self, indent=4, max_length=75): if self.buffer isNone: returnNone
head = ''
start = self.pointer while start > 0 and self.buffer[start-1] notin'\0\r\n\x85\u2028\u2029':
start -= 1 if self.pointer-start > max_length/2-1:
head = ' ... '
start += 5 break
tail = ''
end = self.pointer while end < len(self.buffer) and self.buffer[end] notin'\0\r\n\x85\u2028\u2029':
end += 1 if end-self.pointer > max_length/2-1:
tail = ' ... '
end -= 5 break
snippet = self.buffer[start:end] return' '*indent + head + snippet + tail + '\n' \
+ ' '*(indent+self.pointer-start+len(head)) + '^'
def __str__(self):
snippet = self.get_snippet()
where = " in \"%s\", line %d, column %d" \
% (self.name, self.line+1, self.column+1) if snippet isnotNone:
where += ":\n"+snippet return where
def __str__(self):
lines = [] if self.context isnotNone:
lines.append(self.context) if self.context_mark isnotNone \ and (self.problem isNoneor self.problem_mark isNone or self.context_mark.name != self.problem_mark.name or self.context_mark.line != self.problem_mark.line or self.context_mark.column != self.problem_mark.column):
lines.append(str(self.context_mark)) if self.problem isnotNone:
lines.append(self.problem) if self.problem_mark isnotNone:
lines.append(str(self.problem_mark)) if self.note isnotNone:
lines.append(self.note) return'\n'.join(lines)
Messung V0.5
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.