Skip to content
Commit 128a2ef1 authored by Carlos Galindo's avatar Carlos Galindo Committed by Carlos Galindo
Browse files

Add DynamicTypeResolver to solve dynamic types intraprocedurally 

* VariableAction.Definition now includes the expression to which the variable is defined, if possible.
* Solves #44, as we require the expression in the return variable action.
* Clients have been updated to register the type solvers in the new StaticTypeSolver interface.
parent 324cb72a
Pipeline #42 passed with stage
in 42 seconds
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment