Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class THREAD_ATTRIBUTES General cluster: thread description: "Class defining thread attributes." create: make Ancestors ANY MEMORY_STRUCTURE* Queries default_priority: INTEGER_32 exists: BOOLEAN item: POINTER max_priority: INTEGER_32 min_priority: INTEGER_32 priority: INTEGER_32 shared: BOOLEAN stack_size: NATURAL_64 structure_size: INTEGER_32 Commands make_by_pointer (a_ptr: POINTER) mem_make set_priority (prio: [like priority] INTEGER_32) set_stack_size (s: [like stack_size] NATURAL_64) Constraints priority bounded
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org