test_class.file: de.prob2.kernel/src/test/java/de/prob/cli/PortPatternTest.java
test_class.identifier: PortPatternTest
test_case.body: @Test
  	public void testSuccess2() {
  		String line = " s \t  Port: 3422";
  		PortPattern pattern = new PortPattern();
  		boolean matches = pattern.matchesLine(line);
  		assertTrue("Pattern does not match", matches);
  		assertEquals(Integer.valueOf(3422), pattern.getValue());
  	}
test_case.class_method_signature: PortPatternTest.testSuccess2()
test_case.full_signature: @Test public void testSuccess2()
test_case.identifier: testSuccess2
test_case.invocations: matchesLine assertTrue assertEquals valueOf getValue
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testSuccess2()
focal_class.declarator: logger = LoggerFactory.getLogger(PortPattern.class)
focal_class.modifier: private static final
focal_class.original_string: private static final Logger logger = LoggerFactory.getLogger(PortPattern.class);
focal_class.type: Logger
focal_class.var_name: logger
focal_class.declarator: port
focal_class.modifier: private
focal_class.original_string: private int port;
focal_class.type: int
focal_class.var_name: port
focal_class.file: de.prob2.kernel/src/main/java/de/prob/cli/PortPattern.java
focal_class.identifier: PortPattern
focal_class.class_method_signature: PortPattern.PortPattern()
focal_class.full_signature:   PortPattern()
focal_class.identifier: PortPattern
focal_class.parameters: ()
focal_class.signature:  PortPattern()
focal_class.class_method_signature: PortPattern.setValue(final Matcher matcher)
focal_class.full_signature: @Override protected void setValue(final Matcher matcher)
focal_class.identifier: setValue
focal_class.modifiers: @Override protected
focal_class.parameters: (final Matcher matcher)
focal_class.return: void
focal_class.signature: void setValue(final Matcher matcher)
focal_class.class_method_signature: PortPattern.getValue()
focal_class.full_signature: @Override public Integer getValue()
focal_class.identifier: getValue
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: Integer
focal_class.signature: Integer getValue()
focal_class.class_method_signature: PortPattern.notifyNotFound()
focal_class.full_signature: @Override public void notifyNotFound()
focal_class.identifier: notifyNotFound
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: void
focal_class.signature: void notifyNotFound()
focal_class.class_method_signature: PortPattern.notFoundIsFatal()
focal_class.full_signature: @Override public boolean notFoundIsFatal()
focal_class.identifier: notFoundIsFatal
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean notFoundIsFatal()
focal_class.superclass: extends AbstractCliPattern<Integer>
focal_method.body: @Override
  	public Integer getValue() {
  		return port;
  	}
focal_method.class_method_signature: PortPattern.getValue()
focal_method.full_signature: @Override public Integer getValue()
focal_method.identifier: getValue
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: Integer
focal_method.signature: Integer getValue()