Class: Puppet::Pops::Types::PAnyType
- Inherits:
-
TypedModelObject
- Object
- TypedModelObject
- Puppet::Pops::Types::PAnyType
- Defined in:
- lib/puppet/pops/types/types.rb
Overview
Base type for all types
Direct Known Subclasses
PBinaryType, PCallableType, PCatalogEntryType, PCollectionType, PDefaultType, PMetaType, PRuntimeType, PScalarType, PSemVerRangeType, PStructType, PTupleType, PTypeAliasType, PTypeReferenceType, PTypeWithContainedType, PUndefType, PUnitType, PVariantType
Constant Summary collapse
- DEFAULT =
The default instance of this type. Each type in the type system has this constant declared.
PAnyType.new
Class Method Summary collapse
- .create(*args) ⇒ Object
-
.new_function(instance, loader) ⇒ Object
This default implementation of of a new_function raises an Argument Error.
- .register_ptype(loader, ir) ⇒ Object
-
.simple_name ⇒ String
Strips the class name from all module prefixes, the leading ‘P’ and the ending ‘Type’.
Instance Method Summary collapse
- #==(o) ⇒ Object
-
#accept(visitor, guard) ⇒ Object
Accept a visitor that will be sent the message ‘visit`, once with `self` as the argument.
-
#assignable?(o, guard = nil) ⇒ Boolean
Checks if o is a type that is assignable to this type.
-
#callable?(args_type, guard = nil) ⇒ Boolean
Returns ‘true` if this instance is a callable that accepts the given args_type type.
-
#callable_args?(callable, guard) ⇒ Boolean
private
Returns ‘true` if this instance is considered valid as arguments to the given `callable`.
-
#callable_with?(args, block = nil) ⇒ Boolean
Returns ‘true` if this instance is a callable that accepts the given args.
-
#check_self_recursion(originator) ⇒ Object
private
Called from the ‘PTypeAliasType` when it detects self recursion.
- #create(*args) ⇒ Object
- #eql?(o) ⇒ Boolean
-
#generalize ⇒ PAnyType
Generalizes value specific types.
- #hash ⇒ Object
-
#instance?(o, guard = nil) ⇒ Boolean
Returns true if the given argument o is an instance of this type.
-
#iterable?(guard = nil) ⇒ Boolean
Returns ‘true` if an instance of this type is iterable, `false` otherwise The method #iterable_type must produce a `PIterableType` instance when this method returns `true`.
-
#iterable_type(guard = nil) ⇒ PIterableType?
private
Returns the ‘PIterableType` that this type should be assignable to, or `nil` if no such type exists.
-
#kind_of_callable?(optional = true, guard = nil) ⇒ Boolean
private
Responds ‘true` for all callables, variants of callables and unless optional is false, all optional callables.
-
#name ⇒ String
Returns the name of the type, without parameters.
- #new_function(loader) ⇒ Object
-
#normalize(guard = nil) ⇒ PAnyType
Normalizes the type.
-
#really_instance?(o, guard = nil) ⇒ Integer
private
An object is considered to really be an instance of a type when something other than a TypeAlias or a Variant responds true to a call to #instance?.
-
#resolve(type_parser, loader) ⇒ PTypeAliasType
private
Called from the TypeParser once it has found a type using the Loader to enable that this type can resolve internal type expressions using a loader.
-
#roundtrip_with_string? ⇒ Boolean
Answers the question if instances of this type can represent themselves as a string that can then be passed to the create method.
- #simple_name ⇒ Object
- #to_alias_expanded_s ⇒ Object
- #to_s ⇒ Object
Methods inherited from TypedModelObject
_pcore_type, create_ptype, register_ptypes
Methods included from PuppetObject
#_pcore_all_contents, #_pcore_contents, #_pcore_init_hash, #_pcore_type
Class Method Details
.create(*args) ⇒ Object
82 83 84 85 |
# File 'lib/puppet/pops/types/types.rb', line 82 def self.create(*args) # NOTE! Important to use self::DEFAULT and not just DEFAULT since the latter yields PAnyType::DEFAULT args.empty? ? self::DEFAULT : new(*args) end |
.new_function(instance, loader) ⇒ Object
This default implementation of of a new_function raises an Argument Error. Types for which creating a new instance is supported, should create and return a Puppet Function class by using Puppet:Loaders.create_loaded_function(:new, loader) and return that result.
323 324 325 |
# File 'lib/puppet/pops/types/types.rb', line 323 def self.new_function(instance, loader) raise ArgumentError.new("Creation of new instance of type '#{instance.to_s}' is not supported") end |
.register_ptype(loader, ir) ⇒ Object
78 79 80 |
# File 'lib/puppet/pops/types/types.rb', line 78 def self.register_ptype(loader, ir) @type = Pcore::create_object_type(loader, ir, self, 'Pcore::AnyType', 'Any', EMPTY_HASH) end |
.simple_name ⇒ String
Strips the class name from all module prefixes, the leading ‘P’ and the ending ‘Type’. I.e. an instance of PVariantType will return ‘Variant’
285 286 287 288 289 290 291 |
# File 'lib/puppet/pops/types/types.rb', line 285 def self.simple_name if @simple_name.nil? n = name @simple_name = n[n.rindex('::')+3..n.size-5] end @simple_name end |
Instance Method Details
#accept(visitor, guard) ⇒ Object
Accept a visitor that will be sent the message ‘visit`, once with `self` as the argument. The visitor will then visit all types that this type contains.
90 91 92 |
# File 'lib/puppet/pops/types/types.rb', line 90 def accept(visitor, guard) visitor.visit(self, guard) end |
#assignable?(o, guard = nil) ⇒ Boolean
Checks if o is a type that is assignable to this type. If o is a ‘Class` then it is first converted to a type. If o is a Variant, then it is considered assignable when all its types are assignable
The check for assignable must be guarded against self recursion since ‘self`, the given type o, or both, might be a `TypeAlias`. The initial caller of this method will typically never care about this and hence pass only the first argument, but as soon as a check of a contained type encounters a `TypeAlias`, then a `RecursionGuard` instance is created and passed on in all subsequent calls. The recursion is allowed to continue until self recursion has been detected in both `self` and in the given type. At that point the given type is considered to be assignable to `self` since all checks up to that point were positive.
110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 |
# File 'lib/puppet/pops/types/types.rb', line 110 def assignable?(o, guard = nil) case o when Class # Safe to call _assignable directly since a Class never is a Unit or Variant _assignable?(TypeCalculator.singleton.type(o), guard) when PUnitType true when PTypeAliasType # An alias may contain self recursive constructs. if o.self_recursion? guard ||= RecursionGuard.new if guard.add_that(o) == RecursionGuard::SELF_RECURSION_IN_BOTH # Recursion detected both in self and other. This means that other is assignable # to self. This point would not have been reached otherwise true else assignable?(o.resolved_type, guard) end else assignable?(o.resolved_type, guard) end when PVariantType # Assignable if all contained types are assignable o.types.all? { |vt| assignable?(vt, guard) } when PNotUndefType if !(o.type.nil? || o.type.assignable?(PUndefType::DEFAULT)) assignable?(o.type, guard) else _assignable?(o, guard) end else _assignable?(o, guard) end end |
#callable?(args_type, guard = nil) ⇒ Boolean
Returns ‘true` if this instance is a callable that accepts the given args_type type
150 151 152 |
# File 'lib/puppet/pops/types/types.rb', line 150 def callable?(args_type, guard = nil) args_type.is_a?(PAnyType) && kind_of_callable? && args_type.callable_args?(self, guard) end |
#callable_args?(callable, guard) ⇒ Boolean
This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.
Returns ‘true` if this instance is considered valid as arguments to the given `callable`
168 169 170 |
# File 'lib/puppet/pops/types/types.rb', line 168 def callable_args?(callable, guard) false end |
#callable_with?(args, block = nil) ⇒ Boolean
Returns ‘true` if this instance is a callable that accepts the given args
159 160 161 |
# File 'lib/puppet/pops/types/types.rb', line 159 def callable_with?(args, block = nil) false end |
#check_self_recursion(originator) ⇒ Object
This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.
Called from the ‘PTypeAliasType` when it detects self recursion. The default is to do nothing but some self recursive constructs are illegal such as when a `PObjectType` somehow inherits itself
177 178 |
# File 'lib/puppet/pops/types/types.rb', line 177 def check_self_recursion(originator) end |
#create(*args) ⇒ Object
308 309 310 |
# File 'lib/puppet/pops/types/types.rb', line 308 def create(*args) Loaders.find_loader(nil).load(:function, 'new').call({}, self, *args) end |
#eql?(o) ⇒ Boolean
270 271 272 |
# File 'lib/puppet/pops/types/types.rb', line 270 def eql?(o) self.class == o.class end |
#generalize ⇒ PAnyType
Generalizes value specific types. Types that are not value specific will return ‘self` otherwise the generalized type is returned.
185 186 187 188 |
# File 'lib/puppet/pops/types/types.rb', line 185 def generalize # Applicable to all types that have no variables self end |
#hash ⇒ Object
249 250 251 |
# File 'lib/puppet/pops/types/types.rb', line 249 def hash self.class.hash end |
#instance?(o, guard = nil) ⇒ Boolean
Returns true if the given argument o is an instance of this type
257 258 259 |
# File 'lib/puppet/pops/types/types.rb', line 257 def instance?(o, guard = nil) true end |
#iterable?(guard = nil) ⇒ Boolean
Returns ‘true` if an instance of this type is iterable, `false` otherwise The method #iterable_type must produce a `PIterableType` instance when this method returns `true`
229 230 231 |
# File 'lib/puppet/pops/types/types.rb', line 229 def iterable?(guard = nil) false end |
#iterable_type(guard = nil) ⇒ PIterableType?
This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.
Returns the ‘PIterableType` that this type should be assignable to, or `nil` if no such type exists. A type that returns a `PIterableType` must respond `true` to `#iterable?`.
245 246 247 |
# File 'lib/puppet/pops/types/types.rb', line 245 def iterable_type(guard = nil) nil end |
#kind_of_callable?(optional = true, guard = nil) ⇒ Boolean
This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.
Responds ‘true` for all callables, variants of callables and unless optional is false, all optional callables.
219 220 221 |
# File 'lib/puppet/pops/types/types.rb', line 219 def kind_of_callable?(optional = true, guard = nil) false end |
#name ⇒ String
Returns the name of the type, without parameters
304 305 306 |
# File 'lib/puppet/pops/types/types.rb', line 304 def name simple_name end |
#new_function(loader) ⇒ Object
312 313 314 |
# File 'lib/puppet/pops/types/types.rb', line 312 def new_function(loader) self.class.new_function(self, loader) end |
#normalize(guard = nil) ⇒ PAnyType
197 198 199 |
# File 'lib/puppet/pops/types/types.rb', line 197 def normalize(guard = nil) self end |
#really_instance?(o, guard = nil) ⇒ Integer
This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.
An object is considered to really be an instance of a type when something other than a TypeAlias or a Variant responds true to a call to #instance?.
266 267 268 |
# File 'lib/puppet/pops/types/types.rb', line 266 def really_instance?(o, guard = nil) instance?(o, guard) ? 1 : -1 end |
#resolve(type_parser, loader) ⇒ PTypeAliasType
This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.
Called from the TypeParser once it has found a type using the Loader to enable that this type can resolve internal type expressions using a loader. Presently, this method is a no-op for all types except the {PTypeAliasType}.
209 210 211 |
# File 'lib/puppet/pops/types/types.rb', line 209 def resolve(type_parser, loader) self end |
#roundtrip_with_string? ⇒ Boolean
Answers the question if instances of this type can represent themselves as a string that can then be passed to the create method
331 332 333 |
# File 'lib/puppet/pops/types/types.rb', line 331 def roundtrip_with_string? false end |
#simple_name ⇒ Object
278 279 280 |
# File 'lib/puppet/pops/types/types.rb', line 278 def simple_name self.class.simple_name end |
#to_alias_expanded_s ⇒ Object
293 294 295 |
# File 'lib/puppet/pops/types/types.rb', line 293 def TypeFormatter.new.(self) end |
#to_s ⇒ Object
297 298 299 |
# File 'lib/puppet/pops/types/types.rb', line 297 def to_s TypeFormatter.string(self) end |