def escapedChar()

in src/org/jetbrains/jps/teamcity/TeamcityBuildInfoPrinter.groovy [12:26]


  def escapedChar(char c) {
    switch (c) {
      case '\n': return 'n';
      case '\r': return 'r';
      case '\u0085': return 'x'; // next-line character
      case '\u2028': return 'l'; // line-separator character
      case '\u2029': return 'p'; // paragraph-separator character
      case '|': return '|';
      case '\'': return '\'';
      case '[': return '[';
      case ']': return ']';
    }
    
    return 0;
  }