mercurial-scm/hg: mercurial/filesetlang.py annotate

annotate mercurial/filesetlang.py @ 51528:f85f23f1479b

branchcache: skip entries that are topological heads in the on disk file In the majority of cases, topological heads are also branch heads. We have efficient way to get the topological heads and efficient way to retrieve their branch information. So there is little value in putting them in the branch cache file explicitly. On the contrary, writing them explicitly tend to create very large cache file that are inefficient to read and update. So the branch cache v3 format is no longer including them. This changeset focus on the format aspect and have no focus on the performance aspect. We will cover that later.

author	Pierre-Yves David <pierre-yves.david@octobus.net>
date	Thu, 07 Mar 2024 10:55:22 +0100
parents	18c8c18993f0
children	f4733654f144

rev	line source
38805 b9162ea1b815 fileset: extract language processing part to new module (API) Yuya Nishihara <yuya@tcha.org> parents: 38804 diff changeset	1 # filesetlang.py - parser, tokenizer and utility for file set language
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	2 #
46819 d4ba4d51f85f contributor: change mentions of mpm to olivia Rapha?l Gom?s <rgomes@octobus.net> parents: 43089 diff changeset	3 # Copyright 2010 Olivia Mackall <olivia@selenic.com>
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	4 #
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	5 # This software may be used and distributed according to the terms of the
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	6 # GNU General Public License version 2 or any later version.
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	7
25938 e194ada8d45f fileset: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25815 diff changeset	8
e194ada8d45f fileset: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25815 diff changeset	9 from .i18n import _
e194ada8d45f fileset: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25815 diff changeset	10 from . import (
e194ada8d45f fileset: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25815 diff changeset	11 error,
e194ada8d45f fileset: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25815 diff changeset	12 parser,
32523 1fb0a85fb20e py3: use pycompat.bytestr so that we don't get ascii values Pulkit Goyal <7895pulkit@gmail.com> parents: 32291 diff changeset	13 pycompat,
37084 f0b6fbea00cf stringutil: bulk-replace call sites to point to new module Yuya Nishihara <yuya@tcha.org> parents: 36505 diff changeset	14 )
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	15
38863 61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	16 # common weight constants for static optimization
61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	17 # (see registrar.filesetpredicate for details)
61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	18 WEIGHT_CHECK_FILENAME = 0.5
61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	19 WEIGHT_READ_CONTENTS = 30
61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	20 WEIGHT_STATUS = 10
61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	21 WEIGHT_STATUS_THOROUGH = 50
61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	22
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	23 elements = {
25815 e71e5629e006 parser: separate actions for primary expression and prefix operator Yuya Nishihara <yuya@tcha.org> parents: 25801 diff changeset	24 # token-type: binding-strength, primary, prefix, infix, suffix
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	25 b"(": (20, None, (b"group", 1, b")"), (b"func", 1, b")"), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	26 b":": (15, None, None, (b"kindpat", 15), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	27 b"-": (5, None, (b"negate", 19), (b"minus", 5), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	28 b"not": (10, None, (b"not", 10), None, None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	29 b"!": (10, None, (b"not", 10), None, None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	30 b"and": (5, None, None, (b"and", 5), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	31 b"&": (5, None, None, (b"and", 5), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	32 b"or": (4, None, None, (b"or", 4), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	33 b"\|": (4, None, None, (b"or", 4), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	34 b"+": (4, None, None, (b"or", 4), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	35 b",": (2, None, None, (b"list", 2), None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	36 b")": (0, None, None, None, None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	37 b"symbol": (0, b"symbol", None, None, None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	38 b"string": (0, b"string", None, None, None),
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	39 b"end": (0, None, None, None, None),
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	40 }
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	41
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	42 keywords = {b'and', b'or', b'not'}
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	43
38805 b9162ea1b815 fileset: extract language processing part to new module (API) Yuya Nishihara <yuya@tcha.org> parents: 38804 diff changeset	44 symbols = {}
b9162ea1b815 fileset: extract language processing part to new module (API) Yuya Nishihara <yuya@tcha.org> parents: 38804 diff changeset	45
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	46 globchars = b".*{}[]?/\\_"
14551 68d814a3cefd fileset: basic pattern and boolean support Matt Mackall <mpm@selenic.com> parents: 14513 diff changeset	47
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	48
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	49 def tokenize(program):
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	50 pos, l = 0, len(program)
32523 1fb0a85fb20e py3: use pycompat.bytestr so that we don't get ascii values Pulkit Goyal <7895pulkit@gmail.com> parents: 32291 diff changeset	51 program = pycompat.bytestr(program)
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	52 while pos < l:
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	53 c = program[pos]
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	54 if c.isspace(): # skip inter-token whitespace
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	55 pass
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	56 elif c in b"(),-:\|&+!": # handle simple operators
11289 4215ce511134 revset: raise ParseError exceptions Matt Mackall <mpm@selenic.com> parents: 11284 diff changeset	57 yield (c, None, pos)
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	58 elif (
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	59 c in b'"\''
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	60 or c == b'r'
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	61 and program[pos : pos + 2] in (b"r'", b'r"')
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	62 ): # handle quoted strings
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	63 if c == b'r':
12408 78a97859b90d revset: support raw string literals Brodie Rao <brodie@bitheap.org> parents: 12401 diff changeset	64 pos += 1
78a97859b90d revset: support raw string literals Brodie Rao <brodie@bitheap.org> parents: 12401 diff changeset	65 c = program[pos]
78a97859b90d revset: support raw string literals Brodie Rao <brodie@bitheap.org> parents: 12401 diff changeset	66 decode = lambda x: x
78a97859b90d revset: support raw string literals Brodie Rao <brodie@bitheap.org> parents: 12401 diff changeset	67 else:
26233 d3dbb65c8dc6 fileset: handle error of string unescaping Yuya Nishihara <yuya@tcha.org> parents: 26195 diff changeset	68 decode = parser.unescapestr
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	69 pos += 1
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	70 s = pos
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	71 while pos < l: # find closing quote
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	72 d = program[pos]
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	73 if d == b'\\': # skip over escaped characters
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	74 pos += 2
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	75 continue
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	76 if d == c:
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	77 yield (b'string', decode(program[s:pos]), s)
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	78 break
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	79 pos += 1
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	80 else:
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	81 raise error.ParseError(_(b"unterminated string"), s)
14551 68d814a3cefd fileset: basic pattern and boolean support Matt Mackall <mpm@selenic.com> parents: 14513 diff changeset	82 elif c.isalnum() or c in globchars or ord(c) > 127:
14513 85fe676c27e9 fileset: fix long line Matt Mackall <mpm@selenic.com> parents: 14511 diff changeset	83 # gather up a symbol/keyword
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	84 s = pos
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	85 pos += 1
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	86 while pos < l: # find end of symbol
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	87 d = program[pos]
14551 68d814a3cefd fileset: basic pattern and boolean support Matt Mackall <mpm@selenic.com> parents: 14513 diff changeset	88 if not (d.isalnum() or d in globchars or ord(d) > 127):
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	89 break
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	90 pos += 1
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	91 sym = program[s:pos]
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	92 if sym in keywords: # operator keywords
11289 4215ce511134 revset: raise ParseError exceptions Matt Mackall <mpm@selenic.com> parents: 11284 diff changeset	93 yield (sym, None, s)
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	94 else:
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	95 yield (b'symbol', sym, s)
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	96 pos -= 1
c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	97 else:
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	98 raise error.ParseError(_(b"syntax error"), pos)
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	99 pos += 1
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	100 yield (b'end', None, pos)
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	101
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	102
20208 61a47fd64f30 fileset, revset: do not use global parser object for thread safety Yuya Nishihara <yuya@tcha.org> parents: 19470 diff changeset	103 def parse(expr):
25654 af329a84310c parser: accept iterator of tokens instead of tokenizer function and program Yuya Nishihara <yuya@tcha.org> parents: 25633 diff changeset	104 p = parser.parser(elements)
af329a84310c parser: accept iterator of tokens instead of tokenizer function and program Yuya Nishihara <yuya@tcha.org> parents: 25633 diff changeset	105 tree, pos = p.parse(tokenize(expr))
25252 ac381dd7a21f fileset: move validation of incomplete parsing to parse() function Yuya Nishihara <yuya@tcha.org> parents: 24408 diff changeset	106 if pos != len(expr):
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	107 raise error.ParseError(_(b"invalid token"), pos)
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	108 return parser.simplifyinfixops(tree, {b'list', b'or'})
11275 c9ce8ecd6ca1 revset: introduce revset core Matt Mackall <mpm@selenic.com> parents: diff changeset	109
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	110
35691 735f47b41521 fileset: make it robust for bad function calls Yuya Nishihara <yuya@tcha.org> parents: 35615 diff changeset	111 def getsymbol(x):
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	112 if x and x[0] == b'symbol':
35691 735f47b41521 fileset: make it robust for bad function calls Yuya Nishihara <yuya@tcha.org> parents: 35615 diff changeset	113 return x[1]
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	114 raise error.ParseError(_(b'not a symbol'))
35691 735f47b41521 fileset: make it robust for bad function calls Yuya Nishihara <yuya@tcha.org> parents: 35615 diff changeset	115
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	116
14551 68d814a3cefd fileset: basic pattern and boolean support Matt Mackall <mpm@selenic.com> parents: 14513 diff changeset	117 def getstring(x, err):
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	118 if x and (x[0] == b'string' or x[0] == b'symbol'):
14551 68d814a3cefd fileset: basic pattern and boolean support Matt Mackall <mpm@selenic.com> parents: 14513 diff changeset	119 return x[1]
68d814a3cefd fileset: basic pattern and boolean support Matt Mackall <mpm@selenic.com> parents: 14513 diff changeset	120 raise error.ParseError(err)
68d814a3cefd fileset: basic pattern and boolean support Matt Mackall <mpm@selenic.com> parents: 14513 diff changeset	121
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	122
38805 b9162ea1b815 fileset: extract language processing part to new module (API) Yuya Nishihara <yuya@tcha.org> parents: 38804 diff changeset	123 def getkindpat(x, y, allkinds, err):
35741 73432eee0ac4 fileset: add kind:pat operator Yuya Nishihara <yuya@tcha.org> parents: 35739 diff changeset	124 kind = getsymbol(x)
73432eee0ac4 fileset: add kind:pat operator Yuya Nishihara <yuya@tcha.org> parents: 35739 diff changeset	125 pat = getstring(y, err)
73432eee0ac4 fileset: add kind:pat operator Yuya Nishihara <yuya@tcha.org> parents: 35739 diff changeset	126 if kind not in allkinds:
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	127 raise error.ParseError(_(b"invalid pattern kind: %s") % kind)
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	128 return b'%s:%s' % (kind, pat)
35741 73432eee0ac4 fileset: add kind:pat operator Yuya Nishihara <yuya@tcha.org> parents: 35739 diff changeset	129
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	130
35741 73432eee0ac4 fileset: add kind:pat operator Yuya Nishihara <yuya@tcha.org> parents: 35739 diff changeset	131 def getpattern(x, allkinds, err):
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	132 if x and x[0] == b'kindpat':
38805 b9162ea1b815 fileset: extract language processing part to new module (API) Yuya Nishihara <yuya@tcha.org> parents: 38804 diff changeset	133 return getkindpat(x[1], x[2], allkinds, err)
35741 73432eee0ac4 fileset: add kind:pat operator Yuya Nishihara <yuya@tcha.org> parents: 35739 diff changeset	134 return getstring(x, err)
73432eee0ac4 fileset: add kind:pat operator Yuya Nishihara <yuya@tcha.org> parents: 35739 diff changeset	135
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	136
38598 d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	137 def getlist(x):
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	138 if not x:
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	139 return []
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	140 if x[0] == b'list':
38803 4dc498d61d86 fileset: flatten arguments list Yuya Nishihara <yuya@tcha.org> parents: 38772 diff changeset	141 return list(x[1:])
38598 d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	142 return [x]
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	143
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	144
38598 d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	145 def getargs(x, min, max, err):
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	146 l = getlist(x)
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	147 if len(l) < min or len(l) > max:
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	148 raise error.ParseError(err)
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	149 return l
d046bf37f1ba fileset: move helper functions to top Yuya Nishihara <yuya@tcha.org> parents: 38414 diff changeset	150
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	151
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	152 def _analyze(x):
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	153 if x is None:
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	154 return x
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	155
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	156 op = x[0]
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	157 if op in {b'string', b'symbol'}:
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	158 return x
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	159 if op == b'kindpat':
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	160 getsymbol(x[1]) # kind must be a symbol
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	161 t = _analyze(x[2])
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	162 return (op, x[1], t)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	163 if op == b'group':
38827 48fc2a8af345 fileset: drop 'group' node from tree to be evaluated Yuya Nishihara <yuya@tcha.org> parents: 38826 diff changeset	164 return _analyze(x[1])
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	165 if op == b'negate':
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	166 raise error.ParseError(_(b"can't use negate operator in this context"))
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	167 if op == b'not':
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	168 t = _analyze(x[1])
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	169 return (op, t)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	170 if op == b'and':
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	171 ta = _analyze(x[1])
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	172 tb = _analyze(x[2])
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	173 return (op, ta, tb)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	174 if op == b'minus':
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	175 return _analyze((b'and', x[1], (b'not', x[2])))
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	176 if op in {b'list', b'or'}:
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	177 ts = tuple(_analyze(y) for y in x[1:])
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	178 return (op,) + ts
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	179 if op == b'func':
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	180 getsymbol(x[1]) # function name must be a symbol
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	181 ta = _analyze(x[2])
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	182 return (op, x[1], ta)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	183 raise error.ProgrammingError(b'invalid operator %r' % op)
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	184
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	185
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	186 def _insertstatushints(x):
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	187 """Insert hint nodes where status should be calculated (first path)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	188
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	189 This works in bottom-up way, summing up status names and inserting hint
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	190 nodes at 'and' and 'or' as needed. Thus redundant hint nodes may be left.
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	191
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	192 Returns (status-names, new-tree) at the given subtree, where status-names
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	193 is a sum of status names referenced in the given subtree.
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	194 """
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	195 if x is None:
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	196 return (), x
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	197
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	198 op = x[0]
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	199 if op in {b'string', b'symbol', b'kindpat'}:
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	200 return (), x
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	201 if op == b'not':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	202 h, t = _insertstatushints(x[1])
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	203 return h, (op, t)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	204 if op == b'and':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	205 ha, ta = _insertstatushints(x[1])
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	206 hb, tb = _insertstatushints(x[2])
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	207 hr = ha + hb
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	208 if ha and hb:
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	209 return hr, (b'withstatus', (op, ta, tb), (b'string', b' '.join(hr)))
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	210 return hr, (op, ta, tb)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	211 if op == b'or':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	212 hs, ts = zip(*(_insertstatushints(y) for y in x[1:]))
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	213 hr = sum(hs, ())
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	214 if sum(bool(h) for h in hs) > 1:
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	215 return hr, (b'withstatus', (op,) + ts, (b'string', b' '.join(hr)))
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	216 return hr, (op,) + ts
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	217 if op == b'list':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	218 hs, ts = zip(*(_insertstatushints(y) for y in x[1:]))
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	219 return sum(hs, ()), (op,) + ts
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	220 if op == b'func':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	221 f = getsymbol(x[1])
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	222 # don't propagate 'ha' crossing a function boundary
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	223 ha, ta = _insertstatushints(x[2])
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	224 if getattr(symbols.get(f), '_callstatus', False):
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	225 return (f,), (b'withstatus', (op, x[1], ta), (b'string', f))
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	226 return (), (op, x[1], ta)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	227 raise error.ProgrammingError(b'invalid operator %r' % op)
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	228
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	229
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	230 def _mergestatushints(x, instatus):
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	231 """Remove redundant status hint nodes (second path)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	232
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	233 This is the top-down path to eliminate inner hint nodes.
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	234 """
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	235 if x is None:
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	236 return x
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	237
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	238 op = x[0]
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	239 if op == b'withstatus':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	240 if instatus:
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	241 # drop redundant hint node
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	242 return _mergestatushints(x[1], instatus)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	243 t = _mergestatushints(x[1], instatus=True)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	244 return (op, t, x[2])
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	245 if op in {b'string', b'symbol', b'kindpat'}:
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	246 return x
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	247 if op == b'not':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	248 t = _mergestatushints(x[1], instatus)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	249 return (op, t)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	250 if op == b'and':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	251 ta = _mergestatushints(x[1], instatus)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	252 tb = _mergestatushints(x[2], instatus)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	253 return (op, ta, tb)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	254 if op in {b'list', b'or'}:
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	255 ts = tuple(_mergestatushints(y, instatus) for y in x[1:])
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	256 return (op,) + ts
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	257 if op == b'func':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	258 # don't propagate 'instatus' crossing a function boundary
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	259 ta = _mergestatushints(x[2], instatus=False)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	260 return (op, x[1], ta)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	261 raise error.ProgrammingError(b'invalid operator %r' % op)
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	262
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	263
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	264 def analyze(x):
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	265 """Transform raw parsed tree to evaluatable tree which can be fed to
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	266 optimize() or getmatch()
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	267
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	268 All pseudo operations should be mapped to real operations or functions
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	269 defined in methods or symbols table respectively.
6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	270 """
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	271 t = _analyze(x)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	272 _h, t = _insertstatushints(t)
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	273 return _mergestatushints(t, instatus=False)
38826 6371ab78c3b3 fileset: add phase to transform parsed tree Yuya Nishihara <yuya@tcha.org> parents: 38805 diff changeset	274
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	275
38832 ca4de8ba5b5f fileset: optimize 'x and not y' to 'x - y' Yuya Nishihara <yuya@tcha.org> parents: 38831 diff changeset	276 def _optimizeandops(op, ta, tb):
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	277 if tb is not None and tb[0] == b'not':
687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	278 return (b'minus', ta, tb[1])
38832 ca4de8ba5b5f fileset: optimize 'x and not y' to 'x - y' Yuya Nishihara <yuya@tcha.org> parents: 38831 diff changeset	279 return (op, ta, tb)
ca4de8ba5b5f fileset: optimize 'x and not y' to 'x - y' Yuya Nishihara <yuya@tcha.org> parents: 38831 diff changeset	280
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	281
38865 899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	282 def _optimizeunion(xs):
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	283 # collect string patterns so they can be compiled into a single regexp
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	284 ws, ts, ss = [], [], []
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	285 for x in xs:
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	286 w, t = _optimize(x)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	287 if t is not None and t[0] in {b'string', b'symbol', b'kindpat'}:
38865 899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	288 ss.append(t)
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	289 continue
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	290 ws.append(w)
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	291 ts.append(t)
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	292 if ss:
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	293 ws.append(WEIGHT_CHECK_FILENAME)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	294 ts.append((b'patterns',) + tuple(ss))
38865 899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	295 return ws, ts
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	296
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	297
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	298 def _optimize(x):
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	299 if x is None:
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	300 return 0, x
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	301
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	302 op = x[0]
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	303 if op == b'withstatus':
38879 e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	304 w, t = _optimize(x[1])
e79a69af1593 fileset: insert hints where status should be computed Yuya Nishihara <yuya@tcha.org> parents: 38865 diff changeset	305 return w, (op, t, x[2])
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	306 if op in {b'string', b'symbol'}:
38863 61ab546b71c3 fileset: introduce weight constants for readability Yuya Nishihara <yuya@tcha.org> parents: 38832 diff changeset	307 return WEIGHT_CHECK_FILENAME, x
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	308 if op == b'kindpat':
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	309 w, t = _optimize(x[2])
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	310 return w, (op, x[1], t)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	311 if op == b'not':
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	312 w, t = _optimize(x[1])
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	313 return w, (op, t)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	314 if op == b'and':
38831 b975c5801487 fileset: reorder 'and' expression to evaluate basic patterns first Yuya Nishihara <yuya@tcha.org> parents: 38829 diff changeset	315 wa, ta = _optimize(x[1])
b975c5801487 fileset: reorder 'and' expression to evaluate basic patterns first Yuya Nishihara <yuya@tcha.org> parents: 38829 diff changeset	316 wb, tb = _optimize(x[2])
b975c5801487 fileset: reorder 'and' expression to evaluate basic patterns first Yuya Nishihara <yuya@tcha.org> parents: 38829 diff changeset	317 if wa <= wb:
38832 ca4de8ba5b5f fileset: optimize 'x and not y' to 'x - y' Yuya Nishihara <yuya@tcha.org> parents: 38831 diff changeset	318 return wa, _optimizeandops(op, ta, tb)
38831 b975c5801487 fileset: reorder 'and' expression to evaluate basic patterns first Yuya Nishihara <yuya@tcha.org> parents: 38829 diff changeset	319 else:
38832 ca4de8ba5b5f fileset: optimize 'x and not y' to 'x - y' Yuya Nishihara <yuya@tcha.org> parents: 38831 diff changeset	320 return wb, _optimizeandops(op, tb, ta)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	321 if op == b'or':
38865 899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	322 ws, ts = _optimizeunion(x[1:])
899b4c74209c fileset: combine union of basic patterns into single matcher Yuya Nishihara <yuya@tcha.org> parents: 38864 diff changeset	323 if len(ts) == 1:
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	324 return ws[0], ts[0] # 'or' operation is fully optimized out
2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	325 ts = tuple(
2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	326 it[1] for it in sorted(enumerate(ts), key=lambda it: ws[it[0]])
2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	327 )
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	328 return max(ws), (op,) + ts
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	329 if op == b'list':
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	330 ws, ts = zip(*(_optimize(y) for y in x[1:]))
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	331 return sum(ws), (op,) + ts
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	332 if op == b'func':
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	333 f = getsymbol(x[1])
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	334 w = getattr(symbols.get(f), '_weight', 1)
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	335 wa, ta = _optimize(x[2])
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	336 return w + wa, (op, x[1], ta)
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	337 raise error.ProgrammingError(b'invalid operator %r' % op)
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	338
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	339
38829 7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	340 def optimize(x):
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	341 """Reorder/rewrite evaluatable tree for optimization
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	342
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	343 All pseudo operations should be transformed beforehand.
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	344 """
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	345 _w, t = _optimize(x)
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	346 return t
7e7e2b2ff284 fileset: add stub for weight-based optimization Yuya Nishihara <yuya@tcha.org> parents: 38828 diff changeset	347
43076 2372284d9457 formatting: blacken the codebase Augie Fackler <augie@google.com> parents: 38879 diff changeset	348
25255 ad1d2c952889 fileset: pretty print syntax tree in debug output Yuya Nishihara <yuya@tcha.org> parents: 25252 diff changeset	349 def prettyformat(tree):
43077 687b865b95ad formatting: byteify all mercurial/ and hgext/ string literals Augie Fackler <augie@google.com> parents: 43076 diff changeset	350 return parser.prettyformat(tree, (b'string', b'symbol'))

Mercurial > public > mercurial-scm > hg

annotate mercurial/filesetlang.py @ 51528:f85f23f1479b