Class: Puppet::Pops::Types::PCollectionType

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

Direct Known Subclasses

PArrayType, PHashType

Constant Summary collapse

DEFAULT_SIZE =
PIntegerType.new(0)
ZERO_SIZE =
PIntegerType.new(0, 0)
NOT_EMPTY_SIZE =
PIntegerType.new(1)
DEFAULT =
PCollectionType.new(nil)

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from PAnyType

#==, #assignable?, #callable?, #callable_args?, #callable_with?, #check_self_recursion, create, #create, #iterable_type, #kind_of_callable?, #loader, #name, #new_function, 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 PuppetObject

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

Constructor Details

#initialize(size_type) ⇒ PCollectionType

Returns a new instance of PCollectionType.


1320
1321
1322
# File 'lib/puppet/pops/types/types.rb', line 1320

def initialize(size_type)
  @size_type = size_type.nil? ? nil : size_type.to_size
end

Instance Attribute Details

#size_typeObject (readonly)


1318
1319
1320
# File 'lib/puppet/pops/types/types.rb', line 1318

def size_type
  @size_type
end

Class Method Details

.register_ptype(loader, ir) ⇒ Object


1309
1310
1311
1312
1313
1314
1315
1316
# File 'lib/puppet/pops/types/types.rb', line 1309

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

Instance Method Details

#accept(visitor, guard) ⇒ Object


1324
1325
1326
1327
# File 'lib/puppet/pops/types/types.rb', line 1324

def accept(visitor, guard)
  super
  @size_type.accept(visitor, guard) unless @size_type.nil?
end

#eql?(o) ⇒ Boolean

Returns:

  • (Boolean)

1364
1365
1366
# File 'lib/puppet/pops/types/types.rb', line 1364

def eql?(o)
  self.class == o.class && @size_type == o.size_type
end

#generalizeObject


1329
1330
1331
# File 'lib/puppet/pops/types/types.rb', line 1329

def generalize
  DEFAULT
end

#has_empty_range?Boolean

Returns:

  • (Boolean)

1351
1352
1353
1354
# File 'lib/puppet/pops/types/types.rb', line 1351

def has_empty_range?
  from, to = size_range
  from == 0 && to == 0
end

#hashObject


1356
1357
1358
# File 'lib/puppet/pops/types/types.rb', line 1356

def hash
  @size_type.hash
end

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

Returns:

  • (Boolean)

1337
1338
1339
1340
1341
1342
1343
1344
# File 'lib/puppet/pops/types/types.rb', line 1337

def instance?(o, guard = nil)
  # The inferred type of a class derived from Array or Hash is either Runtime or Object. It's not assignable to the Collection type.
  if o.instance_of?(Array) || o.instance_of?(Hash)
    @size_type.nil? || @size_type.instance?(o.size)
  else
    false
  end
end

#iterable?(guard = nil) ⇒ Boolean

Returns:

  • (Boolean)

1360
1361
1362
# File 'lib/puppet/pops/types/types.rb', line 1360

def iterable?(guard = nil)
  true
end

#normalize(guard = nil) ⇒ Object


1333
1334
1335
# File 'lib/puppet/pops/types/types.rb', line 1333

def normalize(guard = nil)
  DEFAULT
end

#size_rangeObject

Returns an array with from (min) size to (max) size


1347
1348
1349
# File 'lib/puppet/pops/types/types.rb', line 1347

def size_range
  (@size_type || DEFAULT_SIZE).range
end