HerbInterpret.jl Documentation

evaluate_program(program::RuleNode, examples::Vector{<:IOExample}, grammar::AbstractGrammar, evaluation_function::Function)

Runs a program on the examples and returns tuples of actual desired output and the program's output

execute_on_input(grammar::AbstractGrammar, program::RuleNode, input::Dict{Symbol, T})::Any where T

Converts a RuleNode program into an expression using a given grammar, then evaluates this expression with a single input dictionary input and a symbol table derived from the grammar using execute_on_input(tab::SymbolTable, expr::Any, input::Dict{Symbol, T}).

Arguments

• grammar::AbstractGrammar: A grammar object used to convert the RuleNode into an executable expression.
• program::RuleNode: The program, represented as a RuleNode, to be converted and evaluated.
• input::Dict{Symbol, T}: A dictionary providing input values for symbols used in the generated expression.

Returns

• Any: The result of evaluating the generated expression with the given input dictionary.

execute_on_input(grammar::AbstractGrammar, program::RuleNode, input::Vector{T})::Vector{Any} where T <: Dict{Symbol, <:Any}

Converts a RuleNode program into an expression using a given grammar, then evaluates this expression for each input dictionary in a vector input and a symbol table derived from the grammar using execute_on_input(tab::SymbolTable, expr::Any, input::Dict{Symbol, T}).

Arguments

• grammar::AbstractGrammar: A grammar object used to convert the RuleNode into an executable expression.
• program::RuleNode: The program, represented as a RuleNode, to be converted and evaluated.
• input::Vector{T}: A vector of dictionaries, each providing input values for symbols used in the generated expression.

Returns

• Vector{Any}: A vector containing the results of evaluating the generated expression for each input dictionary.

execute_on_input(tab::SymbolTable, expr::Any, input::Dict{Symbol, T})::Any where T

Evaluates an expression expr within the context of a symbol table tab and a single input dictionary input. The input dictionary keys should match the symbols used in the expression, and their values are used during the expression's evaluation.

Arguments

• tab::SymbolTable: A symbol table containing predefined symbols and their associated values or functions.
• expr::Any: The expression to be evaluated. Can be any Julia expression that is valid within the context of the provided symbol table and input.
• input::Dict{Symbol, T}: A dictionary where each key is a symbol used in the expression, and the value is the corresponding value to be used in the expression's evaluation. The type T can be any type.

Returns

• Any: The result of evaluating the expression with the given symbol table and input dictionary.

execute_on_input(tab::SymbolTable, expr::Any, input::Vector{T})::Vector{<:Any} where T <: Dict{Symbol, <:Any}

Wrapper around execute_on_input to execute all inputs given as an array.

Arguments

• tab::SymbolTable: A symbol table containing predefined symbols and their associated values or functions.
• expr::Any: The expression to be evaluated for each input dictionary.
• inputs::Vector{T}: A vector of dictionaries, each serving as an individual set of inputs for the expression's evaluation.

Returns

• Vector{<:Any}: A vector containing the results of evaluating the expression for each input dictionary.

interpret(tab::SymbolTable, ex::Expr)

Evaluates an expression without compiling it. Uses AST and symbol lookups. Only supports :call and :(=) expressions at the moment.

Example usage:

tab = SymbolTable(:f => f, :x => x)
ex = :(f(x))
interpret(tab, ex)

WARNING: This function throws exceptions that are caused in the given expression. These exceptions have to be handled by the caller of this function.