+
Point of view
FEATURE_ACCUMULATOR
class FEATURE_STAMP
Summary
top
Class invariant
top
Overview
top
creation features
exported features
  • is_equal (other: FEATURE_STAMP): BOOLEAN
    Is other attached to an object considered equal to current object?
writable attribute
top
The corresponding unique one for this name.
has_anonymous_feature_for (a_type: TYPE): BOOLEAN
effective function
top
has_type (a_type: TYPE): BOOLEAN
effective function
top
hash_code: INTEGER_32
writable attribute
top
The hash-code value of Current.
accept (visitor: FEATURE_STAMP_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
rename_notify (context_type: TYPE, parent_type: TYPE, parent_edge: PARENT_EDGE, parent_feature_stamp: FEATURE_STAMP)
effective procedure
top
has_root (type: TYPE): BOOLEAN
effective function
top
add_root (type: TYPE)
effective procedure
top
add_anonymous_feature (an_af: ANONYMOUS_FEATURE, a_type: TYPE)
effective procedure
top
anonymous_feature (a_type: TYPE): ANONYMOUS_FEATURE
effective function
top
resolve_static_binding_for (declaration_type: TYPE, new_type: TYPE): FEATURE_STAMP
effective function
top
Assuming that name is the feature called in declaration_type, looks for the corresponding one to be called in new_type.
no_rename: BOOLEAN
effective function
top
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): FEATURE_STAMP
effective function
top
is_equal (other: FEATURE_STAMP): BOOLEAN
deferred function
top
Is other attached to an object considered equal to current object?