starred/pkl
1
0
Fork 0
mirror of https://github.com/apple/pkl.git synced 2026-04-23 08:48:36 +02:00
Code Issues 198 Packages Projects Releases 10 Wiki Activity

Convert org.pkl.core POJOs to record classes (#808)

Browse Source
This commit is contained in:
Kushal Pisavadia
2024-11-13 23:54:41 +00:00
committed by GitHub
parent 406fa4cf40
commit 9a27616956
7 changed files with 89 additions and 337 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkl-doc/src/main/kotlin/org/pkl/doc/ModuleOrClassPageGenerator.kt
View File

@@ -274,8 +274,8 @@ internal abstract class ModuleOrClassPageGenerator<S>(
protected fun HtmlBlockTag.renderMemberSourceLink(member: Member) {
// Prevent churn by setting static line numbers.
// This is so our doc generator tests don't break if, say, we change sources in the stdlib.
val startLine = if (isTestMode) 123 else member.sourceLocation.startLine
val endLine = if (isTestMode) 456 else member.sourceLocation.endLine
val startLine = if (isTestMode) 123 else member.sourceLocation.startLine()
val endLine = if (isTestMode) 456 else member.sourceLocation.endLine()
val moduleSourceUrl =
pageScope.resolveModuleNameToSourceUrl(
member.moduleName,

4
pkl-doc/src/main/kotlin/org/pkl/doc/Util.kt
View File

@@ -114,8 +114,8 @@ internal fun String.replaceSourceCodePlaceholders(
sourceLocation: Member.SourceLocation
): String {
return replace("%{path}", path)
.replace("%{line}", sourceLocation.startLine.toString())
.replace("%{endLine}", sourceLocation.endLine.toString())
.replace("%{line}", sourceLocation.startLine().toString())
.replace("%{endLine}", sourceLocation.endLine().toString())
}
/** Encodes a URI string, encoding characters that are part of URI syntax. */