semantic-editor/testdata/scripts/construct_statement_expression_replacements.txtar at main · spockz/semantic-editor · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
# Generic replacement targets expression slots and whole statements by explicit selectors.
mkdir .scratch
exec semedit replace-construct --file values.go --kind statement/expression --in-function Values --discriminator '1' --source '3'
exec semedit replace-construct --file values.go --kind statement/expression --in-function Values --discriminator 'value > 0' --source 'value > 2'
exec semedit replace-construct --file values.go --kind statement/expression --in-function Values --discriminator 'return 2' --source 'if value > 0 { return 5 }'
! exec semedit replace-construct --file values.go --kind statement/expression --in-function Repeated --discriminator '1' --source '9'
stderr 'ambiguous.*construct_path'
exec semedit replace-construct --file values.go --kind statement/expression --in-function Repeated --discriminator '1' --construct-path 1.e0 --source '9'
! exec semedit replace-construct --file values.go --kind statement/expression --in-function Shared --discriminator 'callValue()' --source 'return'
stderr 'ambiguous.*construct_path'
exec semedit replace-construct --file values.go --kind statement/expression --in-function Shared --discriminator 'callValue()' --construct-path 0.e0 --source 'recordValue()'
exec semedit replace-construct --file values.go --kind statement/expression --in-function Index --discriminator 'items[17]' --source 'items[18]'
exec semedit replace-construct --file values.go --kind statement/expression --in-function RuntimeNew --discriminator 'new(value)' --source 'new(value + 1)'
cp values.go .scratch/replaced.go
! exec semedit replace-construct --file values.go --kind statement/expression --in-function Values --discriminator '3' --source 'if ('
stderr 'syntax|expression'
cmp values.go .scratch/replaced.go
! exec semedit replace-construct --file values.go --kind statement/expression --in-function Injection --discriminator '1' --source '2); injected()'
stderr 'syntax|expression'
cmp values.go .scratch/replaced.go
! exec semedit replace-construct --file values.go --kind statement/expression --in-function TypeOnly --discriminator int --source string
stderr 'not found|match'
cmp values.go .scratch/replaced.go
! exec semedit replace-construct --file values.go --kind statement/expression --in-function ParenthesizedMake --discriminator '[]int' --source '[]string'
stderr 'not found|match'
cmp values.go .scratch/replaced.go
! exec semedit replace-construct --file values.go --kind statement/expression --in-function ParenthesizedNew --discriminator int --source string
stderr 'not found|match'
cmp values.go .scratch/replaced.go
! exec semedit replace-construct --file values.go --kind statement/expression --in-function Commented --discriminator 'old()' --construct-path 0 --source 'next() // keep this trailing comment'
stderr 'comment|trailing'
cmp values.go .scratch/replaced.go
grep 'value := \(3\)' values.go
grep 'if value > 2' values.go
grep 'if value > 0' values.go
grep 'return 5' values.go
grep 'b := \(9\)' values.go
grep 'recordValue()' values.go
grep 'items.*18' values.go
grep 'return new\(value \+ 1\)' values.go
exec go test ./...

-- go.mod --
module example.com/constructreplace

go 1.27.1
-- values.go --
package sample

func Values(ok bool) int {
	value := 1
	if value > 0 {
		return 2
	}
	return value
}

func Repeated() int {
	a := 1
	b := 1
	return a + b
}

func Shared() {
	callValue()
}

func callValue() {}
func recordValue() {}

func Index(items []int) int {
	return items[17]
}

func RuntimeNew(value int) *int {
	return new(value)
}

func Injection() int {
	return 1
}

func TypeOnly() []int {
	return make([]int, 2)
}

func ParenthesizedMake() []int {
	return (make)([]int, 2)
}

func ParenthesizedNew() *int {
	return (new)(int)
}

func Commented() { old(); keep() }
func old() {}
func keep() {}
func next() {}