Java FOLParser.parseVariable Examples

Example #1

File: FOLParserTest.java Project: 12003065340a/sqt12003065340

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

Example #2

File: FOLParserTest.java Project: 12003065340a/sqt12003065340

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