/dports/devel/libspark2012/libspark2012-2012/src/ |
H A D | spark-ada-text_io-unbounded_string.ads | 54 with SPARK.Ada.Strings.Unbounded; 69 Name : in Strings.Unbounded.Unbounded_String; 70 Form : in Strings.Unbounded.Unbounded_String); 84 Name : in Strings.Unbounded.Unbounded_String; 85 Form : in Strings.Unbounded.Unbounded_String); 101 Item : in Strings.Unbounded.Unbounded_String); 109 (Item : in Strings.Unbounded.Unbounded_String); 118 (Item : in Strings.Unbounded.Unbounded_String); 130 Item : out Strings.Unbounded.Unbounded_String; 142 (Item : out Strings.Unbounded.Unbounded_String; [all …]
|
H A D | spark-ada-strings-unbounded-not_spark.adb | 21 package body SPARK.Ada.Strings.Unbounded.Not_SPARK is 28 Standard.Ada.Strings.Unbounded.Free 29 (X => Standard.Ada.Strings.Unbounded.String_Access (X)); 34 return Standard.Ada.Strings.Unbounded.To_String 43 return Standard.Ada.Strings.Unbounded.Slice 55 return Standard.Ada.Strings.Unbounded.Index 71 return Standard.Ada.Strings.Unbounded.Index 85 return Standard.Ada.Strings.Unbounded.Count 98 (Standard.Ada.Strings.Unbounded.Translate 109 Standard.Ada.Strings.Unbounded.Translate [all …]
|
/dports/devel/adabooch/bc-20160321/demos/ |
H A D | bcwords.ada | 37 with Ada.Strings.Unbounded; 45 Word : Ada.Strings.Unbounded.Unbounded_String; 73 (Ada.Strings.Unbounded.To_String (Item.Word) 91 with Ada.Strings.Unbounded; 94 with BC.Containers.Bags.Unbounded; 102 (Item => Ada.Strings.Unbounded.Unbounded_String, 103 "=" => Ada.Strings.Unbounded."="); 109 package BU is new Bags.Unbounded (Hash => Hash, 114 Word : Ada.Strings.Unbounded.Unbounded_String; 142 use type Ada.Strings.Unbounded.Unbounded_String; [all …]
|
H A D | configuration_demo_support.ads | 20 with Ada.Strings.Unbounded; 21 with BC.Containers.Maps.Unbounded; 27 (Item => Ada.Strings.Unbounded.Unbounded_String, 28 "=" => Ada.Strings.Unbounded."="); 32 (Key => Ada.Strings.Unbounded.Unbounded_String, 33 "=" => Ada.Strings.Unbounded."="); 35 function Hash (S : Ada.Strings.Unbounded.Unbounded_String) return Natural; 38 is new Abstract_String_Maps.Unbounded
|
/dports/devel/matreshka/matreshka-0.7.0/tools/configure/ |
H A D | configure.ads | 47 with Ada.Strings.Unbounded.Hash; 51 use Ada.Strings.Unbounded; 65 (Ada.Strings.Unbounded.Unbounded_String, 66 Ada.Strings.Unbounded.Unbounded_String, 67 Ada.Strings.Unbounded.Hash, 68 Ada.Strings.Unbounded."="); 77 Architecture_Name : constant Ada.Strings.Unbounded.Unbounded_String 78 := Ada.Strings.Unbounded.To_Unbounded_String ("ARCHITECTURE"); 79 RTL_Version_Suffix_Name : constant Ada.Strings.Unbounded.Unbounded_String 80 := Ada.Strings.Unbounded.To_Unbounded_String ("RTL_VERSION_SUFFIX"); [all …]
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/System.Threading.Tasks.Dataflow/CoreFxSources/Base/ |
H A D | DataflowBlockOptions.cs | 62 public const Int32 Unbounded = -1; field in System.Threading.Tasks.Dataflow.DataflowBlockOptions 69 private Int32 _maxMessagesPerTask = Unbounded; 71 private Int32 _boundedCapacity = Unbounded; 130 if (value < 1 && value != Unbounded) throw new ArgumentOutOfRangeException("value"); 140 … get { return (_maxMessagesPerTask == Unbounded) ? Int32.MaxValue : _maxMessagesPerTask; } 150 if (value < 1 && value != Unbounded) throw new ArgumentOutOfRangeException("value"); 263 if (value < 1 && value != Unbounded) throw new ArgumentOutOfRangeException("value"); 295 … get { return (_maxDegreeOfParallelism == Unbounded) ? Int32.MaxValue : _maxDegreeOfParallelism; } 378 private Int64 _maxNumberOfGroups = Unbounded; 401 … if (value <= 0 && value != Unbounded) throw new ArgumentOutOfRangeException("value"); [all …]
|
/dports/devel/ada-util/ada-util-b6612400/src/http/ |
H A D | util-http-tools.adb | 18 with Ada.Strings.Unbounded; 32 Data : Ada.Strings.Unbounded.Unbounded_String; 37 Ada.Strings.Unbounded.Append (Data, Name); 38 Ada.Strings.Unbounded.Append (Data, ": "); 39 Ada.Strings.Unbounded.Append (Data, Value); 40 Ada.Strings.Unbounded.Append (Data, ASCII.CR & ASCII.LF); 47 Ada.Strings.Unbounded.Append (Data, Response.Get_Body); 49 Content => Ada.Strings.Unbounded.To_String (Data));
|
/dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Threading.Tasks.Dataflow/src/Base/ |
H A D | DataflowBlockOptions.cs | 67 public const Int32 Unbounded = -1; field in System.Threading.Tasks.Dataflow.DataflowBlockOptions 74 private Int32 _maxMessagesPerTask = Unbounded; 76 private Int32 _boundedCapacity = Unbounded; 138 … if (value < 1 && value != Unbounded) throw new ArgumentOutOfRangeException(nameof(value)); 148 … get { return (_maxMessagesPerTask == Unbounded) ? Int32.MaxValue : _maxMessagesPerTask; } 158 … if (value < 1 && value != Unbounded) throw new ArgumentOutOfRangeException(nameof(value)); 293 … if (value < 1 && value != Unbounded) throw new ArgumentOutOfRangeException(nameof(value)); 325 … get { return (_maxDegreeOfParallelism == Unbounded) ? Int32.MaxValue : _maxDegreeOfParallelism; } 413 private Int64 _maxNumberOfGroups = Unbounded; 436 … if (value <= 0 && value != Unbounded) throw new ArgumentOutOfRangeException(nameof(value)); [all …]
|
/dports/www/geckodriver/mozilla-central-e9783a644016aa9b317887076618425586730d73/testing/geckodriver/cargo-crates/thin-vec-0.1.0/src/ |
H A D | range.rs | 2 use std::collections::Bound::{self, Excluded, Included, Unbounded}; 22 Unbounded in start() 25 Unbounded in end() 34 Unbounded in end() 40 Unbounded in start() 81 (Unbounded, _) => Unbounded, in start() 89 (_, Unbounded) => Unbounded, in end()
|
/dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/thin-vec/src/ |
H A D | range.rs | 2 use std::collections::Bound::{self, Excluded, Included, Unbounded}; 22 Unbounded in start() 25 Unbounded in end() 34 Unbounded in end() 40 Unbounded in start() 81 (Unbounded, _) => Unbounded, in start() 89 (_, Unbounded) => Unbounded, in end()
|
/dports/lang/rust/rustc-1.58.1-src/library/core/src/ops/ |
H A D | range.rs | 674 Unbounded, enumerator 685 Unbounded => Unbounded, in as_ref() 696 Unbounded => Unbounded, in as_mut() 727 Unbounded => Unbounded, in map() 750 Bound::Unbounded => Bound::Unbounded, in cloned() 832 Unbounded in start_bound() 835 Unbounded in end_bound() 845 Unbounded in end_bound() 852 Unbounded in start_bound() 901 (Unbounded, _) => Unbounded, in start_bound() [all …]
|
/dports/devel/ada-util/ada-util-b6612400/src/ |
H A D | util-properties-json.adb | 29 Base_Name : Ada.Strings.Unbounded.Unbounded_String; 31 Separator : Ada.Strings.Unbounded.Unbounded_String; 60 Ada.Strings.Unbounded.Append (Handler.Base_Name, Name); 61 Ada.Strings.Unbounded.Append (Handler.Base_Name, Handler.Separator); 74 Len : constant Natural := Ada.Strings.Unbounded.Length (Handler.Base_Name); 77 Ada.Strings.Unbounded.Delete (Handler.Base_Name, 112 Handler.Manager.Set (Ada.Strings.Unbounded.To_String (Handler.Base_Name) & Name, 118 P.Separator := Ada.Strings.Unbounded.To_Unbounded_String (Flatten_Separator); 158 Handler.Manager.Set (Ada.Strings.Unbounded.To_String (Handler.Base_Name) & Name, 165 P.Separator := Ada.Strings.Unbounded.To_Unbounded_String (Flatten_Separator);
|
H A D | util-strings-transforms.adb | 26 Result : Ada.Strings.Unbounded.Unbounded_String; 29 return Ada.Strings.Unbounded.To_String (Result); 37 Result : Ada.Strings.Unbounded.Unbounded_String; 40 return Ada.Strings.Unbounded.To_String (Result); 53 Result : Ada.Strings.Unbounded.Unbounded_String; 56 return Ada.Strings.Unbounded.To_String (Result);
|
H A D | util-dates-formats.ads | 19 with Ada.Strings.Unbounded; 130 procedure Format (Into : in out Ada.Strings.Unbounded.Unbounded_String; 138 procedure Format (Into : in out Ada.Strings.Unbounded.Unbounded_String; 152 procedure Append_Month (Into : in out Ada.Strings.Unbounded.Unbounded_String; 162 procedure Append_Day (Into : in out Ada.Strings.Unbounded.Unbounded_String; 168 procedure Append_Number (Into : in out Ada.Strings.Unbounded.Unbounded_String; 174 procedure Append_Time_Offset (Into : in out Ada.Strings.Unbounded.Unbounded_String;
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gnat.dg/ |
H A D | array3.adb | 4 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; 10 (Positive, Ada.Strings.Unbounded.Unbounded_String); 15 Name : Ada.Strings.Unbounded.Unbounded_String; 16 Signature : Ada.Strings.Unbounded.Unbounded_String; 29 Ada.Strings.Unbounded.To_Unbounded_String ("AAA"));
|