Home
last modified time | relevance | path

Searched refs:Unbounded (Results 26 – 50 of 4114) sorted by relevance

12345678910>>...165

/dports/devel/libspark2012/libspark2012-2012/src/
H A Dspark-ada-text_io-unbounded_string.ads54 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 Dspark-ada-strings-unbounded-not_spark.adb21 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 Dbcwords.ada37 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 Dconfiguration_demo_support.ads20 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 Dconfigure.ads47 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 DDataflowBlockOptions.cs62 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 Dutil-http-tools.adb18 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 DDataflowBlockOptions.cs67 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 Drange.rs2 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 Drange.rs2 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 Drange.rs674 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 Dutil-properties-json.adb29 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 Dutil-strings-transforms.adb26 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 Dutil-dates-formats.ads19 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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 Darray3.adb4 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"));

12345678910>>...165