don't print weird position link for library files

This commit is contained in:
Irmen de Jong 2023-03-17 00:50:17 +01:00
parent b399b0f182
commit 44676756ae

View File

@ -1,5 +1,6 @@
package prog8.code.core package prog8.code.core
import prog8.code.core.SourceCode.Companion.libraryFilePrefix
import java.nio.file.InvalidPathException import java.nio.file.InvalidPathException
import kotlin.io.path.Path import kotlin.io.path.Path
import kotlin.io.path.absolute import kotlin.io.path.absolute
@ -7,9 +8,10 @@ import kotlin.io.path.absolute
data class Position(val file: String, val line: Int, val startCol: Int, val endCol: Int) { data class Position(val file: String, val line: Int, val startCol: Int, val endCol: Int) {
override fun toString(): String = "[$file: line $line col ${startCol+1}-${endCol+1}]" override fun toString(): String = "[$file: line $line col ${startCol+1}-${endCol+1}]"
fun toClickableStr(): String { fun toClickableStr(): String {
if(this===DUMMY) { if(this===DUMMY)
return "" return ""
} if(file.startsWith(libraryFilePrefix))
return "$file:$line:$startCol:"
return try { return try {
val path = Path(file).absolute().normalize().toString() val path = Path(file).absolute().normalize().toString()
"file://$path:$line:$startCol:" "file://$path:$line:$startCol:"