edu.toronto.cs.ctl.antlr
Class CTLNodeParser

java.lang.Object
  extended by edu.toronto.cs.ctl.antlr.CTLNodeParser

public class CTLNodeParser
extends java.lang.Object


Nested Class Summary
static class CTLNodeParser.CTLNodeParserException
           
 
Constructor Summary
CTLNodeParser()
           
 
Method Summary
static CTLNode parse(java.io.Reader in)
           
static CTLNode parse(java.io.Reader in, CTLNode[] fairness)
           
static CTLNode parse(java.lang.String ctlStr)
           
static CTLNode parse(java.lang.String ctlStr, CTLNode[] fairness)
           
static CTLNode safeParse(java.lang.String ctlStr)
          Parses a String into CTL without exceptions.
static CTLNode safeParse(java.lang.String ctlStr, CTLNode[] fairness)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CTLNodeParser

public CTLNodeParser()
Method Detail

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