### Question:
ModelToVLogConverter { static karmaresearch.vlog.Term[] toVLogTermArray(final List<Term> terms) { final karmaresearch.vlog.Term[] vLogTerms = new karmaresearch.vlog.Term[terms.size()]; int i = 0; for (final Term term : terms) { vLogTerms[i] = toVLogTerm(term); i++; } return vLogTerms; } private  ModelToVLogConverter();  static final String PREDICATE_ARITY_SUFFIX_SEPARATOR; }### Answer:
@Test public void testToVLogTermArray() { final Variable vx = Expressions.makeUniversalVariable("x"); final Variable vxToo = Expressions.makeUniversalVariable("x"); final Variable vy = Expressions.makeUniversalVariable("y"); final Constant cx = Expressions.makeAbstractConstant("x"); final NamedNull bx = new NamedNullImpl("x"); final List<Term> terms = Arrays.asList(vx, cx, vxToo, bx, vy); final karmaresearch.vlog.Term expectedVx = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.VARIABLE, "x"); final karmaresearch.vlog.Term expectedVy = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.VARIABLE, "y"); final karmaresearch.vlog.Term expectedCx = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.CONSTANT, "x"); final karmaresearch.vlog.Term expectedBx = new karmaresearch.vlog.Term(karmaresearch.vlog.Term.TermType.BLANK, "x"); final karmaresearch.vlog.Term[] expectedTermArray = { expectedVx, expectedCx, expectedVx, expectedBx, expectedVy }; final karmaresearch.vlog.Term[] vLogTermArray = ModelToVLogConverter.toVLogTermArray(terms); assertArrayEquals(expectedTermArray, vLogTermArray); }
@Test public void testToVLogTermArrayEmpty() { final List<Term> terms = new ArrayList<>(); final karmaresearch.vlog.Term[] vLogTermArray = ModelToVLogConverter.toVLogTermArray(terms); assertNotNull(vLogTermArray); assertTrue(vLogTermArray.length == 0); }