Searched refs:portString (Results 1 – 2 of 2) sorted by relevance
282 String portString = scanner.eat(portPattern, "[<source-port-name>]"); in parseString() local283 curSourcePortName = portString.substring(1, portString.length() - 1); in parseString()299 String portString = scanner.eat(portPattern, "[<target-port-name>]"); in parseString() local300 curTargetPortName = portString.substring(1, portString.length() - 1); in parseString()
1153 String portString = decode(authority.substring(portSeparator + 1)); in parsePort() local1155 return Integer.parseInt(portString); in parsePort()