Searched refs:headerLine (Results 1 – 3 of 3) sorted by relevance
79 String headerLine = reader.readLine(); in readDictionaryCombined() local80 while (headerLine.startsWith(COMMENT_LINE_STARTER)) { in readDictionaryCombined()81 headerLine = reader.readLine(); in readDictionaryCombined()83 final String header[] = headerLine.split(","); in readDictionaryCombined()88 throw new RuntimeException("Wrong header format : " + headerLine); in readDictionaryCombined()
845 int headerLine = 0; in addForwardChainStats() local848 if (headerLine < 2) { in addForwardChainStats()853 headerLine++; in addForwardChainStats()
1343 String headerLine = entry.getValue().toString(); in insertRequestHeaders() local1344 if (!headerLine.contains(":")) { in insertRequestHeaders()1345 throw new IllegalArgumentException("Invalid HTTP header line: " + headerLine); in insertRequestHeaders()1347 String[] parts = headerLine.split(":", 2); in insertRequestHeaders()