[bpt/coccinelle.git] / tests / doublepos.cocci

// this shows a constraint on an inherited position variable

@a@
position p;
@@

f@p(1,...)

@b@
position p1;
@@

f@p1(...,5)

@@
position a.p != b.p1;
@@

- f@p(...);
Commit	Line	Data
34e49164 C	1	// this shows a constraint on an inherited position variable
	2
	3	@a@
	4	position p;
	5	@@
	6
	7	f@p(1,...)
	8
	9	@b@
	10	position p1;
	11	@@
	12
	13	f@p1(...,5)
	14
	15	@@
	16	position a.p != b.p1;
	17	@@
	18
	19	- f@p(...);