Code example for PushbackReader

0
		 
	} 
 
	@Test(expected = ParserException.class) 
	public void ticket_parserlib_11_ctl() throws Exception { 
		new Parser(new Lexer(new PushbackReader(new StringReader("AG {taken= {}")))).parse();
	} 
	 
	public void testPredSyntaxError() throws Exception { 
		try { 
			parse("{X}"); 
			Assert.fail("expected parser exception");
		} catch (LtlParseException e) {
			// ok 
		} 
	} 
 
	private void check(final String input, final PrologTerm expectedTerm)
			throws LtlParseException { 
		final PrologTerm term = parse(input);