All files

src/compiler/types.panack

Green: covered; red: known zero; amber: unavailable. Blank lines are outside the executable-start-line denominator.

    1 record SourcePos {
    2   file: Str,
    3   offset: Nat,
    4   line: Nat,
    5   column: Nat
    6 }
    7 
    8 // Half-open Unicode code-point range in one original source file.
    9 record SourceSpan {
   10   start: SourcePos,
   11   end: SourcePos
   12 }
   13 
   14 enum TokenKind {
   15   Identifier,
   16   Number,
   17   DecimalNumber,
   18   StringLiteral,
   19   Punctuation
   20 }
   21 
   22 record Token {
   23   kind: TokenKind,
   24   text: Str,
   25   start: Nat,
   26   end: Nat,
   27   position: SourcePos,
   28   end_line: Nat,
   29   end_column: Nat
   30 }
   31 
   32 record Diagnostic {
   33   message: Str,
   34   position: SourcePos
   35 }
   36 
   37 pure diagnostic_text(diagnostic: Diagnostic): Str {
   38   position: SourcePos = diagnostic.position
   39   if len(position.file) > 0 {
   40     file: Str = position.file
   41     line: Nat = position.line
   42     column: Nat = position.column
   43     message: Str = diagnostic.message
   44     "${file}:${line}:${column}: ${message}"
   45   } else {
   46     diagnostic.message
   47   }
   48 }
   49 

Functions

[
  {
    "id": "declaration/5",
    "name": "diagnostic_text",
    "line": 37,
    "state": "covered",
    "entries": "243"
  }
]

Source branch outcomes

[
  {
    "id": "declaration/5/tail/decision/true",
    "outcome": "true",
    "line": 39,
    "state": "covered",
    "hits": "24"
  },
  {
    "id": "declaration/5/tail/decision/false",
    "outcome": "false",
    "line": 39,
    "state": "covered",
    "hits": "219"
  }
]

Reviewed declaration exclusions

[
  {
    "id": "declaration/0",
    "reason": "record-declaration",
    "line": 1
  },
  {
    "id": "declaration/1",
    "reason": "record-declaration",
    "line": 9
  },
  {
    "id": "declaration/2",
    "reason": "enum-declaration",
    "line": 14
  },
  {
    "id": "declaration/3",
    "reason": "record-declaration",
    "line": 22
  },
  {
    "id": "declaration/4",
    "reason": "record-declaration",
    "line": 32
  }
]