scala3-compiler-bootstrapped/dotty.tools.dotc.transform.localopt/TypedFormatChecker

TypedFormatChecker

class TypedFormatChecker(partsElems: List[Tree], parts: List[String], args: List[Tree])(using x$4: Context)

Formatter string checker.

class Object
trait Matchable
class Any

Type members

Classlikes

final class Conversion(val descriptor: Match, val argi: Int, val kind: Kind)

A conversion specifier matched in the argi'th string part, with argc arguments to interpolate.

A conversion specifier matched in the argi'th string part, with argc arguments to interpolate.

Companion:
object
object Conversion
Companion:
class
enum Kind
enum SpecGroup
object formattableTypes

Value members

Concrete methods

def argConformsTo(argi: Int, arg: Type, target: Type): Boolean
def argConvertsTo(argi: Int, arg: Type, target: Type): Boolean
def argType(argi: Int, types: Type*): Type
def checked: (List[String], List[Tree])

For N part strings and N-1 args to interpolate, normalize parts and check arg types.

For N part strings and N-1 args to interpolate, normalize parts and check arg types.

Returns normalized part strings and args, where args correcpond to conversions in tail of parts.

Concrete fields

val argc: Int

Extensions

Extensions

extension (descriptor: Match)
def at(g: SpecGroup): Int
def end(g: SpecGroup): Int
def offset(g: SpecGroup, i: Int): Int
extension (r: report.type)
def argError(message: String, index: Int): Unit
def partError(message: String, index: Int, offset: Int, end: Int): Unit
def partWarning(message: String, index: Int, offset: Int, end: Int): Unit
extension (value: Boolean)
inline def and(inline body: => Unit): Boolean
inline def but(inline body: => Unit): Boolean
inline def or(inline body: => Unit): Boolean
inline def orElse(inline body: => Unit): Boolean