Index

Package: Trigger_Spawners

Description

package Tools.Trigger_Spawners is

Classes

Trigger_Spawner

type Trigger_Spawner is new Tool with private;

Ancestors:

Primitive operations:

Apply (overriding Tools.Apply)
Objects.Adjust (Inherited)
Objects.Construct (Inherited)
Objects.Delete (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
Objects.To_String (Inherited)

Subprograms & Entries

Create_Trigger_Spawner

function Create_Trigger_Spawner return A_Tool;