avoid adding space on // comments?

[maxandersen]

its a special case but in jbang I use //JAVA , //DEPS etc as special markers.

I tried using @Formatter:off but seem to have no effect.

///usr/bin/env jbang "$0" "$@" ; exit $?
// @formatter:off
//JAVA 21+
//PREVIEW
//DEPS org.imgscalr:imgscalr-lib:4.2

class test {

}

gets turned into:

/// usr/bin/env jbang "$0" "$@" ; exit $?
// @formatter:off
// JAVA 21+
// PREVIEW
// DEPS org.imgscalr:imgscalr-lib:4.2

the first line is a case of #1218 but the others below - how does one tell google-java-format not to mess with those?

[tbroyer]

Fwiw: https://github.com/google/google-java-format/wiki/FAQ#principles-and-goals

[vorburger]

@maxandersen FYI the first problem (///usr/bin/env jbang ...) is what I previously raised #1215 about, perhaps you would like to Subscribe (Watch) that issue, engage on it if you have anything to add (there's an "interesting" question re. JEP 467 Markdown JavaDoc...), or perhaps even consider contributing?

The other part, re. //JAVA 21+ to // JAVA 21+ etc. is interesting, and perhaps what this issue should be about. How (what "algorithm") would a formatter "know" that it should not touch such lines - but that it does need to insert a space in something like //this function...\nvoid foo(); - what "rule" identifies this case? It "feels" like a very specific convention - but perhaps you know how other code formatting tools (Checkstyle?) handle this?