Coccinelle archive on lore.kernel.org
 help / color / Atom feed
* [Cocci] Navigation for source code positions from error messages
@ 2019-04-21 16:33 Markus Elfring
  0 siblings, 0 replies; only message in thread
From: Markus Elfring @ 2019-04-21 16:33 UTC (permalink / raw)
  To: Coccinelle

Hello,

I try to achieve something also by the specification of Python code within
scripts for the semantic patch language.
It can happen then that such code contains questionable places
(because of usual update candidates).

Example for a corresponding error message:
…
  File "<string>", line 11
SyntaxError: can't assign to function call
Error in Python script, line 42, file …


I have got difficulties to follow the provided line numbers.
Can they belong to a SmPL rule “initialize” or “finalize”?
I hoped that the error situation would become clearer if I add rule names there.
But I wonder then again about information like the following.

…
rule name: parse error:
…
  whole content = @initialize:python start@


Can this software area be improved?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-04-21 16:33 [Cocci] Navigation for source code positions from error messages Markus Elfring

Coccinelle archive on lore.kernel.org

Archives are clonable:
	git clone --mirror https://lore.kernel.org/cocci/0 cocci/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 cocci cocci/ https://lore.kernel.org/cocci \
		cocci@systeme.lip6.fr cocci@archiver.kernel.org
	public-inbox-index cocci


Newsgroup available over NNTP:
	nntp://nntp.lore.kernel.org/fr.lip6.systeme.cocci


AGPL code for this site: git clone https://public-inbox.org/ public-inbox