class

Horn::ExpressionParser

Inherits Horn::Expressions < Reference < Object

Constructors

new(ts_parser : TSParser, type_parser : TypeParser, const_collection : ConstCollection)

Instance methods

parse(node) : Expr

parse_const(node, skip_validation = false) : Expressions::Const

parse_exists(node) : Expressions::Exists

parse_lambda(node) : Expressions::Lambda

parse_predicate(node) : Expressions::Const

parse_typed_var(node) : Tuple(Expressions::Var, Type)

parse_var(node) : Expressions::Var