Java FOLParser.parseVariable Exemples

Exemple #1

Fichier : FOLParserTest.java Projet : 12003065340a/sqt12003065340

 @Test(expected = RuntimeException.class)
 public void testNotAllowedParseLeadingIndexedVariable() {
   parser.setUpToParse("1x");
   parser.parseVariable();
 }

Exemple #2

Fichier : FOLParserTest.java Projet : 12003065340a/sqt12003065340

 @Test
 public void testParseIndexedVariable() {
   parser.setUpToParse("x1");
   Term v = parser.parseVariable();
   Assert.assertEquals(v, new Variable("x1"));
 }