ParaSail (lenguaje de programación)

func Hello_World ( var IO ) is IO . Println ( "Hola, Mundo" ); end func Hello_World ;

interface BMap < Key_Type is Ordered <>; Element_Type is Assignable < >> is op "[]" () - > BMap ; // Crea un mapa vacíofunc Insertar ( var BMap ; Clave : Tipo_Clave ; Valor : Tipo_Elemento ); func Buscar ( BMap ; Clave : Tipo_Clave ) - > opcional Tipo_Elemento ; func Eliminar ( var BMap ; Clave : Tipo_Clave ); func Contar ( BMap ) - > Entero_Unit ; fin de la interfaz BMap ;

La clase BMap esinterface Binary_Node <> is // Un módulo de nodo binario "concreto" simple var Left : optional Binary_Node ; var Right : optional Binary_Node ; const Key : Key_Type ; var Value : optional Element_Type ; // null significa eliminado end interface Binary_Node ;var Árbol : opcional Binary_Node ; var Contador := 0 ;exportacionesop "[]" () - > BMap es // Crea un mapa vacío return ( Tree => null , Count => 0 ); end op "[]" ;func Insertar ( var BMap ; Clave : Tipo_Clave ; Valor : Tipo_Elemento ) es // Buscar Clave, sobrescribir si se encuentra, insertar nuevo nodo si no para M => BMap . Tree loop si M es nulo entonces // No está ya en el mapa; agregarlo M := ( Clave => Clave , Valor => Valor , Izquierda => nulo , Derecha => nulo ); BMap . Count += 1 ; else case Clave =? M . Clave de [ #menor ] => continuar bucle con M . Izquierda ; [ #mayor ] => continuar bucle con M . Derecha ; [ #igual ] => // La clave ya está en el mapa; // incrementar contador si Valor era nulo; si M . Valor es nulo entonces BMap . Count += 1 ; fin si ; // en cualquier caso sobrescribir el campo Valor M . Valor := Valor ; retornar ; fin caso ; fin si ; fin bucle ; fin func Insertar ;func Find ( BMap ; Key : Key_Type ) - > optional Element_Type is // Buscar la clave, devolver el valor asociado si está presente, o null en caso contrario for M => BMap . Tree while M not null loop case Key =? M . Key of [ #less ] => continue loop with M . Left ; [ #greater ] => continue loop with M . Right ; [ #equal ] => // Encontrado; devolver el valor return M . Value ; end case ; end loop ; // No encontrado en BMap return null ; end func Find ;func Delete ( var BMap ; Key : Key_Type ) is // Buscar Key; eliminar el nodo asociado si se encuentra for M => BMap . Tree while M not null loop case Key =? M . Key of [ #less ] => continue loop with M . Left ; [ #greater ] => continue loop with M . Right ; [ #equal ] => // Encontrado; si como máximo un subárbol no es nulo, sobrescribirlo // de lo contrario, establecer su campo de valor a nulo // (para evitar un reequilibrio más complejo). if M . Left is null then // Mover el subárbol derecho a M M <== M . Right ; elsif M . Right is null then // Mover el subárbol izquierdo a M M <== M . Left ; else // No se puede reclamar el nodo inmediatamente; // establecer el campo de valor a nulo en su lugar. M . Value := null ; end if ; // Decrementar el contador BMap . Count -= 1 ; end case ; end loop ; // No se encuentra en el mapa fin de la función Eliminar ;func Count ( BMap ) - > Univ_Integer is // Devuelve el recuento del número de elementos en el mapa return BMap . Count ; end func Count ;fin de la clase BMap ;

import PSL :: Core :: Random ; import BMap ; func Test_BMap ( Num : Univ_Integer ; Seed : Univ_Integer ) is // Prueba el mapa basado en árbol binario var Ran : Random := Start ( Seed ); // Inicia una secuencia de números aleatorios// Declara un mapa de enteros a cadenas var M : BMap < Key_Type => Univ_Integer , Element_Type => Univ_String >;M := []; // Inicializa el mapa como un mapa vacíopara I en 1 .. Num * 2 bucle hacia adelante // Agregar elementos al mapa const Key := Next ( Ran ) mod Num + 1 ; const Val := "Val" | To_String ( I ​​); Println ( "A punto de insertar " | Key | " => " | Val ); Insert ( M , Key , Val ); fin del bucle ; Println ( "Cantidad = " | Count ( M ));para I en 1 .. Num bucle // Buscar elementos en el mapa const Key := Next ( Ran ) mod Num + 1 ; Println ( "Buscando " | Key | ", encontrado " | Find ( M , Key )); fin del bucle ;para I en 1 .. Num / 3 bucle // Eliminar algunos elementos del mapa const Key := Next ( Ran ) mod Num + 1 ; Imprimir ( "A punto de eliminar " | Key ); Eliminar ( M , Key ); fin del bucle ; Imprimir ( "Cantidad = " | Count ( M ));para I en 1 .. Num bucle hacia adelante // Buscar de nuevo elementos en el mapa Imprimir ( "Buscando " | I | ", encontrado " | Find ( M , I )); fin del bucle ;fin de la función Test_BMap ;