Skip to content

Add DynamicTypeResolver to solve dynamic types intraprocedurally

Carlos Galindo requested to merge dynamic-type-search into develop
  • VariableAction.Definition now includes the expression to which the variable is defined, if possible.
  • Solves #44 (closed), as we require the expression in the return variable action.
  • Clients have been updated to register the type solvers in the new StaticTypeSolver interface.

Note: this only introduces the DynamicTypeResolver, it does not insert it in the proper locations where type resolution needs to be dynamic instead of static.

Edited by Carlos Galindo

Merge request reports