bolt 0.20.0 → 0.20.2

data/vendored/puppet/lib/puppet/pops/evaluator/compare_operator.rb

@@ -0,0 +1,252 @@
+module Puppet::Pops
+module Evaluator
+# Compares the puppet DSL way
+#
+# ==Equality
+# All string vs. numeric equalities check for numeric equality first, then string equality
+# Arrays are equal to arrays if they have the same length, and each element #equals
+# Hashes  are equal to hashes if they have the same size and keys and values #equals.
+# All other objects are equal if they are ruby #== equal
+#
+class CompareOperator
+  include Utils
+
+  # Provides access to the Puppet 3.x runtime (scope, etc.)
+  # This separation has been made to make it easier to later migrate the evaluator to an improved runtime.
+  #
+  include Runtime3Support
+
+  def initialize
+    @@equals_visitor  ||= Visitor.new(self, "equals", 1, 1)
+    @@compare_visitor ||= Visitor.new(self, "cmp", 1, 1)
+    @@match_visitor ||= Visitor.new(self, "match", 2, 2)
+    @@include_visitor ||= Visitor.new(self, "include", 2, 2)
+  end
+
+  def equals (a, b)
+    @@equals_visitor.visit_this_1(self, a, b)
+  end
+
+  # Performs a comparison of a and b, and return > 0 if a is bigger, 0 if equal, and < 0 if b is bigger.
+  # Comparison of String vs. Numeric always compares using numeric.
+  def compare(a, b)
+    @@compare_visitor.visit_this_1(self, a, b)
+  end
+
+  # Performs a match of a and b, and returns true if b matches a
+  def match(a, b, scope = nil)
+    @@match_visitor.visit_this_2(self, b, a, scope)
+  end
+
+  # Answers is b included in a
+  def include?(a, b, scope)
+    @@include_visitor.visit_this_2(self, a, b, scope)
+  end
+
+  protected
+
+  def cmp_String(a, b)
+    return a.casecmp(b) if b.is_a?(String)
+    raise ArgumentError.new(_("A String is not comparable to a non String"))
+  end
+
+  # Equality is case independent.
+  def equals_String(a, b)
+    return false unless b.is_a?(String)
+    a.casecmp(b) == 0
+  end
+
+  def cmp_Numeric(a, b)
+    if b.is_a?(Numeric)
+      a <=> b
+    else
+      raise ArgumentError.new(_("A Numeric is not comparable to non Numeric"))
+    end
+  end
+
+  def equals_Numeric(a, b)
+    if b.is_a?(Numeric)
+      a == b
+    else
+      false
+    end
+  end
+
+  def equals_Array(a, b)
+    return false unless b.is_a?(Array) && a.size == b.size
+    a.each_index {|i| return false unless equals(a.slice(i), b.slice(i)) }
+    true
+  end
+
+  def equals_Hash(a, b)
+    return false unless b.is_a?(Hash) && a.size == b.size
+    a.each {|ak, av| return false unless equals(b[ak], av)}
+    true
+  end
+
+  def cmp_Symbol(a, b)
+    if b.is_a?(Symbol)
+      a <=> b
+    else
+      raise ArgumentError.new(_("Symbol not comparable to non Symbol"))
+    end
+  end
+
+  def cmp_Timespan(a, b)
+    raise ArgumentError.new(_('Timespans are only comparable to Timespans, Integers, and Floats')) unless b.is_a?(Time::Timespan) ||  b.is_a?(Integer) || b.is_a?(Float)
+    a <=> b
+  end
+
+  def cmp_Timestamp(a, b)
+    raise ArgumentError.new(_('Timestamps are only comparable to Timestamps, Integers, and Floats')) unless b.is_a?(Time::Timestamp) ||  b.is_a?(Integer) || b.is_a?(Float)
+    a <=> b
+  end
+
+  def cmp_Version(a, b)
+    raise ArgumentError.new(_('Versions not comparable to non Versions')) unless b.is_a?(SemanticPuppet::Version)
+    a <=> b
+  end
+
+  def cmp_Object(a, b)
+    raise ArgumentError.new(_('Only Strings, Numbers, Timespans, Timestamps, and Versions are comparable'))
+  end
+
+
+  def equals_Object(a, b)
+    a == b
+  end
+
+  def equals_NilClass(a, b)
+    # :undef supported in case it is passed from a 3x data structure
+    b.nil? || b == :undef
+  end
+
+  def equals_Symbol(a, b)
+    # :undef supported in case it is passed from a 3x data structure
+    a == b || a == :undef && b.nil?
+  end
+
+  def include_Object(a, b, scope)
+    false
+  end
+
+  def include_String(a, b, scope)
+    case b
+    when String
+      # substring search downcased
+      a.downcase.include?(b.downcase)
+    when Regexp
+      matched = a.match(b)           # nil, or MatchData
+      set_match_data(matched, scope) # creates ephemeral
+      !!matched                      # match (convert to boolean)
+    when Numeric
+      # convert string to number, true if ==
+      equals(a, b)
+    else
+      false
+    end
+  end
+
+  def include_Binary(a, b, scope)
+    case b
+    when Puppet::Pops::Types::PBinaryType::Binary
+      a.binary_buffer.include?(b.binary_buffer)
+    when String
+      a.binary_buffer.include?(b)
+    when Numeric
+      a.binary_buffer.bytes.include?(b)
+    else
+      false
+    end
+  end
+
+  def include_Array(a, b, scope)
+    case b
+    when Regexp
+      matched = nil
+      a.each do |element|
+        next unless element.is_a? String
+        matched = element.match(b) # nil, or MatchData
+        break if matched
+      end
+      # Always set match data, a "not found" should not keep old match data visible
+      set_match_data(matched, scope) # creates ephemeral
+      return !!matched
+    when String, SemanticPuppet::Version
+      a.any? { |element| match(b, element, scope) }
+    when Types::PAnyType
+      a.each {|element| return true if b.instance?(element) }
+      return false
+    else
+      a.each {|element| return true if equals(element, b) }
+      return false
+    end
+  end
+
+  def include_Hash(a, b, scope)
+    include?(a.keys, b, scope)
+  end
+
+  def include_VersionRange(a, b, scope)
+    Types::PSemVerRangeType.include?(a, b)
+  end
+
+  # Matches in general by using == operator
+  def match_Object(pattern, a, scope)
+    equals(a, pattern)
+  end
+
+  # Matches only against strings
+  def match_Regexp(regexp, left, scope)
+    return false unless left.is_a? String
+    matched = regexp.match(left)
+    set_match_data(matched, scope) unless scope.nil? # creates or clears ephemeral
+    !!matched # convert to boolean
+  end
+
+  # Matches against semvers and strings
+  def match_Version(version, left, scope)
+    if left.is_a?(SemanticPuppet::Version)
+      version == left
+    elsif left.is_a? String
+      begin
+        version == SemanticPuppet::Version.parse(left)
+      rescue ArgumentError
+        false
+      end
+    else
+      false
+    end
+  end
+
+  # Matches against semvers and strings
+  def match_VersionRange(range, left, scope)
+    Types::PSemVerRangeType.include?(range, left)
+  end
+
+  def match_PAnyType(any_type, left, scope)
+    # right is a type and left is not - check if left is an instance of the given type
+    # (The reverse is not terribly meaningful - computing which of the case options that first produces
+    # an instance of a given type).
+    #
+    any_type.instance?(left)
+  end
+
+  def match_Array(array, left, scope)
+    return false unless left.is_a?(Array)
+    return false unless left.length == array.length
+    array.each_with_index.all? { | pattern, index| match(left[index], pattern, scope) }
+  end
+
+  def match_Hash(hash, left, scope)
+    return false unless left.is_a?(Hash)
+    hash.all? {|x,y| match(left[x], y, scope) }
+  end
+
+  def match_Symbol(symbol, left, scope)
+    return true if symbol == :default
+    equals(left, default)
+  end
+end
+end
+end

data/vendored/puppet/lib/puppet/pops/evaluator/epp_evaluator.rb

@@ -0,0 +1,120 @@
+# Handler of Epp call/evaluation from the epp and inline_epp functions
+#
+class Puppet::Pops::Evaluator::EppEvaluator
+
+  def self.inline_epp(scope, epp_source, template_args = nil)
+    unless epp_source.is_a?(String)
+      #TRANSLATORS 'inline_epp()' is a method name and 'epp' refers to 'Embedded Puppet (EPP) template' and should not be translated
+      raise ArgumentError, _("inline_epp(): the first argument must be a String with the epp source text, got a %{class_name}") %
+          { class_name: epp_source.class }
+    end
+
+    # Parse and validate the source
+    parser = Puppet::Pops::Parser::EvaluatingParser::EvaluatingEppParser.new
+    begin
+      result = parser.parse_string(epp_source, 'inlined-epp-text')
+    rescue Puppet::ParseError => e
+      #TRANSLATORS 'inline_epp()' is a method name and 'EPP' refers to 'Embedded Puppet (EPP) template' and should not be translated
+      raise ArgumentError, _("inline_epp(): Invalid EPP: %{detail}") % { detail: e.message }
+    end
+
+    # Evaluate (and check template_args)
+    evaluate(parser, 'inline_epp', scope, false, result, template_args)
+  end
+
+  def self.epp(scope, file, env_name, template_args = nil)
+    unless file.is_a?(String)
+      #TRANSLATORS 'epp()' is a method name and should not be translated
+      raise ArgumentError, _("epp(): the first argument must be a String with the filename, got a %{class_name}") % { class_name: file.class }
+    end
+
+    unless Puppet::FileSystem.exist?(file)
+      unless file =~ /\.epp$/
+        file = file + ".epp"
+      end
+    end
+
+    scope.debug "Retrieving epp template #{file}"
+    template_file = Puppet::Parser::Files.find_template(file, env_name)
+    if template_file.nil? ||  !Puppet::FileSystem.exist?(template_file)
+      raise Puppet::ParseError, _("Could not find template '%{file}'") % { file: file }
+    end
+
+    # Parse and validate the source
+    parser = Puppet::Pops::Parser::EvaluatingParser::EvaluatingEppParser.new
+    begin
+      result = parser.parse_file(template_file)
+    rescue Puppet::ParseError => e
+      #TRANSLATORS 'epp()' is a method name and 'EPP' refers to 'Embedded Puppet (EPP) template' and should not be translated
+      raise ArgumentError, _("epp(): Invalid EPP: %{detail}") % { detail: e.message }
+    end
+
+    # Evaluate (and check template_args)
+    evaluate(parser, 'epp', scope, true, result, template_args)
+  end
+
+  def self.evaluate(parser, func_name, scope, use_global_scope_only, parse_result, template_args)
+    template_args, template_args_set = handle_template_args(func_name, template_args)
+
+    body = parse_result.body
+    unless body.is_a?(Puppet::Pops::Model::LambdaExpression)
+      #TRANSLATORS 'LambdaExpression' is a class name and should not be translated
+      raise ArgumentError, _("%{function_name}(): the parser did not produce a LambdaExpression, got '%{class_name}'") %
+          { function_name: func_name, class_name: body.class }
+    end
+    unless body.body.is_a?(Puppet::Pops::Model::EppExpression)
+      #TRANSLATORS 'EppExpression' is a class name and should not be translated
+      raise ArgumentError, _("%{function_name}(): the parser did not produce an EppExpression, got '%{class_name}'") %
+          { function_name: func_name, class_name: body.body.class }
+    end
+    unless parse_result.definitions.empty?
+      #TRANSLATORS 'EPP' refers to 'Embedded Puppet (EPP) template'
+      raise ArgumentError, _("%{function_name}(): The EPP template contains illegal expressions (definitions)") %
+          { function_name: func_name }
+    end
+
+    parameters_specified = body.body.parameters_specified
+    if parameters_specified || template_args_set
+      enforce_parameters = parameters_specified
+    else
+      enforce_parameters = true
+    end
+
+    # filter out all qualified names and set them in qualified_variables
+    # only pass unqualified (filtered) variable names to the the template
+    filtered_args = {}
+    template_args.each_pair do |k, v|
+      if k =~ /::/
+        k = k[2..-1] if k.start_with?('::')
+        scope[k] = v
+      else
+        filtered_args[k] = v
+      end
+    end
+    template_args = filtered_args
+
+    # inline_epp() logic sees all local variables, epp() all global
+    if use_global_scope_only
+      scope.with_global_scope do |global_scope|
+        parser.closure(body, global_scope).call_by_name(template_args, enforce_parameters)
+      end
+    else
+      parser.closure(body, scope).call_by_name(template_args, enforce_parameters)
+    end
+  end
+  private_class_method :evaluate
+
+  def self.handle_template_args(func_name, template_args)
+    if template_args.nil?
+      [{}, false]
+    else
+      unless template_args.is_a?(Hash)
+        #TRANSLATORS 'template_args' is a variable name and should not be translated
+        raise ArgumentError, _("%{function_name}(): the template_args must be a Hash, got a %{class_name}") %
+            { function_name: func_name, class_name: template_args.class }
+      end
+      [template_args, true]
+    end
+  end
+  private_class_method :handle_template_args
+end

data/vendored/puppet/lib/puppet/pops/evaluator/evaluator_impl.rb

@@ -0,0 +1,1284 @@
+require 'puppet/parser/scope'
+require 'puppet/pops/evaluator/compare_operator'
+require 'puppet/pops/evaluator/relationship_operator'
+require 'puppet/pops/evaluator/access_operator'
+require 'puppet/pops/evaluator/closure'
+require 'puppet/pops/evaluator/external_syntax_support'
+require 'puppet/pops/types/iterable'
+
+module Puppet::Pops
+module Evaluator
+# This implementation of {Evaluator} performs evaluation using the puppet 3.x runtime system
+# in a manner largely compatible with Puppet 3.x, but adds new features and introduces constraints.
+#
+# The evaluation uses _polymorphic dispatch_ which works by dispatching to the first found method named after
+# the class or one of its super-classes. The EvaluatorImpl itself mainly deals with evaluation (it currently
+# also handles assignment), and it uses a delegation pattern to more specialized handlers of some operators
+# that in turn use polymorphic dispatch; this to not clutter EvaluatorImpl with too much responsibility).
+#
+# Since a pattern is used, only the main entry points are fully documented. The parameters _o_ and _scope_ are
+# the same in all the polymorphic methods, (the type of the parameter _o_ is reflected in the method's name;
+# either the actual class, or one of its super classes). The _scope_ parameter is always the scope in which
+# the evaluation takes place. If nothing else is mentioned, the return is always the result of evaluation.
+#
+# See {Visitable} and {Visitor} for more information about
+# polymorphic calling.
+#
+class EvaluatorImpl
+  include Utils
+
+  # Provides access to the Puppet 3.x runtime (scope, etc.)
+  # This separation has been made to make it easier to later migrate the evaluator to an improved runtime.
+  #
+  include Runtime3Support
+  include ExternalSyntaxSupport
+
+  COMMA_SEPARATOR = ', '.freeze
+
+  # Reference to Issues name space makes it easier to refer to issues
+  # (Issues are shared with the validator).
+  #
+  Issues = Issues
+
+  def initialize
+    @@initialized ||= static_initialize
+
+    # Use null migration checker unless given in context
+    @migration_checker = Puppet.lookup(:migration_checker) { Migration::MigrationChecker.singleton }
+  end
+
+  # @api private
+  def static_initialize
+    @@eval_visitor     ||= Visitor.new(self, "eval", 1, 1)
+    @@lvalue_visitor   ||= Visitor.new(self, "lvalue", 1, 1)
+    @@assign_visitor   ||= Visitor.new(self, "assign", 3, 3)
+    @@string_visitor   ||= Visitor.new(self, "string", 1, 1)
+
+    @@type_calculator  ||= Types::TypeCalculator.singleton
+
+    @@compare_operator      ||= CompareOperator.new
+    @@relationship_operator ||= RelationshipOperator.new
+    true
+  end
+  private :static_initialize
+
+  # @api private
+  def type_calculator
+    @@type_calculator
+  end
+
+  # Evaluates the given _target_ object in the given scope.
+  #
+  # @overload evaluate(target, scope)
+  # @param target [Object] evaluation target - see methods on the pattern assign_TYPE for actual supported types.
+  # @param scope [Object] the runtime specific scope class where evaluation should take place
+  # @return [Object] the result of the evaluation
+  #
+  # @api public
+  #
+  def evaluate(target, scope)
+    begin
+      @@eval_visitor.visit_this_1(self, target, scope)
+
+    rescue SemanticError => e
+      # A raised issue may not know the semantic target, use errors call stack, but fill in the
+      # rest from a supplied semantic object, or the target instruction if there is not semantic
+      # object.
+      #
+      fail(e.issue, e.semantic || target, e.options, e)
+
+    rescue Puppet::PreformattedError => e
+      # Already formatted with location information, and with the wanted call stack.
+      # Note this is currently a specialized ParseError, so rescue-order is important
+      #
+      raise e
+
+    rescue Puppet::ParseError => e
+      # ParseError may be raised in ruby code without knowing the location
+      # in puppet code.
+      # Accept a ParseError that has file or line information available
+      # as an error that should be used verbatim. (Tests typically run without
+      # setting a file name).
+      # ParseError can supply an original - it is impossible to determine which
+      # call stack that should be propagated, using the ParseError's backtrace.
+      #
+      if e.file || e.line
+        raise e
+      else
+        # Since it had no location information, treat it as user intended a general purpose
+        # error. Pass on its call stack.
+        fail(Issues::RUNTIME_ERROR, target, {:detail => e.message}, e)
+      end
+
+
+    rescue Puppet::Error => e
+      # PuppetError has the ability to wrap an exception, if so, use the wrapped exception's
+      # call stack instead
+      fail(Issues::RUNTIME_ERROR, target, {:detail => e.message}, e.original || e)
+
+    rescue StopIteration => e
+      # Ensure these are not rescued as StandardError
+      raise e
+
+    rescue StandardError => e
+      # All other errors, use its message and call stack
+      fail(Issues::RUNTIME_ERROR, target, {:detail => e.message}, e)
+    end
+  end
+
+  # Assigns the given _value_ to the given _target_. The additional argument _o_ is the instruction that
+  # produced the target/value tuple and it is used to set the origin of the result.
+  #
+  # @param target [Object] assignment target - see methods on the pattern assign_TYPE for actual supported types.
+  # @param value [Object] the value to assign to `target`
+  # @param o [Model::PopsObject] originating instruction
+  # @param scope [Object] the runtime specific scope where evaluation should take place
+  #
+  # @api private
+  #
+  def assign(target, value, o, scope)
+    @@assign_visitor.visit_this_3(self, target, value, o, scope)
+  end
+
+  # Computes a value that can be used as the LHS in an assignment.
+  # @param o [Object] the expression to evaluate as a left (assignable) entity
+  # @param scope [Object] the runtime specific scope where evaluation should take place
+  #
+  # @api private
+  #
+  def lvalue(o, scope)
+    @@lvalue_visitor.visit_this_1(self, o, scope)
+  end
+
+  # Produces a String representation of the given object _o_ as used in interpolation.
+  # @param o [Object] the expression of which a string representation is wanted
+  # @param scope [Object] the runtime specific scope where evaluation should take place
+  #
+  # @api public
+  #
+  def string(o, scope)
+    @@string_visitor.visit_this_1(self, o, scope)
+  end
+
+  # Evaluate a BlockExpression in a new scope with variables bound to the
+  # given values.
+  #
+  # @param scope [Puppet::Parser::Scope] the parent scope
+  # @param variable_bindings [Hash{String => Object}] the variable names and values to bind (names are keys, bound values are values)
+  # @param block [Model::BlockExpression] the sequence of expressions to evaluate in the new scope
+  #
+  # @api private
+  #
+  def evaluate_block_with_bindings(scope, variable_bindings, block_expr)
+    scope.with_guarded_scope do
+      # change to create local scope_from - cannot give it file and line -
+      # that is the place of the call, not "here"
+      create_local_scope_from(variable_bindings, scope)
+      evaluate(block_expr, scope)
+    end
+  end
+
+  # Implementation of case option matching.
+  #
+  # This is the type of matching performed in a case option, using == for every type
+  # of value except regular expression where a match is performed.
+  #
+  def match?(left, right)
+    @@compare_operator.match(left, right, nil)
+  end
+
+  protected
+
+  def lvalue_VariableExpression(o, scope)
+    # evaluate the name
+    evaluate(o.expr, scope)
+  end
+
+  # Catches all illegal lvalues
+  #
+  def lvalue_Object(o, scope)
+    fail(Issues::ILLEGAL_ASSIGNMENT, o)
+  end
+
+  # An array is assignable if all entries are lvalues
+  def lvalue_LiteralList(o, scope)
+    o.values.map {|x| lvalue(x, scope) }
+  end
+
+  # Assign value to named variable.
+  # The '$' sign is never part of the name.
+  # @example In Puppet DSL
+  #   $name = value
+  # @param name [String] name of variable without $
+  # @param value [Object] value to assign to the variable
+  # @param o [Model::PopsObject] originating instruction
+  # @param scope [Object] the runtime specific scope where evaluation should take place
+  # @return [value<Object>]
+  #
+  def assign_String(name, value, o, scope)
+    if name =~ /::/
+      fail(Issues::CROSS_SCOPE_ASSIGNMENT, o.left_expr, {:name => name})
+    end
+    set_variable(name, value, o, scope)
+    value
+  end
+
+  def assign_Numeric(n, value, o, scope)
+    fail(Issues::ILLEGAL_NUMERIC_ASSIGNMENT, o.left_expr, {:varname => n.to_s})
+  end
+
+  # Catches all illegal assignment (e.g. 1 = 2, {'a'=>1} = 2, etc)
+  #
+  def assign_Object(name, value, o, scope)
+    fail(Issues::ILLEGAL_ASSIGNMENT, o)
+  end
+
+  def assign_Array(lvalues, values, o, scope)
+    if values.is_a?(Hash)
+      lvalues.map do |lval|
+        assign(lval,
+          values.fetch(lval) {|k| fail(Issues::MISSING_MULTI_ASSIGNMENT_KEY, o, :key =>k)},
+          o, scope)
+      end
+    elsif values.is_a?(Puppet::Pops::Types::PClassType)
+      if Puppet[:tasks]
+        fail(Issues::CATALOG_OPERATION_NOT_SUPPORTED_WHEN_SCRIPTING, o, {:operation => _('multi var assignment from class')})
+      end
+      # assign variables from class variables
+      # lookup class resource and return one or more parameter values
+      # TODO: behavior when class_name is nil
+      resource = find_resource(scope, 'class', values.class_name)
+      if resource
+        base_name = "#{values.class_name.downcase}::"
+        idx = -1
+        result = lvalues.map do |lval|
+          idx += 1
+          varname = "#{base_name}#{lval}"
+          if variable_exists?(varname, scope)
+            result = get_variable_value(varname, o, scope)
+            assign(lval, result, o, scope)
+          else
+            fail(Puppet::Pops::Issues::MISSING_MULTI_ASSIGNMENT_VARIABLE, o.left_expr.values[idx], {:name => varname})
+          end
+        end
+      else
+        fail(Issues::UNKNOWN_RESOURCE, o.right_expr, {:type_name => 'Class', :title => values.class_name})
+      end
+
+    else
+      values = [values] unless values.is_a?(Array)
+      if values.size != lvalues.size
+        fail(Issues::ILLEGAL_MULTI_ASSIGNMENT_SIZE, o, :expected =>lvalues.size, :actual => values.size)
+      end
+      lvalues.zip(values).map { |lval, val| assign(lval, val, o, scope) }
+    end
+  end
+
+  def eval_Factory(o, scope)
+    evaluate(o.model, scope)
+  end
+
+  # Evaluates any object not evaluated to something else to itself.
+  def eval_Object o, scope
+    o
+  end
+
+  # Allows nil to be used as a Nop, Evaluates to nil
+  def eval_NilClass(o, scope)
+    nil
+  end
+
+  # Evaluates Nop to nil.
+  def eval_Nop(o, scope)
+    nil
+  end
+
+  # Captures all LiteralValues not handled elsewhere.
+  #
+  def eval_LiteralValue(o, scope)
+    o.value
+  end
+
+  # Reserved Words fail to evaluate
+  #
+  def eval_ReservedWord(o, scope)
+    if !o.future
+      fail(Issues::RESERVED_WORD, o, {:word => o.word})
+    else
+      o.word
+    end
+  end
+
+  def eval_LiteralDefault(o, scope)
+    :default
+  end
+
+  def eval_LiteralUndef(o, scope)
+    nil
+  end
+
+  # A QualifiedReference (i.e. a  capitalized qualified name such as Foo, or Foo::Bar) evaluates to a PTypeType
+  #
+  def eval_QualifiedReference(o, scope)
+    type = Types::TypeParser.singleton.interpret(o)
+    fail(Issues::UNKNOWN_RESOURCE_TYPE, o, {:type_name => type.type_string }) if type.is_a?(Types::PTypeReferenceType)
+    type
+  end
+
+  def eval_NotExpression(o, scope)
+    ! is_true?(evaluate(o.expr, scope), o.expr)
+  end
+
+  def eval_UnaryMinusExpression(o, scope)
+    - coerce_numeric(evaluate(o.expr, scope), o, scope)
+  end
+
+  def eval_UnfoldExpression(o, scope)
+    candidate = evaluate(o.expr, scope)
+    case candidate
+    when nil
+      []
+    when Array
+      candidate
+    when Hash
+      candidate.to_a
+    when Puppet::Pops::Types::Iterable
+      candidate.to_a
+    else
+      # turns anything else into an array (so result can be unfolded)
+      [candidate]
+    end
+  end
+
+  # Abstract evaluation, returns array [left, right] with the evaluated result of left_expr and
+  # right_expr
+  # @return <Array<Object, Object>> array with result of evaluating left and right expressions
+  #
+  def eval_BinaryExpression o, scope
+    [ evaluate(o.left_expr, scope), evaluate(o.right_expr, scope) ]
+  end
+
+  # Evaluates assignment with operators =, +=, -= and
+  #
+  # @example Puppet DSL
+  #   $a = 1
+  #   $a += 1
+  #   $a -= 1
+  #
+  def eval_AssignmentExpression(o, scope)
+    name = lvalue(o.left_expr, scope)
+    value = evaluate(o.right_expr, scope)
+
+    if o.operator == '='
+      assign(name, value, o, scope)
+    else
+      fail(Issues::UNSUPPORTED_OPERATOR, o, {:operator => o.operator})
+    end
+    value
+  end
+
+  ARITHMETIC_OPERATORS = ['+', '-', '*', '/', '%', '<<', '>>'].freeze
+  COLLECTION_OPERATORS = ['+', '-', '<<'].freeze
+
+  # Handles binary expression where lhs and rhs are array/hash or numeric and operator is +, - , *, % / << >>
+  #
+  def eval_ArithmeticExpression(o, scope)
+    left = evaluate(o.left_expr, scope)
+    right = evaluate(o.right_expr, scope)
+
+    begin
+      result = calculate(left, right, o, scope)
+    rescue ArgumentError => e
+      fail(Issues::RUNTIME_ERROR, o, {:detail => e.message}, e)
+    end
+    result
+  end
+
+
+  # Handles binary expression where lhs and rhs are array/hash or numeric and operator is +, - , *, % / << >>
+  #
+  def calculate(left, right, bin_expr, scope)
+    operator = bin_expr.operator
+    unless ARITHMETIC_OPERATORS.include?(operator)
+      fail(Issues::UNSUPPORTED_OPERATOR, bin_expr, {:operator => operator})
+    end
+
+    left_o = bin_expr.left_expr
+    if left.is_a?(URI) && operator == '+'
+      concatenate(left, right)
+    elsif (left.is_a?(Array) || left.is_a?(Hash)) && COLLECTION_OPERATORS.include?(operator)
+      # Handle operation on collections
+      case operator
+      when '+'
+        concatenate(left, right)
+      when '-'
+        delete(left, right)
+      when '<<'
+        unless left.is_a?(Array)
+          fail(Issues::OPERATOR_NOT_APPLICABLE, left_o, {:operator => operator, :left_value => left})
+        end
+        left + [right]
+      end
+    else
+      # Handle operation on numeric
+      left = coerce_numeric(left, left_o, scope)
+      right = coerce_numeric(right, bin_expr.right_expr, scope)
+      begin
+        if operator == '%' && (left.is_a?(Float) || right.is_a?(Float))
+          # Deny users the fun of seeing severe rounding errors and confusing results
+          fail(Issues::OPERATOR_NOT_APPLICABLE, left_o, {:operator => operator, :left_value => left}) if left.is_a?(Float)
+          fail(Issues::OPERATOR_NOT_APPLICABLE_WHEN, left_o, {:operator => operator, :left_value => left, :right_value => right})
+        end
+        if right.is_a?(Time::TimeData) && !left.is_a?(Time::TimeData)
+          if operator == '+' || operator == '*' && right.is_a?(Time::Timespan)
+            # Switch places. Let the TimeData do the arithmetic
+            x = left
+            left = right
+            right = x
+          elsif operator == '-' && right.is_a?(Time::Timespan)
+            left = Time::Timespan.new((left * Time::NSECS_PER_SEC).to_i)
+          else
+            fail(Issues::OPERATOR_NOT_APPLICABLE_WHEN, left_o, {:operator => operator, :left_value => left, :right_value => right})
+          end
+        end
+        result = left.send(operator, right)
+      rescue NoMethodError
+        fail(Issues::OPERATOR_NOT_APPLICABLE, left_o, {:operator => operator, :left_value => left})
+      rescue ZeroDivisionError
+        fail(Issues::DIV_BY_ZERO, bin_expr.right_expr)
+      end
+      case result
+      when Float
+        if result == Float::INFINITY || result == -Float::INFINITY
+          fail(Issues::RESULT_IS_INFINITY, left_o, {:operator => operator})
+        end
+      when Integer
+        if result < MIN_INTEGER || result > MAX_INTEGER
+          fail(Issues::NUMERIC_OVERFLOW, bin_expr, {:value => result})
+        end
+      end
+      result
+    end
+  end
+
+  def eval_EppExpression(o, scope)
+    scope["@epp"] = []
+    evaluate(o.body, scope)
+    result = scope["@epp"].join
+    result
+  end
+
+  def eval_RenderStringExpression(o, scope)
+    scope["@epp"] << o.value.dup
+    nil
+  end
+
+  def eval_RenderExpression(o, scope)
+    scope["@epp"] << string(evaluate(o.expr, scope), scope)
+    nil
+  end
+
+  # Evaluates Puppet DSL ->, ~>, <-, and <~
+  def eval_RelationshipExpression(o, scope)
+    # First level evaluation, reduction to basic data types or puppet types, the relationship operator then translates this
+    # to the final set of references (turning strings into references, which can not naturally be done by the main evaluator since
+    # all strings should not be turned into references.
+    #
+    real = eval_BinaryExpression(o, scope)
+    @@relationship_operator.evaluate(real, o, scope)
+  end
+
+  # Evaluates x[key, key, ...]
+  #
+  def eval_AccessExpression(o, scope)
+    left = evaluate(o.left_expr, scope)
+    keys = o.keys || []
+    if left.is_a?(Types::PClassType)
+      # Evaluate qualified references without errors no undefined types
+      keys = keys.map {|key| key.is_a?(Model::QualifiedReference) ? Types::TypeParser.singleton.interpret(key) : evaluate(key, scope) }
+    else
+      keys = keys.map {|key| evaluate(key, scope) }
+      # Resource[File] becomes File
+      return keys[0] if Types::PResourceType::DEFAULT == left && keys.size == 1 && keys[0].is_a?(Types::PResourceType)
+    end
+    AccessOperator.new(o).access(left, scope, *keys)
+  end
+
+  # Evaluates <, <=, >, >=, and ==
+  #
+  def eval_ComparisonExpression o, scope
+    left = evaluate(o.left_expr, scope)
+    right = evaluate(o.right_expr, scope)
+
+    begin
+    # Left is a type
+    if left.is_a?(Types::PAnyType)
+      case o.operator
+      when '=='
+        @@type_calculator.equals(left,right)
+
+      when '!='
+        !@@type_calculator.equals(left,right)
+
+      when '<'
+        # left can be assigned to right, but they are not equal
+        @@type_calculator.assignable?(right, left) && ! @@type_calculator.equals(left,right)
+      when '<='
+        # left can be assigned to right
+        @@type_calculator.assignable?(right, left)
+      when '>'
+        # right can be assigned to left, but they are not equal
+        @@type_calculator.assignable?(left,right) && ! @@type_calculator.equals(left,right)
+      when '>='
+        # right can be assigned to left
+        @@type_calculator.assignable?(left, right)
+      else
+        fail(Issues::UNSUPPORTED_OPERATOR, o, {:operator => o.operator})
+      end
+    else
+      case o.operator
+      when '=='
+        @@compare_operator.equals(left,right)
+      when '!='
+        ! @@compare_operator.equals(left,right)
+      when '<'
+        @@compare_operator.compare(left,right) < 0
+      when '<='
+        @@compare_operator.compare(left,right) <= 0
+      when '>'
+        @@compare_operator.compare(left,right) > 0
+      when '>='
+        @@compare_operator.compare(left,right) >= 0
+      else
+        fail(Issues::UNSUPPORTED_OPERATOR, o, {:operator => o.operator})
+      end
+    end
+    rescue ArgumentError => e
+      fail(Issues::COMPARISON_NOT_POSSIBLE, o, {
+        :operator => o.operator,
+        :left_value => left,
+        :right_value => right,
+        :detail => e.message}, e)
+    end
+  end
+
+  # Evaluates matching expressions with type, string or regexp rhs expression.
+  # If RHS is a type, the =~ matches compatible (instance? of) type.
+  #
+  # @example
+  #   x =~ /abc.*/
+  # @example
+  #   x =~ "abc.*/"
+  # @example
+  #   y = "abc"
+  #   x =~ "${y}.*"
+  # @example
+  #   [1,2,3] =~ Array[Integer[1,10]]
+  #
+  # Note that a string is not instance? of Regexp, only Regular expressions are.
+  # The Pattern type should instead be used as it is specified as subtype of String.
+  #
+  # @return [Boolean] if a match was made or not. Also sets $0..$n to matchdata in current scope.
+  #
+  def eval_MatchExpression o, scope
+    left = evaluate(o.left_expr, scope)
+    pattern = evaluate(o.right_expr, scope)
+
+    # matches RHS types as instance of for all types except a parameterized Regexp[R]
+    if pattern.is_a?(Types::PAnyType)
+      # evaluate as instance? of type check
+      matched = pattern.instance?(left)
+      # convert match result to Boolean true, or false
+      return o.operator == '=~' ? !!matched : !matched
+    end
+
+    if pattern.is_a?(SemanticPuppet::VersionRange)
+      # evaluate if range includes version
+      matched = Types::PSemVerRangeType.include?(pattern, left)
+      return o.operator == '=~' ? matched : !matched
+    end
+
+    begin
+      pattern = Regexp.new(pattern) unless pattern.is_a?(Regexp)
+    rescue StandardError => e
+      fail(Issues::MATCH_NOT_REGEXP, o.right_expr, {:detail => e.message}, e)
+    end
+    unless left.is_a?(String)
+      fail(Issues::MATCH_NOT_STRING, o.left_expr, {:left_value => left})
+    end
+
+    matched = pattern.match(left) # nil, or MatchData
+    set_match_data(matched,scope) # creates ephemeral
+
+    # convert match result to Boolean true, or false
+    o.operator == '=~' ? !!matched : !matched
+  end
+
+  # Evaluates Puppet DSL `in` expression
+  #
+  def eval_InExpression o, scope
+    left = evaluate(o.left_expr, scope)
+    right = evaluate(o.right_expr, scope)
+    @@compare_operator.include?(right, left, scope)
+  end
+
+  # @example
+  #   $a and $b
+  # b is only evaluated if a is true
+  #
+  def eval_AndExpression o, scope
+    is_true?(evaluate(o.left_expr, scope), o.left_expr) ? is_true?(evaluate(o.right_expr, scope), o.right_expr) : false
+  end
+
+  # @example
+  #   a or b
+  # b is only evaluated if a is false
+  #
+  def eval_OrExpression o, scope
+    is_true?(evaluate(o.left_expr, scope), o.left_expr) ? true : is_true?(evaluate(o.right_expr, scope), o.right_expr)
+  end
+
+  # Evaluates each entry of the literal list and creates a new Array
+  # Supports unfolding of entries
+  # @return [Array] with the evaluated content
+  #
+  def eval_LiteralList o, scope
+    unfold([], o.values, scope)
+  end
+
+  # Evaluates each entry of the literal hash and creates a new Hash.
+  # @return [Hash] with the evaluated content
+  #
+  def eval_LiteralHash o, scope
+    # optimized
+    o.entries.reduce({}) {|h,entry| h[evaluate(entry.key, scope)] = evaluate(entry.value, scope); h }
+  end
+
+  # Evaluates all statements and produces the last evaluated value
+  #
+  def eval_BlockExpression o, scope
+    o.statements.reduce(nil) {|memo, s| evaluate(s, scope)}
+  end
+
+  # Performs optimized search over case option values, lazily evaluating each
+  # until there is a match. If no match is found, the case expression's default expression
+  # is evaluated (it may be nil or Nop if there is no default, thus producing nil).
+  # If an option matches, the result of evaluating that option is returned.
+  # @return [Object, nil] what a matched option returns, or nil if nothing matched.
+  #
+  def eval_CaseExpression(o, scope)
+    # memo scope level before evaluating test - don't want a match in the case test to leak $n match vars
+    # to expressions after the case expression.
+    #
+    scope.with_guarded_scope do
+      test = evaluate(o.test, scope)
+
+      result = nil
+      the_default = nil
+      if o.options.find do |co|
+        # the first case option that matches
+        if co.values.find do |c|
+          c = unwind_parentheses(c)
+          case c
+          when Model::LiteralDefault
+            the_default = co.then_expr
+            next false
+          when Model::UnfoldExpression
+            # not ideal for error reporting, since it is not known which unfolded result
+            # that caused an error - the entire unfold expression is blamed (i.e. the var c, passed to is_match?)
+            evaluate(c, scope).any? {|v| is_match?(test, v, c, co, scope) }
+          else
+            is_match?(test, evaluate(c, scope), c, co, scope)
+          end
+        end
+        result = evaluate(co.then_expr, scope)
+        true # the option was picked
+        end
+      end
+        result # an option was picked, and produced a result
+      else
+        evaluate(the_default, scope) # evaluate the default (should be a nop/nil) if there is no default).
+      end
+    end
+  end
+
+  # Evaluates a CollectExpression by creating a collector transformer. The transformer
+  # will evaluate the collection, create the appropriate collector, and hand it off
+  # to the compiler to collect the resources specified by the query.
+  #
+  def eval_CollectExpression o, scope
+    if o.query.is_a?(Model::ExportedQuery)
+      optionally_fail(Issues::RT_NO_STORECONFIGS, o);
+    end
+    CollectorTransformer.new().transform(o,scope)
+  end
+
+  def eval_ParenthesizedExpression(o, scope)
+    evaluate(o.expr, scope)
+  end
+
+  # This evaluates classes, nodes and resource type definitions to nil, since 3x:
+  # instantiates them, and evaluates their parameters and body. This is achieved by
+  # providing bridge AST classes in Puppet::Parser::AST::PopsBridge that bridges a
+  # Pops Program and a Pops Expression.
+  #
+  # Since all Definitions are handled "out of band", they are treated as a no-op when
+  # evaluated.
+  #
+  def eval_Definition(o, scope)
+    nil
+  end
+
+  def eval_Program(o, scope)
+    begin
+      file = o.locator.file
+      line = 0
+      # Add stack frame for "top scope" logic. See Puppet::Pops::PuppetStack
+      return Puppet::Pops::PuppetStack.stack(file, line, self, 'evaluate', [o.body, scope])
+      #evaluate(o.body, scope)
+    rescue Puppet::Pops::Evaluator::PuppetStopIteration => ex
+      # breaking out of a file level program is not allowed
+      #TRANSLATOR break() is a method that should not be translated
+      raise Puppet::ParseError.new(_("break() from context where this is illegal"), ex.file, ex.line)
+    end
+  end
+
+  # Produces Array[PAnyType], an array of resource references
+  #
+  def eval_ResourceExpression(o, scope)
+    exported = o.exported
+    virtual = o.virtual
+
+    # Get the type name
+    type_name =
+    if (tmp_name = o.type_name).is_a?(Model::QualifiedName)
+      tmp_name.value # already validated as a name
+    else
+      type_name_acceptable =
+      case o.type_name
+      when Model::QualifiedReference
+        true
+      when Model::AccessExpression
+        o.type_name.left_expr.is_a?(Model::QualifiedReference)
+      end
+
+      evaluated_name = evaluate(tmp_name, scope)
+      unless type_name_acceptable
+        actual = type_calculator.generalize(type_calculator.infer(evaluated_name)).to_s
+        fail(Issues::ILLEGAL_RESOURCE_TYPE, o.type_name, {:actual => actual})
+      end
+
+      # must be a CatalogEntry subtype
+      case evaluated_name
+      when Types::PClassType
+        unless evaluated_name.class_name.nil?
+          fail(Issues::ILLEGAL_RESOURCE_TYPE, o.type_name, {:actual=> evaluated_name.to_s})
+        end
+        'class'
+
+      when Types::PResourceType
+        unless evaluated_name.title().nil?
+          fail(Issues::ILLEGAL_RESOURCE_TYPE, o.type_name, {:actual=> evaluated_name.to_s})
+        end
+        evaluated_name.type_name # assume validated
+
+      when Types::PTypeReferenceType
+        fail(Issues::UNKNOWN_RESOURCE_TYPE, o.type_string, {:type_name => evaluated_name.to_s})
+
+      else
+        actual = type_calculator.generalize(type_calculator.infer(evaluated_name)).to_s
+        fail(Issues::ILLEGAL_RESOURCE_TYPE, o.type_name, {:actual=>actual})
+      end
+    end
+
+    # This is a runtime check - the model is valid, but will have runtime issues when evaluated
+    # and storeconfigs is not set.
+    if(o.exported)
+      optionally_fail(Issues::RT_NO_STORECONFIGS_EXPORT, o);
+    end
+
+    titles_to_body = {}
+    body_to_titles = {}
+    body_to_params = {}
+
+    # titles are evaluated before attribute operations
+    o.bodies.map do | body |
+      titles = evaluate(body.title, scope)
+
+      # Title may not be nil
+      # Titles may be given as an array, it is ok if it is empty, but not if it contains nil entries
+      # Titles may not be an empty String
+      # Titles must be unique in the same resource expression
+      # There may be a :default entry, its entries apply with lower precedence
+      #
+      if titles.nil?
+        fail(Issues::MISSING_TITLE, body.title)
+      end
+      titles = [titles].flatten
+
+      # Check types of evaluated titles and duplicate entries
+      titles.each_with_index do |title, index|
+        if title.nil?
+          fail(Issues::MISSING_TITLE_AT, body.title, {:index => index})
+
+        elsif !title.is_a?(String) && title != :default
+          actual = type_calculator.generalize(type_calculator.infer(title)).to_s
+          fail(Issues::ILLEGAL_TITLE_TYPE_AT, body.title, {:index => index, :actual => actual})
+
+        elsif title == EMPTY_STRING
+         fail(Issues::EMPTY_STRING_TITLE_AT, body.title, {:index => index})
+
+        elsif titles_to_body[title]
+          fail(Issues::DUPLICATE_TITLE, o, {:title => title})
+        end
+        titles_to_body[title] = body
+      end
+
+      # Do not create a real instance from the :default case
+      titles.delete(:default)
+
+      body_to_titles[body] = titles
+
+      # Store evaluated parameters in a hash associated with the body, but do not yet create resource
+      # since the entry containing :defaults may appear later
+      body_to_params[body] = body.operations.reduce({}) do |param_memo, op|
+        params = evaluate(op, scope)
+        params = [params] unless params.is_a?(Array)
+        params.each do |p|
+          if param_memo.include? p.name
+            fail(Issues::DUPLICATE_ATTRIBUTE, o, {:attribute => p.name})
+          end
+          param_memo[p.name] = p
+        end
+        param_memo
+      end
+    end
+
+    # Titles and Operations have now been evaluated and resources can be created
+    # Each production is a PResource, and an array of all is produced as the result of
+    # evaluating the ResourceExpression.
+    #
+    defaults_hash = body_to_params[titles_to_body[:default]] || {}
+    o.bodies.map do | body |
+      titles = body_to_titles[body]
+      params = defaults_hash.merge(body_to_params[body] || {})
+      create_resources(o, scope, virtual, exported, type_name, titles, params.values)
+    end.flatten.compact
+  end
+
+  def eval_ResourceOverrideExpression(o, scope)
+    evaluated_resources = evaluate(o.resources, scope)
+    evaluated_parameters = o.operations.map { |op| evaluate(op, scope) }
+    create_resource_overrides(o, scope, [evaluated_resources].flatten, evaluated_parameters)
+    evaluated_resources
+  end
+
+  # Produces 3x parameter
+  def eval_AttributeOperation(o, scope)
+    create_resource_parameter(o, scope, o.attribute_name, evaluate(o.value_expr, scope), o.operator)
+  end
+
+  def eval_AttributesOperation(o, scope)
+    hashed_params = evaluate(o.expr, scope)
+    unless hashed_params.is_a?(Hash)
+      actual = type_calculator.generalize(type_calculator.infer(hashed_params)).to_s
+      fail(Issues::TYPE_MISMATCH, o.expr, {:expected => 'Hash', :actual => actual})
+    end
+    hashed_params.map { |k,v| create_resource_parameter(o, scope, k, v, '=>') }
+  end
+
+  # Sets default parameter values for a type, produces the type
+  #
+  def eval_ResourceDefaultsExpression(o, scope)
+    type = evaluate(o.type_ref, scope)
+    type_name =
+    if type.is_a?(Types::PResourceType) && !type.type_name.nil? && type.title.nil?
+      type.type_name # assume it is a valid name
+    else
+      actual = type_calculator.generalize(type_calculator.infer(type))
+      fail(Issues::ILLEGAL_RESOURCE_TYPE, o.type_ref, {:actual => actual})
+    end
+    evaluated_parameters = o.operations.map {|op| evaluate(op, scope) }
+    create_resource_defaults(o, scope, type_name, evaluated_parameters)
+    # Produce the type
+    type
+  end
+
+  # Evaluates function call by name.
+  #
+  def eval_CallNamedFunctionExpression(o, scope)
+    # If LHS is a type (i.e. Integer, or Integer[...]
+    # the call is taken as an instantiation of the given type
+    #
+    functor = o.functor_expr
+    if functor.is_a?(Model::QualifiedReference) ||
+      functor.is_a?(Model::AccessExpression) && functor.left_expr.is_a?(Model::QualifiedReference)
+      # instantiation
+      type = evaluate(functor, scope)
+      return call_function_with_block('new', unfold([type], o.arguments || [], scope), o, scope)
+    end
+
+    # The functor expression is not evaluated, it is not possible to select the function to call
+    # via an expression like $a()
+    case functor
+    when Model::QualifiedName
+      # ok
+    when Model::RenderStringExpression
+      # helpful to point out this easy to make Epp error
+      fail(Issues::ILLEGAL_EPP_PARAMETERS, o)
+    else
+      fail(Issues::ILLEGAL_EXPRESSION, o.functor_expr, {:feature=>'function name', :container => o})
+    end
+    name = o.functor_expr.value
+    call_function_with_block(name, unfold([], o.arguments, scope), o, scope)
+  end
+
+  # Evaluation of CallMethodExpression handles a NamedAccessExpression functor (receiver.function_name)
+  #
+  def eval_CallMethodExpression(o, scope)
+    unless o.functor_expr.is_a? Model::NamedAccessExpression
+      fail(Issues::ILLEGAL_EXPRESSION, o.functor_expr, {:feature=>'function accessor', :container => o})
+    end
+    receiver = unfold([], [o.functor_expr.left_expr], scope)
+    name = o.functor_expr.right_expr
+    unless name.is_a? Model::QualifiedName
+      fail(Issues::ILLEGAL_EXPRESSION, o.functor_expr, {:feature=>'function name', :container => o})
+    end
+    name = name.value # the string function name
+
+    obj = receiver[0]
+    receiver_type = Types::TypeCalculator.infer(obj)
+    if receiver_type.is_a?(Types::TypeWithMembers)
+      member = receiver_type[name]
+      unless member.nil?
+        args = unfold([], o.arguments || [], scope)
+        return o.lambda.nil? ? member.invoke(obj, scope, args) : member.invoke(obj, scope, args, &proc_from_lambda(o.lambda, scope))
+      end
+    end
+
+    call_function_with_block(name, unfold(receiver, o.arguments || [], scope), o, scope)
+  end
+
+  def call_function_with_block(name, evaluated_arguments, o, scope)
+    if o.lambda.nil?
+      call_function(name, evaluated_arguments, o, scope)
+    else
+      call_function(name, evaluated_arguments, o, scope, &proc_from_lambda(o.lambda, scope))
+    end
+  end
+  private :call_function_with_block
+
+  def proc_from_lambda(lambda, scope)
+    closure = Closure::Dynamic.new(self, lambda, scope)
+    PuppetProc.new(closure) { |*args| closure.call(*args) }
+  end
+  private :proc_from_lambda
+
+  # @example
+  #   $x ? { 10 => true, 20 => false, default => 0 }
+  #
+  def eval_SelectorExpression o, scope
+    # memo scope level before evaluating test - don't want a match in the case test to leak $n match vars
+    # to expressions after the selector expression.
+    #
+    scope.with_guarded_scope do
+      test = evaluate(o.left_expr, scope)
+
+      the_default = nil
+      selected = o.selectors.find do |s|
+        me = unwind_parentheses(s.matching_expr)
+        case me
+        when Model::LiteralDefault
+          the_default = s.value_expr
+          false
+        when Model::UnfoldExpression
+          # not ideal for error reporting, since it is not known which unfolded result
+          # that caused an error - the entire unfold expression is blamed (i.e. the var c, passed to is_match?)
+          evaluate(me, scope).any? {|v| is_match?(test, v, me, s, scope) }
+        else
+          is_match?(test, evaluate(me, scope), me, s, scope)
+        end
+      end
+      if selected
+        evaluate(selected.value_expr, scope)
+      elsif the_default
+        evaluate(the_default, scope)
+      else
+        fail(Issues::UNMATCHED_SELECTOR, o.left_expr, :param_value => test)
+      end
+    end
+  end
+
+  # SubLocatable is simply an expression that holds location information
+  def eval_SubLocatedExpression o, scope
+    evaluate(o.expr, scope)
+  end
+
+  # Evaluates Puppet DSL Heredoc
+  def eval_HeredocExpression o, scope
+    result = evaluate(o.text_expr, scope)
+    assert_external_syntax(scope, result, o.syntax, o.text_expr)
+    result
+  end
+
+  # Evaluates Puppet DSL `if`
+  def eval_IfExpression o, scope
+    scope.with_guarded_scope do
+      if is_true?(evaluate(o.test, scope), o.test)
+        evaluate(o.then_expr, scope)
+      else
+        evaluate(o.else_expr, scope)
+      end
+    end
+  end
+
+  # Evaluates Puppet DSL `unless`
+  def eval_UnlessExpression o, scope
+    scope.with_guarded_scope do
+      unless is_true?(evaluate(o.test, scope), o.test)
+        evaluate(o.then_expr, scope)
+      else
+        evaluate(o.else_expr, scope)
+      end
+    end
+  end
+
+  # Evaluates a variable (getting its value)
+  # The evaluator is lenient; any expression producing a String is used as a name
+  # of a variable.
+  #
+  def eval_VariableExpression o, scope
+    # Evaluator is not too fussy about what constitutes a name as long as the result
+    # is a String and a valid variable name
+    #
+    name = evaluate(o.expr, scope)
+
+    # Should be caught by validation, but make this explicit here as well, or mysterious evaluation issues
+    # may occur for some evaluation use cases.
+    case name
+    when String
+    when Numeric
+    else
+      fail(Issues::ILLEGAL_VARIABLE_EXPRESSION, o.expr)
+    end
+    get_variable_value(name, o, scope)
+  end
+
+  # Evaluates double quoted strings that may contain interpolation
+  #
+  def eval_ConcatenatedString o, scope
+    o.segments.collect {|expr| string(evaluate(expr, scope), scope)}.join
+  end
+
+
+  # If the wrapped expression is a QualifiedName, it is taken as the name of a variable in scope.
+  # Note that this is different from the 3.x implementation, where an initial qualified name
+  # is accepted. (e.g. `"---${var + 1}---"` is legal. This implementation requires such concrete
+  # syntax to be expressed in a model as `(TextExpression (+ (Variable var) 1)` - i.e. moving the decision to
+  # the parser.
+  #
+  # Semantics; the result of an expression is turned into a string, nil is silently transformed to empty
+  # string.
+  # @return [String] the interpolated result
+  #
+  def eval_TextExpression o, scope
+    if o.expr.is_a?(Model::QualifiedName)
+      string(get_variable_value(o.expr.value, o, scope), scope)
+    else
+      string(evaluate(o.expr, scope), scope)
+    end
+  end
+
+  def string_Object(o, scope)
+    o.to_s
+  end
+
+  def string_Symbol(o, scope)
+    if :undef == o  # optimized comparison 1.44 vs 1.95
+      EMPTY_STRING
+    else
+      o.to_s
+    end
+  end
+
+  def string_Array(o, scope)
+    "[#{o.map {|e| string(e, scope)}.join(COMMA_SEPARATOR)}]"
+  end
+
+  def string_Hash(o, scope)
+    "{#{o.map {|k,v| "#{string(k, scope)} => #{string(v, scope)}"}.join(COMMA_SEPARATOR)}}"
+  end
+
+  def string_Regexp(o, scope)
+    Types::PRegexpType.regexp_to_s_with_delimiters(o)
+  end
+
+  def string_PAnyType(o, scope)
+    o.to_s
+  end
+
+  # Produces concatenation / merge of x and y.
+  #
+  # When x is an Array, y of type produces:
+  #
+  # * Array => concatenation `[1,2], [3,4] => [1,2,3,4]`
+  # * Hash => concatenation of hash as array `[key, value, key, value, ...]`
+  # * any other => concatenation of single value
+  #
+  # When x is a Hash, y of type produces:
+  #
+  # * Array => merge of array interpreted as `[key, value, key, value,...]`
+  # * Hash => a merge, where entries in `y` overrides
+  # * any other => error
+  #
+  # When x is a URI, y of type produces:
+  #
+  # * String => merge of URI interpreted x + URI(y) using URI merge semantics
+  # * URI => merge of URI interpreted x + y using URI merge semantics
+  # * any other => error
+  #
+  # When x is nil, an empty array is used instead.
+  #
+  # @note to concatenate an Array, nest the array - i.e. `[1,2], [[2,3]]`
+  #
+  # @overload concatenate(obj_x, obj_y)
+  #   @param obj_x [Object] object to wrap in an array and concatenate to; see other overloaded methods for return type
+  #   @param ary_y [Object] array to concatenate at end of `ary_x`
+  #   @return [Object] wraps obj_x in array before using other overloaded option based on type of obj_y
+  # @overload concatenate(ary_x, ary_y)
+  #   @param ary_x [Array] array to concatenate to
+  #   @param ary_y [Array] array to concatenate at end of `ary_x`
+  #   @return [Array] new array with `ary_x` + `ary_y`
+  # @overload concatenate(ary_x, hsh_y)
+  #   @param ary_x [Array] array to concatenate to
+  #   @param hsh_y [Hash] converted to array form, and concatenated to array
+  #   @return [Array] new array with `ary_x` + `hsh_y` converted to array
+  # @overload concatenate (ary_x, obj_y)
+  #   @param ary_x [Array] array to concatenate to
+  #   @param obj_y [Object] non array or hash object to add to array
+  #   @return [Array] new array with `ary_x` + `obj_y` added as last entry
+  # @overload concatenate(hsh_x, ary_y)
+  #   @param hsh_x [Hash] the hash to merge with
+  #   @param ary_y [Array] array interpreted as even numbered sequence of key, value merged with `hsh_x`
+  #   @return [Hash] new hash with `hsh_x` merged with `ary_y` interpreted as hash in array form
+  # @overload concatenate(hsh_x, hsh_y)
+  #   @param hsh_x [Hash] the hash to merge to
+  #   @param hsh_y [Hash] hash merged with `hsh_x`
+  #   @return [Hash] new hash with `hsh_x` merged with `hsh_y`
+  # @overload concatenate(uri_x, uri_y)
+  #   @param uri_x [URI] the uri to merge to
+  #   @param uri_y [URI] uri to merged with `uri_x`
+  #   @return [URI] new uri with `uri_x` merged with `uri_y`
+  # @overload concatenate(uri_x, string_y)
+  #   @param uri_x [URI] the uri to merge to
+  #   @param string_y [String] string to merge with `uri_x`
+  #   @return [URI] new uri with `uri_x` merged with `string_y`
+  # @raise [ArgumentError] when `xxx_x` is neither an Array nor a Hash
+  # @raise [ArgumentError] when `xxx_x` is a Hash, and `xxx_y` is neither Array nor Hash.
+  #
+  def concatenate(x, y)
+    case x
+    when Array
+      y = case y
+      when Array then y
+      when Hash  then y.to_a
+      else
+        [y]
+      end
+      x + y # new array with concatenation
+    when Hash
+      y = case y
+      when Hash then y
+      when Array
+        # Hash[[a, 1, b, 2]] => {}
+        # Hash[a,1,b,2] => {a => 1, b => 2}
+        # Hash[[a,1], [b,2]] => {[a,1] => [b,2]}
+        # Hash[[[a,1], [b,2]]] => {a => 1, b => 2}
+        # Use type calculator to determine if array is Array[Array[?]], and if so use second form
+        # of call
+        t = @@type_calculator.infer(y)
+        if t.element_type.is_a? Types::PArrayType
+          Hash[y]
+        else
+          Hash[*y]
+        end
+      else
+        raise ArgumentError.new(_('Can only append Array or Hash to a Hash'))
+      end
+      x.merge y # new hash with overwrite
+    when URI
+      raise ArgumentError.new(_('An URI can only be merged with an URI or String')) unless y.is_a?(String) || y.is_a?(URI)
+      x + y
+    else
+      concatenate([x], y)
+    end
+  end
+
+  # Produces the result x \ y (set difference)
+  # When `x` is an Array, `y` is transformed to an array and then all matching elements removed from x.
+  # When `x` is a Hash, all contained keys are removed from x as listed in `y` if it is an Array, or all its keys if it is a Hash.
+  # The difference is returned. The given `x` and `y` are not modified by this operation.
+  # @raise [ArgumentError] when `x` is neither an Array nor a Hash
+  #
+  def delete(x, y)
+    result = x.dup
+    case x
+    when Array
+      y = case y
+      when Array then y
+      when Hash then y.to_a
+      else
+        [y]
+      end
+      y.each {|e| result.delete(e) }
+    when Hash
+      y = case y
+      when Array then y
+      when Hash then y.keys
+      else
+        [y]
+      end
+      y.each {|e| result.delete(e) }
+    else
+      raise ArgumentError.new(_("Can only delete from an Array or Hash."))
+    end
+    result
+  end
+
+  # Implementation of case option matching.
+  #
+  # This is the type of matching performed in a case option, using == for every type
+  # of value except regular expression where a match is performed.
+  #
+  def is_match?(left, right, o, option_expr, scope)
+    @@compare_operator.match(left, right, scope)
+  end
+
+  # Maps the expression in the given array to their product except for UnfoldExpressions which are first unfolded.
+  # The result is added to the given result Array.
+  # @param result [Array] Where to add the result (may contain information to add to)
+  # @param array [Array[Model::Expression] the expressions to map
+  # @param scope [Puppet::Parser::Scope] the scope to evaluate in
+  # @return [Array] the given result array with content added from the operation
+  #
+  def unfold(result, array, scope)
+    array.each do |x|
+      x = unwind_parentheses(x)
+      if x.is_a?(Model::UnfoldExpression)
+        result.concat(evaluate(x, scope))
+      else
+        result << evaluate(x, scope)
+      end
+    end
+    result
+  end
+  private :unfold
+
+  def unwind_parentheses(o)
+    return o unless o.is_a?(Model::ParenthesizedExpression)
+    unwind_parentheses(o.expr)
+  end
+  private :unwind_parentheses
+end
+end
+end