varmod-subst.mk revision 1.11       1  1.11  rillig # $NetBSD: varmod-subst.mk,v 1.11 2023/06/01 20:56:35 rillig Exp $
      2   1.1  rillig #
      3   1.2  rillig # Tests for the :S,from,to, variable modifier.
      4   1.1  rillig 
      5   1.2  rillig all: mod-subst
      6   1.2  rillig all: mod-subst-delimiter
      7   1.2  rillig all: mod-subst-chain
      8   1.2  rillig all: mod-subst-dollar
      9   1.1  rillig 
     10   1.2  rillig WORDS=		sequences of letters
     11   1.7  rillig 
     12   1.2  rillig .if ${WORDS:S,,,} != ${WORDS}
     13   1.4  rillig .  warning The empty pattern matches something.
     14   1.2  rillig .endif
     15   1.7  rillig 
     16   1.2  rillig .if ${WORDS:S,e,*,1} != "s*quences of letters"
     17   1.4  rillig .  warning The :S modifier flag '1' is not applied exactly once.
     18   1.2  rillig .endif
     19   1.7  rillig 
     20   1.3  rillig .if ${WORDS:S,f,*,1} != "sequences o* letters"
     21   1.4  rillig .  warning The :S modifier flag '1' is only applied to the first word,\
     22   1.3  rillig 	 not to the first occurrence.
     23   1.3  rillig .endif
     24   1.7  rillig 
     25   1.2  rillig .if ${WORDS:S,e,*,} != "s*quences of l*tters"
     26   1.4  rillig .  warning The :S modifier does not replace every first match per word.
     27   1.2  rillig .endif
     28   1.7  rillig 
     29   1.2  rillig .if ${WORDS:S,e,*,g} != "s*qu*nc*s of l*tt*rs"
     30   1.4  rillig .  warning The :S modifier flag 'g' does not replace every occurrence.
     31   1.2  rillig .endif
     32   1.7  rillig 
     33   1.2  rillig .if ${WORDS:S,^sequ,occurr,} != "occurrences of letters"
     34   1.4  rillig .  warning The :S modifier fails for a short match anchored at the start.
     35   1.2  rillig .endif
     36   1.7  rillig 
     37   1.2  rillig .if ${WORDS:S,^of,with,} != "sequences with letters"
     38   1.4  rillig .  warning The :S modifier fails for an exact match anchored at the start.
     39   1.2  rillig .endif
     40   1.7  rillig 
     41   1.2  rillig .if ${WORDS:S,^office,does not match,} != ${WORDS}
     42   1.4  rillig .  warning The :S modifier matches a too long pattern anchored at the start.
     43   1.2  rillig .endif
     44   1.7  rillig 
     45   1.2  rillig .if ${WORDS:S,f$,r,} != "sequences or letters"
     46   1.4  rillig .  warning The :S modifier fails for a short match anchored at the end.
     47   1.2  rillig .endif
     48   1.7  rillig 
     49   1.2  rillig .if ${WORDS:S,s$,,} != "sequence of letter"
     50   1.4  rillig .  warning The :S modifier fails to replace one occurrence per word.
     51   1.2  rillig .endif
     52   1.7  rillig 
     53   1.2  rillig .if ${WORDS:S,of$,,} != "sequences letters"
     54   1.4  rillig .  warning The :S modifier fails for an exact match anchored at the end.
     55   1.2  rillig .endif
     56   1.7  rillig 
     57   1.2  rillig .if ${WORDS:S,eof$,,} != ${WORDS}
     58   1.4  rillig .  warning The :S modifier matches a too long pattern anchored at the end.
     59   1.2  rillig .endif
     60   1.7  rillig 
     61   1.2  rillig .if ${WORDS:S,^of$,,} != "sequences letters"
     62   1.4  rillig .  warning The :S modifier does not match a word anchored at both ends.
     63   1.2  rillig .endif
     64   1.7  rillig 
     65   1.2  rillig .if ${WORDS:S,^o$,,} != ${WORDS}
     66   1.4  rillig .  warning The :S modifier matches a prefix anchored at both ends.
     67   1.2  rillig .endif
     68   1.7  rillig 
     69   1.2  rillig .if ${WORDS:S,^f$,,} != ${WORDS}
     70   1.4  rillig .  warning The :S modifier matches a suffix anchored at both ends.
     71   1.2  rillig .endif
     72   1.7  rillig 
     73   1.2  rillig .if ${WORDS:S,^eof$,,} != ${WORDS}
     74   1.4  rillig .  warning The :S modifier matches a too long prefix anchored at both ends.
     75   1.2  rillig .endif
     76   1.7  rillig 
     77   1.2  rillig .if ${WORDS:S,^office$,,} != ${WORDS}
     78   1.4  rillig .  warning The :S modifier matches a too long suffix anchored at both ends.
     79   1.2  rillig .endif
     80   1.2  rillig 
     81   1.8  rillig .if ${WORDS:S,*,replacement,} != ${WORDS}
     82   1.8  rillig .  error The '*' seems to be interpreted as a wildcard of some kind.
     83   1.8  rillig .endif
     84   1.8  rillig 
     85   1.8  rillig .if ${WORDS:S,.,replacement,} != ${WORDS}
     86   1.8  rillig .  error The '.' seems to be interpreted as a wildcard of some kind.
     87   1.8  rillig .endif
     88   1.8  rillig 
     89   1.9  rillig .if ${:Uvalue:S,^val,&,} != "value"
     90   1.9  rillig .  error
     91   1.9  rillig .endif
     92   1.9  rillig .if ${:Uvalue:S,ue$,&,} != "value"
     93   1.9  rillig .  error
     94   1.9  rillig .endif
     95   1.9  rillig .if ${:Uvalue:S,^val,&-&-&,} != "val-val-value"
     96   1.9  rillig .  error
     97   1.9  rillig .endif
     98   1.9  rillig .if ${:Uvalue:S,ue$,&-&-&,} != "value-ue-ue"
     99   1.9  rillig .  error
    100   1.9  rillig .endif
    101   1.9  rillig 
    102  1.10  rillig 
    103  1.10  rillig # When a word is replaced with nothing, the remaining words are separated by a
    104  1.10  rillig # single space, not two.
    105  1.10  rillig .if ${1 2 3:L:S,2,,} != "1 3"
    106  1.10  rillig .  error
    107  1.10  rillig .endif
    108  1.10  rillig 
    109  1.10  rillig 
    110   1.2  rillig mod-subst:
    111   1.2  rillig 	@echo $@:
    112   1.2  rillig 	@echo :${:Ua b b c:S,a b,,:Q}:
    113   1.2  rillig 	@echo :${:Ua b b c:S,a b,,1:Q}:
    114   1.2  rillig 	@echo :${:Ua b b c:S,a b,,W:Q}:
    115   1.2  rillig 	@echo :${:Ua b b c:S,b,,g:Q}:
    116   1.2  rillig 	@echo :${:U1 2 3 1 2 3:S,1 2,___,Wg:S,_,x,:Q}:
    117   1.2  rillig 	@echo ${:U12345:S,,sep,g:Q}
    118   1.2  rillig 
    119   1.2  rillig # The :S and :C modifiers accept an arbitrary character as the delimiter,
    120   1.2  rillig # including characters that are otherwise used as escape characters or
    121   1.2  rillig # interpreted in a special way.  This can be used to confuse humans.
    122   1.2  rillig mod-subst-delimiter:
    123   1.2  rillig 	@echo $@:
    124   1.2  rillig 	@echo ${:U1 2 3:S	2	two	:Q} horizontal tabulator
    125   1.2  rillig 	@echo ${:U1 2 3:S 2 two :Q} space
    126   1.2  rillig 	@echo ${:U1 2 3:S!2!two!:Q} exclamation mark
    127   1.5  rillig 	@echo ${:U1 2 3:S"2"two":Q} quotation mark
    128   1.2  rillig 	# In shell command lines, the hash does not need to be escaped.
    129   1.2  rillig 	# It needs to be escaped in variable assignment lines though.
    130   1.5  rillig 	@echo ${:U1 2 3:S#2#two#:Q} number sign
    131   1.5  rillig 	@echo ${:U1 2 3:S$2$two$:Q} dollar sign
    132   1.5  rillig 	@echo ${:U1 2 3:S%2%two%:Q} percent sign
    133   1.5  rillig 	@echo ${:U1 2 3:S&2&two&:Q} ampersand
    134   1.2  rillig 	@echo ${:U1 2 3:S'2'two':Q} apostrophe
    135   1.5  rillig 	@echo ${:U1 2 3:S(2(two(:Q} left parenthesis
    136   1.5  rillig 	@echo ${:U1 2 3:S)2)two):Q} right parenthesis
    137   1.5  rillig 	@echo ${:U1 2 3:S*2*two*:Q} asterisk
    138   1.5  rillig 	@echo ${:U1 2 3:S+2+two+:Q} plus sign
    139   1.5  rillig 	@echo ${:U1 2 3:S,2,two,:Q} comma
    140   1.5  rillig 	@echo ${:U1 2 3:S-2-two-:Q} hyphen-minus
    141   1.5  rillig 	@echo ${:U1 2 3:S.2.two.:Q} full stop
    142   1.5  rillig 	@echo ${:U1 2 3:S/2/two/:Q} solidus
    143   1.2  rillig 	@echo ${:U1 2 3:S121two1:Q} digit
    144   1.2  rillig 	@echo ${:U1 2 3:S:2:two::Q} colon
    145   1.5  rillig 	@echo ${:U1 2 3:S;2;two;:Q} semicolon
    146   1.5  rillig 	@echo ${:U1 2 3:S<2<two<:Q} less-than sign
    147   1.5  rillig 	@echo ${:U1 2 3:S=2=two=:Q} equals sign
    148   1.5  rillig 	@echo ${:U1 2 3:S>2>two>:Q} greater-than sign
    149   1.2  rillig 	@echo ${:U1 2 3:S?2?two?:Q} question mark
    150   1.5  rillig 	@echo ${:U1 2 3:S@2@two@:Q} commercial at
    151   1.5  rillig 	@echo ${:U1 2 3:SA2AtwoA:Q} capital letter
    152   1.5  rillig 	@echo ${:U1 2 3:S[2[two[:Q} left square bracket
    153   1.5  rillig 	@echo ${:U1 2 3:S\2\two\:Q} reverse solidus
    154   1.5  rillig 	@echo ${:U1 2 3:S]2]two]:Q} right square bracket
    155   1.5  rillig 	@echo ${:U1 2 3:S^2^two^:Q} circumflex accent
    156   1.5  rillig 	@echo ${:U1 2 3:S_2_two_:Q} low line
    157   1.5  rillig 	@echo ${:U1 2 3:S`2`two`:Q} grave accent
    158   1.5  rillig 	@echo ${:U1 2 3:Sa2atwoa:Q} small letter
    159   1.5  rillig 	@echo ${:U1 2 3:S{2{two{:Q} left curly bracket
    160   1.2  rillig 	@echo ${:U1 2 3:S|2|two|:Q} vertical line
    161   1.5  rillig 	@echo ${:U1 2 3:S}2}two}:Q} right curly bracket
    162   1.2  rillig 	@echo ${:U1 2 3:S~2~two~:Q} tilde
    163   1.2  rillig 
    164   1.2  rillig # The :S and :C modifiers can be chained without a separating ':'.
    165   1.2  rillig # This is not documented in the manual page.
    166   1.2  rillig # It works because ApplyModifier_Subst scans for the known modifiers g1W
    167   1.2  rillig # and then just returns to ApplyModifiers.  There, the colon is optionally
    168   1.2  rillig # skipped (see the *st.next == ':' at the end of the loop).
    169   1.2  rillig #
    170   1.2  rillig # Most other modifiers cannot be chained since their parsers skip until
    171   1.2  rillig # the next ':' or '}' or ')'.
    172   1.2  rillig mod-subst-chain:
    173   1.2  rillig 	@echo $@:
    174   1.2  rillig 	@echo ${:Ua b c:S,a,A,S,b,B,}.
    175   1.2  rillig 	# There is no 'i' modifier for the :S or :C modifiers.
    176   1.2  rillig 	# The error message is "make: Unknown modifier 'i'", which is
    177   1.2  rillig 	# kind of correct, although it is mixing the terms for variable
    178   1.2  rillig 	# modifiers with the matching modifiers.
    179   1.2  rillig 	@echo ${:Uvalue:S,a,x,i}.
    180   1.2  rillig 
    181   1.6  rillig # No matter how many dollar signs there are, they all get merged
    182   1.2  rillig # into a single dollar by the :S modifier.
    183   1.2  rillig #
    184   1.2  rillig # As of 2020-08-09, this is because ParseModifierPart sees a '$' and
    185   1.2  rillig # calls Var_Parse to expand the variable.  In all other places, the "$$"
    186   1.2  rillig # is handled outside of Var_Parse.  Var_Parse therefore considers "$$"
    187   1.2  rillig # one of the "really stupid names", skips the first dollar, and parsing
    188   1.2  rillig # continues with the next character.  This repeats for the other dollar
    189   1.2  rillig # signs, except the one before the delimiter.  That one is handled by
    190   1.2  rillig # the code that optionally interprets the '$' as the end-anchor in the
    191   1.2  rillig # first part of the :S modifier.  That code doesn't call Var_Parse but
    192   1.2  rillig # simply copies the dollar to the result.
    193   1.2  rillig mod-subst-dollar:
    194   1.2  rillig 	@echo $@:${:U1:S,^,$,:Q}:
    195   1.2  rillig 	@echo $@:${:U2:S,^,$$,:Q}:
    196   1.2  rillig 	@echo $@:${:U3:S,^,$$$,:Q}:
    197   1.2  rillig 	@echo $@:${:U4:S,^,$$$$,:Q}:
    198   1.2  rillig 	@echo $@:${:U5:S,^,$$$$$,:Q}:
    199   1.2  rillig 	@echo $@:${:U6:S,^,$$$$$$,:Q}:
    200   1.2  rillig 	@echo $@:${:U7:S,^,$$$$$$$,:Q}:
    201   1.2  rillig 	@echo $@:${:U8:S,^,$$$$$$$$,:Q}:
    202   1.2  rillig 	@echo $@:${:U40:S,^,$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$,:Q}:
    203   1.2  rillig # This generates no dollar at all:
    204   1.2  rillig 	@echo $@:${:UU8:S,^,${:U$$$$$$$$},:Q}:
    205   1.6  rillig # Here is an alternative way to generate dollar signs.
    206   1.2  rillig # It's unexpectedly complicated though.
    207   1.2  rillig 	@echo $@:${:U:range=5:ts\x24:C,[0-9],,g:Q}:
    208   1.2  rillig # In modifiers, dollars are escaped using the backslash, not using another
    209   1.2  rillig # dollar sign.  Therefore, creating a dollar sign is pretty simple:
    210   1.2  rillig 	@echo $@:${:Ugood3:S,^,\$\$\$,:Q}
    211