parser.flatzinc.parser
Class TerminalParser

java.lang.Object
  extended by parser.flatzinc.parser.TerminalParser

public final class TerminalParser
extends Object


Constructor Summary
TerminalParser()
           
 
Method Summary
static
<T> T
parse(org.codehaus.jparsec.Parser<T> parser, String source)
          A Parser that takes as input the tokens returned by TOKENIZER delimited by FZN_DELIMITER, and runs this to parse the tokens.
static org.codehaus.jparsec.Parser<?> phrase(String phrase)
           
static org.codehaus.jparsec.Parser<?> term(String name)
          Scans anw skip the name expression when encountered
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TerminalParser

public TerminalParser()
Method Detail

parse

public static <T> T parse(org.codehaus.jparsec.Parser<T> parser,
                          String source)
A Parser that takes as input the tokens returned by TOKENIZER delimited by FZN_DELIMITER, and runs this to parse the tokens.

this must be a token level parser.


term

public static org.codehaus.jparsec.Parser<?> term(String name)
Scans anw skip the name expression when encountered


phrase

public static org.codehaus.jparsec.Parser<?> phrase(String phrase)


Copyright © 2012. All Rights Reserved.