+
Point of view
All features
class C_GARBAGE_COLLECTOR_STRUCTER
Summary
top
Direct parents
Inherit list: TYPE_MARK_VISITOR
Overview
top
Creation features
{C_GARBAGE_COLLECTOR_HEADER_COMPILER}
Features
{C_GARBAGE_COLLECTOR_HEADER_COMPILER}
{C_GARBAGE_COLLECTOR_STRUCTER}
{}
{AGENT_TYPE_MARK}
{ARRAY_TYPE_MARK}
{NATIVE_ARRAY_TYPE_MARK}
{NON_EMPTY_TUPLE_TYPE_MARK}
{USER_GENERIC_TYPE_MARK}
{WEAK_REFERENCE_TYPE_MARK}
{EMPTY_TUPLE_TYPE_MARK}
{LIKE_ARGUMENT_TYPE_MARK}
{LIKE_FEATURE_TYPE_MARK}
{LIKE_CURRENT_TYPE_MARK}
{CLIENT_TYPE_MARK}
{FORMAL_GENERIC_TYPE_MARK}
{ANY_TYPE_MARK}
{CLASS_TYPE_MARK}
{BOOLEAN_TYPE_MARK}
{CHARACTER_TYPE_MARK}
{INTEGER_TYPE_MARK}
{NATURAL_TYPE_MARK}
{POINTER_TYPE_MARK}
{REAL_TYPE_MARK}
{STRING_TYPE_MARK}
{}
for (lt: LIVE_TYPE): STRING
effective function
{C_GARBAGE_COLLECTOR_HEADER_COMPILER}
top
fill_struct (lt: LIVE_TYPE)
effective procedure
{C_GARBAGE_COLLECTOR_STRUCTER}
top
require
  • lt.writable_attributes /= Void
append_field_name
effective procedure
{}
top
visit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
{AGENT_TYPE_MARK}
top
require
  • visited /= Void
visit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
{ARRAY_TYPE_MARK}
top
require
  • visited /= Void
visit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
{NATIVE_ARRAY_TYPE_MARK}
top
require
  • visited /= Void
visit_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
{NON_EMPTY_TUPLE_TYPE_MARK}
top
require
  • visited /= Void
visit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
{USER_GENERIC_TYPE_MARK}
top
require
  • visited /= Void
visit_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK)
effective procedure
{WEAK_REFERENCE_TYPE_MARK}
top
require
  • visited /= Void
visit_empty_tuple_type_mark (visited: EMPTY_TUPLE_TYPE_MARK)
effective procedure
{EMPTY_TUPLE_TYPE_MARK}
top
require
  • visited /= Void
visit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
{LIKE_ARGUMENT_TYPE_MARK}
top
require
  • visited /= Void
visit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
{LIKE_FEATURE_TYPE_MARK}
top
require
  • visited /= Void
visit_like_current_type_mark (visited: LIKE_CURRENT_TYPE_MARK)
effective procedure
{LIKE_CURRENT_TYPE_MARK}
top
require
  • visited /= Void
visit_client_type_mark (visited: CLIENT_TYPE_MARK)
effective procedure
{CLIENT_TYPE_MARK}
top
require
  • visited /= Void
visit_formal_generic_type_mark (visited: FORMAL_GENERIC_TYPE_MARK)
effective procedure
{FORMAL_GENERIC_TYPE_MARK}
top
require
  • visited /= Void
visit_any_type_mark (visited: ANY_TYPE_MARK)
effective procedure
{ANY_TYPE_MARK}
top
require
  • visited /= Void
visit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
{CLASS_TYPE_MARK}
top
require
  • visited /= Void
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
effective procedure
{BOOLEAN_TYPE_MARK}
top
require
  • visited /= Void
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
effective procedure
{CHARACTER_TYPE_MARK}
top
require
  • visited /= Void
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
effective procedure
{INTEGER_TYPE_MARK}
top
require
  • visited /= Void
visit_natural_type_mark (visited: NATURAL_TYPE_MARK)
effective procedure
{NATURAL_TYPE_MARK}
top
require
  • visited /= Void
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
effective procedure
{POINTER_TYPE_MARK}
top
require
  • visited /= Void
visit_real_type_mark (visited: REAL_TYPE_MARK)
effective procedure
{REAL_TYPE_MARK}
top
require
  • visited /= Void
visit_string_type_mark (visited: STRING_TYPE_MARK)
effective procedure
{STRING_TYPE_MARK}
top
require
  • visited /= Void
make
effective procedure
{}
top
struct: STRING
writable attribute
{}
top
type: TYPE
writable attribute
{}
top
counter: INTEGER_32
writable attribute
{}
top
void_star: STRING
is "void*"
constant attribute
{}
top