### Question:
ModelToVLogConverter { static karmaresearch.vlog.Term toVLogTerm(final Term term) { final TermToVLogConverter termToVLogConverter = new TermToVLogConverter(); return term.accept(termToVLogConverter); } private  ModelToVLogConverter();  static final String PREDICATE_ARITY_SUFFIX_SEPARATOR; }### Answer:
@Test public void testToVLogTermVariable() { final Variable variable = Expressions.makeUniversalVariable("var"); final karmaresearch.vlog.Term expectedVLogTerm = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.VARIABLE, "var"); final karmaresearch.vlog.Term vLogTerm = ModelToVLogConverter.toVLogTerm(variable); assertEquals(expectedVLogTerm, vLogTerm); }
@Test public void testToVLogTermAbstractConstant() { final Constant constant = Expressions.makeAbstractConstant("const"); final karmaresearch.vlog.Term expectedVLogTerm = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.CONSTANT, "const"); final karmaresearch.vlog.Term vLogTerm = ModelToVLogConverter.toVLogTerm(constant); assertEquals(expectedVLogTerm, vLogTerm); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstantName(constant.getName())); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstant(constant)); }
@Test public void testToVLogTermAbstractConstantIri() { final Constant constant = Expressions.makeAbstractConstant("http: final karmaresearch.vlog.Term expectedVLogTerm = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.CONSTANT, "<http: final karmaresearch.vlog.Term vLogTerm = ModelToVLogConverter.toVLogTerm(constant); assertEquals(expectedVLogTerm, vLogTerm); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstantName(constant.getName())); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstant(constant)); }
@Test public void testToVLogTermDatatypeConstant() { final Constant constant = Expressions.makeDatatypeConstant("c", "http: final karmaresearch.vlog.Term expectedVLogTerm = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.CONSTANT, "\"c\"^^<http: final karmaresearch.vlog.Term vLogTerm = ModelToVLogConverter.toVLogTerm(constant); assertEquals(expectedVLogTerm, vLogTerm); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstantName(constant.getName())); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstant(constant)); }
@Test public void testToVLogTermLanguageStringConstant() { final Constant constant = Expressions.makeLanguageStringConstant("c", "en"); final karmaresearch.vlog.Term expectedVLogTerm = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.CONSTANT, "\"c\"@en"); final karmaresearch.vlog.Term vLogTerm = ModelToVLogConverter.toVLogTerm(constant); assertEquals(expectedVLogTerm, vLogTerm); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstantName(constant.getName())); assertEquals(expectedVLogTerm.getName(), TermToVLogConverter.getVLogNameForConstant(constant)); }
@Test public void testToVLogTermBlank() { final NamedNull blank = new NamedNullImpl("blank"); final karmaresearch.vlog.Term expectedVLogTerm = new karmaresearch.vlog.Term( karmaresearch.vlog.Term.TermType.BLANK, "blank"); final karmaresearch.vlog.Term vLogTerm = ModelToVLogConverter.toVLogTerm(blank); assertEquals(expectedVLogTerm, vLogTerm); }