test_class.file: de.prob2.kernel/src/test/java/de/prob/model/classicalb/PredicateConjunctionSplitterTest.java
test_class.identifier: PredicateConjunctionSplitterTest
test_case.body: @Test
  	public void testComplexPredicates2b() throws BCompoundException {
  		Start parse = BParser.parse("#PREDICATE #x.(x:NAT & x < 6) & a<6 ");
  		PredicateConjunctionSplitter splitter = new PredicateConjunctionSplitter();
  		parse.apply(splitter);
  		assertEquals(2, splitter.getPredicates().size());
  	}
test_case.class_method_signature: PredicateConjunctionSplitterTest.testComplexPredicates2b()
test_case.full_signature: @Test public void testComplexPredicates2b()
test_case.identifier: testComplexPredicates2b
test_case.invocations: parse apply assertEquals size getPredicates
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testComplexPredicates2b()
focal_class.declarator: predicates = new ArrayList<>()
focal_class.modifier: private final
focal_class.original_string: private final List<PPredicate> predicates = new ArrayList<>();
focal_class.type: List<PPredicate>
focal_class.var_name: predicates
focal_class.declarator: skip
focal_class.modifier: private
focal_class.original_string: private boolean skip;
focal_class.type: boolean
focal_class.var_name: skip
focal_class.file: de.prob2.kernel/src/main/java/de/prob/model/classicalb/PredicateConjunctionSplitter.java
focal_class.identifier: PredicateConjunctionSplitter
focal_class.class_method_signature: PredicateConjunctionSplitter.caseAConjunctPredicate(AConjunctPredicate node)
focal_class.full_signature: @Override public void caseAConjunctPredicate(AConjunctPredicate node)
focal_class.identifier: caseAConjunctPredicate
focal_class.modifiers: @Override public
focal_class.parameters: (AConjunctPredicate node)
focal_class.return: void
focal_class.signature: void caseAConjunctPredicate(AConjunctPredicate node)
focal_class.class_method_signature: PredicateConjunctionSplitter.defaultIn(Node node)
focal_class.full_signature: @Override public void defaultIn(Node node)
focal_class.identifier: defaultIn
focal_class.modifiers: @Override public
focal_class.parameters: (Node node)
focal_class.return: void
focal_class.signature: void defaultIn(Node node)
focal_class.class_method_signature: PredicateConjunctionSplitter.process(PPredicate p)
focal_class.full_signature: private void process(PPredicate p)
focal_class.identifier: process
focal_class.modifiers: private
focal_class.parameters: (PPredicate p)
focal_class.return: void
focal_class.signature: void process(PPredicate p)
focal_class.class_method_signature: PredicateConjunctionSplitter.getPredicates()
focal_class.full_signature: public List<PPredicate> getPredicates()
focal_class.identifier: getPredicates
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: List<PPredicate>
focal_class.signature: List<PPredicate> getPredicates()
focal_class.superclass: extends DepthFirstAdapter
focal_method.body: public List<PPredicate> getPredicates() {
  		return Collections.unmodifiableList(predicates);
  	}
focal_method.class_method_signature: PredicateConjunctionSplitter.getPredicates()
focal_method.full_signature: public List<PPredicate> getPredicates()
focal_method.identifier: getPredicates
focal_method.invocations: unmodifiableList
focal_method.modifiers: public
focal_method.parameters: ()
focal_method.return: List<PPredicate>
focal_method.signature: List<PPredicate> getPredicates()