Switch to regex for TXT header detection

CSharperMantle · CSharperMantle · commit a2b942b6a35d · 2025-02-17T08:16:45.000+08:00
diff --git a/src/parse.ts b/src/parse.ts
@@ -24,7 +24,6 @@ export class YosysJsonStatsParseError extends Error {
   }
 }
 
-const STAT_FILE_HEADER = "Printing statistics."
 const TOP_METANAME = "@Top@"
 
 export function parseTextStats(input: string): ParsedModule[] {
@@ -38,7 +37,10 @@ export function parseTextStats(input: string): ParsedModule[] {
   if (rawModules.length === 0) {
     return []
   }
-  if (rawModules[0].length !== 1 || !rawModules[0][0].trim().endsWith(STAT_FILE_HEADER)) {
+  if (
+    rawModules[0].length !== 1 ||
+    !rawModules[0][0].trim().match(/^[0-9]+\. Printing statistics\.$/)
+  ) {
     throw new TextStatsParseError("Bad header")
   }
   const parsedRawModules: (ParsedModule | string)[] = rawModules.slice(1).map((rawModule) => {

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,6 @@ export class YosysJsonStatsParseError extends Error {`
`24`	`24`	`}`
`25`	`25`	`}`
`26`	`26`
`27`		`-const STAT_FILE_HEADER = "Printing statistics."`
`28`	`27`	`const TOP_METANAME = "@Top@"`
`29`	`28`
`30`	`29`	`export function parseTextStats(input: string): ParsedModule[] {`
`@@ -38,7 +37,10 @@ export function parseTextStats(input: string): ParsedModule[] {`
`38`	`37`	`if (rawModules.length === 0) {`
`39`	`38`	`return []`
`40`	`39`	`}`
`41`		`- if (rawModules[0].length !== 1 \|\| !rawModules[0][0].trim().endsWith(STAT_FILE_HEADER)) {`
	`40`	`+ if (`
	`41`	`+ rawModules[0].length !== 1 \|\|`
	`42`	`+ !rawModules[0][0].trim().match(/^[0-9]+\. Printing statistics\.$/)`
	`43`	`+ ) {`
`42`	`44`	`throw new TextStatsParseError("Bad header")`
`43`	`45`	`}`
`44`	`46`	`const parsedRawModules: (ParsedModule \| string)[] = rawModules.slice(1).map((rawModule) => {`