test_class.declarator: it
test_class.original_string: IndentTracker it;
test_class.type: IndentTracker
test_class.var_name: it
test_class.file: core/prettyprinting/npp/src/test/java/org/overture/core/npp/IndentTrackerTest.java
test_class.identifier: IndentTrackerTest
test_case.body: @Test
  	public void testIncrIndent() {
  		String expected = "\t\t";
  		it.incrIndent();
  		String actual = it.getIndentation();
  		assertEquals(expected, actual);
  	}
test_case.class_method_signature: IndentTrackerTest.testIncrIndent()
test_case.full_signature: @Test public void testIncrIndent()
test_case.identifier: testIncrIndent
test_case.invocations: incrIndent getIndentation assertEquals
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testIncrIndent()
focal_class.declarator: count
focal_class.modifier: private
focal_class.original_string: private int count;
focal_class.type: int
focal_class.var_name: count
focal_class.declarator: indent = "\t"
focal_class.modifier: private
focal_class.original_string: private String indent = "\t";
focal_class.type: String
focal_class.var_name: indent
focal_class.file: core/prettyprinting/npp/src/main/java/org/overture/core/npp/IndentTracker.java
focal_class.identifier: IndentTracker
focal_class.class_method_signature: IndentTracker.IndentTracker()
focal_class.full_signature: public  IndentTracker()
focal_class.identifier: IndentTracker
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.signature:  IndentTracker()
focal_class.class_method_signature: IndentTracker.decrIndent()
focal_class.full_signature:  void decrIndent()
focal_class.identifier: decrIndent
focal_class.parameters: ()
focal_class.return: void
focal_class.signature: void decrIndent()
focal_class.class_method_signature: IndentTracker.getIndentation()
focal_class.full_signature:  String getIndentation()
focal_class.identifier: getIndentation
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String getIndentation()
focal_class.class_method_signature: IndentTracker.incrIndent()
focal_class.full_signature:  void incrIndent()
focal_class.identifier: incrIndent
focal_class.parameters: ()
focal_class.return: void
focal_class.signature: void incrIndent()
focal_class.class_method_signature: IndentTracker.indent(String s)
focal_class.full_signature:  String indent(String s)
focal_class.identifier: indent
focal_class.parameters: (String s)
focal_class.return: String
focal_class.signature: String indent(String s)
focal_class.class_method_signature: IndentTracker.resetIndent()
focal_class.full_signature:  void resetIndent()
focal_class.identifier: resetIndent
focal_class.parameters: ()
focal_class.return: void
focal_class.signature: void resetIndent()
focal_method.body: void incrIndent()
  	{
  		count++;
  	}
focal_method.class_method_signature: IndentTracker.incrIndent()
focal_method.full_signature:  void incrIndent()
focal_method.identifier: incrIndent
focal_method.parameters: ()
focal_method.return: void
focal_method.signature: void incrIndent()