ParaSail (язык программирования)

func  Hello_World ( var  IO )  - это  ввод-вывод . Println ( "Привет, мир" ); конец  func  Hello_World ;

интерфейс  BMap < Key_Type  is  Ordered <>;  Element_Type  является  назначаемым < >>  is  op  "[]" ()  - >  BMap ;  // Создаем пустую карту func  Insert ( var  BMap ;  Key  :  Key_Type ;  Value  :  Element_Type );  func  Find ( BMap ;  Key  :  Key_Type )  - >  необязательный  Element_Type ;  func  Delete ( var  BMap ;  Key  :  Key_Type );  func  Count ( BMap )  - >  Univ_Integer ; конечный  интерфейс  BMap ;

класс  BMap  - это interface  Binary_Node <>  is  // Простой "конкретный" модуль двоичного узла  var  Left  :  optional  Binary_Node ;  var  Right  :  необязательный  Binary_Node ;  const  Key  :  Key_Type ;  var  Value  :  необязательный  Element_Type ;  // null означает удаленный  конец  интерфейса  Binary_Node ; var  Tree  :  необязательный  Binary_Node ;  var  Count  : =  0 ; экспорт op  "[]" ()  - >  BMap  is  // Создание пустой карты  return  ( Tree  =>  null ,  Count  =>  0 );  конец  операции  "[]" ; FUNC  Insert ( вар  ВМАР ;  Key  :  key_type ;  Значение  :  ELEMENT_TYPE )  является  // Искать ключ, перезапись , если найден, вставка нового узла , если не  для  M  =>  ВМАР . Цикл дерева,  если M равно нулю, то // его еще нет на карте; добавьте его M : = ( Key => Key , Value => Value , Left => null , Right => null ); BMap                    . Счетчик  + =  1 ;  в противном  случае  ключ  =?  M . Ключ  из  [ #less ]  =>  продолжить  цикл  с  М . Слева ;  [ #Greater ]  =>  продолжить  цикл  с  М . Правильно ;  [ #equal ]  =>  // Ключ уже на карте;  // увеличить счетчик, если Value было нулевым;  если  М . Значение  равно нулю,  тогда  BMap . Считать + =  1 ;  конец,  если ;  // в любом случае перезапись поле Value  M . Значение  : =  Значение ;  возврат ;  конец  корпуса ;  конец,  если ;  конец  петли ;  end  func  Insert ; func  Find ( BMap ;  Key  :  Key_Type )  - >  необязательный  Element_Type  is  // Поиск ключа, возврат связанного значения, если он присутствует, или null в противном случае  для  M  =>  BMap . Дерево, в  то время как  M  не нулевой  цикл  case  Key  =?  M . Ключ  из  [ #less ]  =>  продолжить  цикл  с  М . Слева ;  [ #greater ]  =>  продолжить петля  с  М . Правильно ;  [ #equal ]  =>  // Нашел; возвращает значение  возвращаемого  M . Стоимость ;  конец  корпуса ;  конец  петли ;  // Не найдено в BMap  return  null ;  end  func  Find ; func  Delete ( var  BMap ;  Key  :  Key_Type )  is  // Поиск ключа; удалите связанный узел, если он найден  для  M  =>  BMap . Дерево в  то время как  M  не нулевой  цикл  случай  Key  =?  M . Ключ  из  [ #less ]  =>  продолжить  цикл  с  М . Слева ;  [ #Greater ]  =>  продолжить  цикл  с  М . Верно;  [ #equal ]  =>  // Нашел; если не более одного поддерева не равно нулю,  //  перезаписываем его; в противном случае установите для поля значения значение null // (чтобы избежать более сложной повторной балансировки).  если  М . Left  равно нулю ,  то  // Переместить правое поддерево в M  M  <==  М . Правильно ;  ELSIF  M . Право  равна нулю ,  то  // Переместить левое поддерево в M  M  <==  М . Слева ;  else  // Невозможно немедленно вернуть узел;  // вместо этого устанавливаем поле значения в null.  M .Значение  : =  null ;  конец,  если ;  //  Уменьшить счетчик BMap . Счетчик  - =  1 ;  конец  корпуса ;  конец  петли ;  // Не найдено на карте  end  func  Delete ; func  Count ( BMap )  - >  Univ_Integer  is  // Возвращает количество элементов на карте  return  BMap . Граф ;  end  func  Count ;конец  класса  BMap ;

импорт  PSL :: Core :: Random ; импорт  BMap ; func  Test_BMap ( Num  :  Univ_Integer ;  Seed  :  Univ_Integer )  is  // Тестирование карты на основе двоичного дерева  var  Ran  :  Random  : =  Start ( Seed );  // Запускаем последовательность случайных чисел // Объявление отображения целых чисел в строки  var  M  :  BMap < Key_Type  =>  Univ_Integer ,  Element_Type  =>  Univ_String >; M  : =  [];  // Инициализируем карту пустой картой for  I  in  1 .. Num * 2  прямой  цикл  // Добавление элементов на карту  const  Key  : =  Next ( Ran )  mod  Num  +  1 ;  const  Val  : =  "Val"  |  To_String ( I );  Println ( "Собираюсь вставить"  |  Ключ  |  "=>"  |  Val );  Вставка ( М ,  Ключ ,  Вал );  конец  цикла;  Println ( "Счетчик ="  |  Счетчик ( M )); for  I  in  1 .. Num  loop  // Поиск элементов на карте  const  Key  : =  Next ( Ran )  mod  Num  +  1 ;  Println ( "Ищу"  |  Ключ  |  ", найдено"  |  Найти ( M ,  Ключ ));  конец  петли ; for  I  in  1 .. Num / 3  loop  // Удаляем некоторые элементы с карты  const  Key  : =  Next ( Ran )  mod  Num  +  1 ;  Println ( «Об удалении»  |  Клавиша );  Удалить ( M ,  ключ );  конец  петли ;  Println ( "Счетчик ="  |  Счетчик ( M )); for  I  in  1 .. Num  forward  loop  //  Повторный поиск элементов на карте Println ( "Ищем"  |  I  |  ", найдено"  |  Find ( M ,  I ));  конец  петли ;end  func  Test_BMap ;