parser.flatzinc.parser
Class TerminalParser
java.lang.Object
parser.flatzinc.parser.TerminalParser
public final class TerminalParser
- extends Object
Method Summary |
static
|
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 |
TerminalParser
public TerminalParser()
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.