Esempio n. 1
0
        public static E BuildAstLTL <E>(ILtlExtension <E> alg, string input)
        {
            ICharStream     stream   = CharStreams.fromstring(input);
            ITokenSource    lexer    = new LtlLexer(stream);
            ITokenStream    tokens   = new CommonTokenStream(lexer);
            LtlParser       parser   = new LtlParser(tokens);
            LtlListener <E> listener = new LtlListener <E>(alg);

            parser.ltl().EnterRule(listener);

            return(listener.GetResult());
        }
Esempio n. 2
0
 public LtlListener(ILtlExtension <T> alg)
 {
     this.alg = alg;
 }