Commit dbae57a

committed

fix logic issue in godelscript documents

1 parent 1d080bb commit dbae57aCopy full SHA for dbae57a

File tree

+20

-4

lines changed

+20

-4

lines changed

Lines changed: 10 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -1172,10 +1172,18 @@ fn default_java_db() -> JavaDB {`
`1172`	`1172`	`return JavaDB::load("coref_java_src.db")`
`1173`	`1173`	`}`
`1174`	`1174`
	`1175`	`+fn usedMethod(m: Method) -> bool {`
	`1176`	`+ for(c in CallableBinding(default_java_db())) {`
	`1177`	`+ if (c.getCallee().key_eq(m)) {`
	`1178`	`+ return true`
	`1179`	`+ }`
	`1180`	`+ }`
	`1181`	`+}`
	`1182`	`+`
`1175`	`1183`	`// find unused methods`
`1176`	`1184`	`fn unused_method(unused: string) -> bool {`
`1177`		`- for(c in Callable(default_java_db()), method inCallable(default_java_db()), caller in method.getCaller()) {`
`1178`		`- if (c != caller && unused = method.getSignature()) {`
	`1185`	`+ for(m in Method(default_java_db())) {`
	`1186`	`+ if (!usedMethod(m) && unused = m.getSignature()) {`
`1179`	`1187`	`return true`
`1180`	`1188`	`}`
`1181`	`1189`	`}`

Lines changed: 10 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -1172,10 +1172,18 @@ fn default_java_db() -> JavaDB {`
`1172`	`1172`	`return JavaDB::load("coref_java_src.db")`
`1173`	`1173`	`}`
`1174`	`1174`
	`1175`	`+fn usedMethod(m: Method) -> bool {`
	`1176`	`+ for(c in CallableBinding(default_java_db())) {`
	`1177`	`+ if (c.getCallee().key_eq(m)) {`
	`1178`	`+ return true`
	`1179`	`+ }`
	`1180`	`+ }`
	`1181`	`+}`
	`1182`	`+`
`1175`	`1183`	`// find unused methods`
`1176`	`1184`	`fn unused_method(unused: string) -> bool {`
`1177`		`- for(c in Callable(default_java_db()), method inCallable(default_java_db()), caller in method.getCaller()) {`
`1178`		`- if (c != caller && unused = method.getSignature()) {`
	`1185`	`+ for(m in Method(default_java_db())) {`
	`1186`	`+ if (!usedMethod(m) && unused = m.getSignature()) {`
`1179`	`1187`	`return true`
`1180`	`1188`	`}`
`1181`	`1189`	`}`

Comments

(0)