String

Exits the program with a fatal exception message. @param message

Infix methods

def contains(y: Rep[String]): Rep[Boolean]

def endsWith(y: Rep[String]): Rep[Boolean]

def fcharAt(y: Rep[Int]): Rep[Char]

def fsplit(y: Rep[String], numSplits: Rep[Int] = 0): Rep[ForgeArray[String]]

def getBytes(): Rep[ForgeArray[Byte]]

def length(): Rep[Int]

def replaceAllLiterally(y: Rep[String], z: Rep[String]): Rep[String]

def slice(y: Rep[Int], z: Rep[Int]): Rep[String]

def split(y: Rep[String], numSplits: Rep[Int] = 0): Rep[ForgeArray[String]]

def startsWith(y: Rep[String]): Rep[Boolean]

def substring(y: Rep[Int]): Rep[String]

def substring(y: Rep[Int], z: Rep[Int]): Rep[String]

def toBoolean(): Rep[Boolean]

def toDouble(): Rep[Double]

def toFloat(): Rep[Float]

def toInt(): Rep[Int]

def toLong(): Rep[Long]

def toLowerCase(): Rep[String]

def toUpperCase(): Rep[String]

def trim(): Rep[String]