Class: Puppet::Pops::Types::POptionalType

Inherits:
PTypeWithContainedType show all
Defined in:
lib/puppet/pops/types/types.rb

Overview

Represents a type that accept PUndefType instead of the type parameter required_type - is a short hand for Variant[T, Undef]

Constant Summary collapse

DEFAULT = 
POptionalType.new(nil)

Instance Attribute Summary

Attributes inherited from PTypeWithContainedType

#type

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from PTypeWithContainedType

#accept, #eql?, #generalize, #hash, #initialize, #resolve

Methods inherited from PAnyType

#==, #accept, #assignable?, #callable?, #callable_args?, #callable_with?, #check_self_recursion, create, #create, #eql?, #generalize, #hash, #iterable?, #iterable_type, #loader, #name, new_function, #really_instance?, #resolve, #roundtrip_with_string?, #simple_name, simple_name, #to_alias_expanded_s, #to_s

Methods inherited from TypedModelObject

_pcore_type, create_ptype, register_ptypes

Methods included from Visitable

#accept

Methods included from PuppetObject

#_pcore_all_contents, #_pcore_contents, #_pcore_init_hash, #_pcore_type, #to_s

Constructor Details

This class inherits a constructor from Puppet::Pops::Types::PTypeWithContainedType

Class Method Details

.register_ptype(loader, ir) ⇒ Object 



3264
3265
3266
3267
3268
3269
3270
 
# File 'lib/puppet/pops/types/types.rb', line 3264

def self.register_ptype(loader, ir)
  create_ptype(loader, ir, 'AnyType',
               'type' => {
                 KEY_TYPE => POptionalType.new(PTypeType::DEFAULT),
                 KEY_VALUE => nil
               })
end

Instance Method Details

#instance?(o, guard = nil) ⇒ Boolean

Returns:

  • (Boolean) 


3280
3281
3282
 
# File 'lib/puppet/pops/types/types.rb', line 3280

def instance?(o, guard = nil)
  PUndefType::DEFAULT.instance?(o, guard) || (!@type.nil? && @type.instance?(o, guard))
end

#kind_of_callable?(optional = true, guard = nil) ⇒ Boolean

Returns:

  • (Boolean) 


3276
3277
3278
 
# File 'lib/puppet/pops/types/types.rb', line 3276

def kind_of_callable?(optional = true, guard = nil)
  optional && !@type.nil? && @type.kind_of_callable?(optional, guard)
end

#new_function ⇒ Object 



3299
3300
3301
 
# File 'lib/puppet/pops/types/types.rb', line 3299

def new_function
  optional_type.new_function
end

#normalize(guard = nil) ⇒ Object 



3284
3285
3286
3287
3288
3289
3290
3291
3292
3293
3294
3295
3296
3297
 
# File 'lib/puppet/pops/types/types.rb', line 3284

def normalize(guard = nil)
  n = super
  if n.type.nil?
    n
  elsif n.type.is_a?(PNotUndefType)
    POptionalType.new(n.type.type).normalize
  # No point in having an NotUndef in an Optional
  elsif n.type.assignable?(PUndefType::DEFAULT)
    # THe type is Optional anyway, so it can be stripped of
    n.type
  else
    n
  end
end

#optional_type ⇒ Object 



3272
3273
3274
 
# File 'lib/puppet/pops/types/types.rb', line 3272

def optional_type
  @type
end