test_class.file: de.prob2.kernel/src/test/java/de/prob/animator/domainobjects/ProBPreferenceTest.java
test_class.identifier: ProBPreferenceTest
test_case.body: @Test
  	public void test() {
  		VariablePrologTerm typeAwesome = new VariablePrologTerm("TypeAwesome");
  		CompoundPrologTerm cpt = new CompoundPrologTerm("cpt",
  				new CompoundPrologTerm("IamAwesome"), typeAwesome,
  				new CompoundPrologTerm("descriptionAwesome"),
  				new CompoundPrologTerm("categoryAwesome"),
  				new CompoundPrologTerm("awesomeDefaultValue"));
  		ProBPreference a = new ProBPreference(cpt);
  
  		assertEquals("IamAwesome", a.name);
  		assertEquals(typeAwesome, a.type);
  		assertEquals("descriptionAwesome", a.description);
  		assertEquals("categoryAwesome", a.category);
  		assertEquals("awesomeDefaultValue", a.defaultValue);
  
  		assertEquals(
  				"IamAwesome(cat. categoryAwesome, type TypeAwesome, default awesomeDefaultValue) descriptionAwesome",
  				a.toString());
  
  		CompoundPrologTerm cpt2 = new CompoundPrologTerm("cpt",
  				new CompoundPrologTerm("IamAwesome"), typeAwesome,
  				new CompoundPrologTerm("descriptionAwesome"),
  				new CompoundPrologTerm("categoryAwesome"),
  				new CompoundPrologTerm("awesomeDefaultValue",
  						new CompoundPrologTerm("I"), new CompoundPrologTerm(
  								" am"), new CompoundPrologTerm(" not"),
  						new CompoundPrologTerm(" simple.")));
  		a = new ProBPreference(cpt2);
  
  		assertEquals("IamAwesome", a.name);
  		assertEquals(typeAwesome, a.type);
  		assertEquals("descriptionAwesome", a.description);
  		assertEquals("categoryAwesome", a.category);
  		assertEquals("awesomeDefaultValue('I',' am',' not',' simple.')",
  				a.defaultValue);
  
  	}
test_case.class_method_signature: ProBPreferenceTest.test()
test_case.full_signature: @Test public void test()
test_case.identifier: test
test_case.invocations: assertEquals assertEquals assertEquals assertEquals assertEquals assertEquals toString assertEquals assertEquals assertEquals assertEquals assertEquals
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void test()
focal_class.declarator: name
focal_class.modifier: public final
focal_class.original_string: public final String name;
focal_class.type: String
focal_class.var_name: name
focal_class.declarator: type
focal_class.modifier: public final
focal_class.original_string: public final PrologTerm type;
focal_class.type: PrologTerm
focal_class.var_name: type
focal_class.declarator: description
focal_class.modifier: public final
focal_class.original_string: public final String description;
focal_class.type: String
focal_class.var_name: description
focal_class.declarator: category
focal_class.modifier: public final
focal_class.original_string: public final String category;
focal_class.type: String
focal_class.var_name: category
focal_class.declarator: defaultValue
focal_class.modifier: public final
focal_class.original_string: public final String defaultValue;
focal_class.type: String
focal_class.var_name: defaultValue
focal_class.declarator: NAME_POSITION = 1
focal_class.modifier: private static final
focal_class.original_string: private static final int NAME_POSITION = 1;
focal_class.type: int
focal_class.var_name: NAME_POSITION
focal_class.declarator: TYPE_POSITION = 2
focal_class.modifier: private static final
focal_class.original_string: private static final int TYPE_POSITION = 2;
focal_class.type: int
focal_class.var_name: TYPE_POSITION
focal_class.declarator: DESC_POSITION = 3
focal_class.modifier: private static final
focal_class.original_string: private static final int DESC_POSITION = 3;
focal_class.type: int
focal_class.var_name: DESC_POSITION
focal_class.declarator: CAT_POSITION = 4
focal_class.modifier: private static final
focal_class.original_string: private static final int CAT_POSITION = 4;
focal_class.type: int
focal_class.var_name: CAT_POSITION
focal_class.declarator: DEFAULT_POSITION = 5
focal_class.modifier: private static final
focal_class.original_string: private static final int DEFAULT_POSITION = 5;
focal_class.type: int
focal_class.var_name: DEFAULT_POSITION
focal_class.file: de.prob2.kernel/src/main/java/de/prob/animator/domainobjects/ProBPreference.java
focal_class.identifier: ProBPreference
focal_class.class_method_signature: ProBPreference.ProBPreference(final CompoundPrologTerm term)
focal_class.full_signature: public  ProBPreference(final CompoundPrologTerm term)
focal_class.identifier: ProBPreference
focal_class.modifiers: public
focal_class.parameters: (final CompoundPrologTerm term)
focal_class.signature:  ProBPreference(final CompoundPrologTerm term)
focal_class.class_method_signature: ProBPreference.toString()
focal_class.full_signature: @Override public String toString()
focal_class.identifier: toString
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String toString()
focal_method.body: @Override
  	public String toString() {
  		return name + "(cat. " + category + ", type " + type + ", default " + defaultValue + ") " + description;
  	}
focal_method.class_method_signature: ProBPreference.toString()
focal_method.full_signature: @Override public String toString()
focal_method.identifier: toString
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: String
focal_method.signature: String toString()