edu.toronto.cs.ctl.antlr
Class CTLNodeParser
java.lang.Object
edu.toronto.cs.ctl.antlr.CTLNodeParser
public class CTLNodeParser
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CTLNodeParser
public CTLNodeParser()
safeParse
public static CTLNode safeParse(java.lang.String ctlStr)
- Parses a String into CTL without exceptions.
- Returns:
- either the CTL produced or null.
safeParse
public static CTLNode safeParse(java.lang.String ctlStr,
CTLNode[] fairness)
parse
public static CTLNode parse(java.lang.String ctlStr)
throws CTLNodeParser.CTLNodeParserException
- Throws:
CTLNodeParser.CTLNodeParserException
parse
public static CTLNode parse(java.lang.String ctlStr,
CTLNode[] fairness)
throws CTLNodeParser.CTLNodeParserException
- Throws:
CTLNodeParser.CTLNodeParserException
parse
public static CTLNode parse(java.io.Reader in)
throws CTLNodeParser.CTLNodeParserException
- Throws:
CTLNodeParser.CTLNodeParserException
parse
public static CTLNode parse(java.io.Reader in,
CTLNode[] fairness)
throws CTLNodeParser.CTLNodeParserException
- Throws:
CTLNodeParser.CTLNodeParserException