変更しようとしているコードをいくつか継承しましたが、多くの場所で次の構文を確認しました。
int titleRecEnd = inputLine.indexOf("%%headerEnd");
...
int fileNameStart = inputLine.indexOf("%%File: ")+8;
int fileNameEnd = inputLine.indexOf("%%FilenameEnd");
この関連リンクを確認しまし%たが、回答として、または回答に関連付けられたjavadocで、デュアルに完全に一致するものを見つけることができません。%%print formattimg に関係していることは理解していますが、 の代わりに構文情報が見つからないようです%。
これらの真正な宣言は何をするのか、あるいは何をすべきなのか?