/dports/devel/libspark2012/libspark2012-2012/src/ |
H A D | spark-ada-text_io-unbounded_string.adb | 19 with SPARK.Ada.Strings.Unbounded.Not_SPARK; 20 with SPARK.Ada.Text_IO.Not_SPARK; 22 package body SPARK.Ada.Text_IO.Unbounded_String is 36 Name => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String 38 Form => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String 59 Name => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String 61 Form => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String 95 Item => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String 112 Item => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String 129 Item => SPARK.Ada.Strings.Unbounded.Not_SPARK.To_String [all …]
|
H A D | spark-ada-strings-unbounded.adb | 18 with SPARK.Ada.Strings.Not_SPARK; 19 with SPARK.Ada.Strings.Maps.Not_SPARK; 21 package body SPARK.Ada.Strings.Unbounded is 344 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set 376 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set 422 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set 435 Set => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set 590 Left => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set 603 Left => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set 605 Right => SPARK.Ada.Strings.Maps.Not_SPARK.To_Character_Set [all …]
|
H A D | spark-crypto-debug.ads | 41 with SPARK; 42 with SPARK.Crypto; 46 package SPARK.Crypto.Debug 57 end SPARK.Crypto.Debug;
|
H A D | spark-ada-command_line-unbounded_string.adb | 20 package body SPARK.Ada.Command_Line.Unbounded_String is 26 return SPARK.Ada.Strings.Unbounded.String_To_Unbounded_String 32 return SPARK.Ada.Strings.Unbounded.String_To_Unbounded_String 36 end SPARK.Ada.Command_Line.Unbounded_String;
|
H A D | spark-crypto-hash-skein.ads | 46 with SPARK; 47 with SPARK.Crypto; 48 with SPARK.Unsigned; 51 use type SPARK.Unsigned.U64; 59 package SPARK.Crypto.Hash.Skein 284 end SPARK.Crypto.Hash.Skein;
|
H A D | spark-crypto.ads | 42 with SPARK; 43 with SPARK.Unsigned; 46 package SPARK.Crypto 80 end SPARK.Crypto;
|
H A D | spark-ada-command_line-unbounded_string.ads | 40 with SPARK.Ada.Strings.Unbounded; 45 package SPARK.Ada.Command_Line.Unbounded_String is 57 end SPARK.Ada.Command_Line.Unbounded_String;
|
H A D | spark-crypto-debug.adb | 28 with SPARK.Unsigned; 30 package body SPARK.Crypto.Debug is 89 end SPARK.Crypto.Debug;
|
H A D | spark-ada-strings-unbounded-not_spark.ads | 29 with SPARK.Ada.Strings.Maps.Not_SPARK; 31 package SPARK.Ada.Strings.Unbounded.Not_SPARK is 72 end SPARK.Ada.Strings.Unbounded.Not_SPARK;
|
H A D | spark-ada-text_io-unbounded_string.ads | 54 with SPARK.Ada.Strings.Unbounded; 59 package SPARK.Ada.Text_IO.Unbounded_String is 185 end SPARK.Ada.Text_IO.Unbounded_String;
|
H A D | spark-ada.ads | 41 package SPARK.Ada is 43 end SPARK.Ada;
|
H A D | spark.ads | 41 package SPARK is packspec 43 end SPARK;
|
H A D | spark-crypto-hash.ads | 43 package SPARK.Crypto.Hash 46 end SPARK.Crypto.Hash;
|
H A D | spark-ada-containers.ads | 41 package SPARK.Ada.Containers is 52 end SPARK.Ada.Containers;
|
H A D | spark-ada-strings-unbounded-not_spark.adb | 19 with SPARK.Ada.Strings.Not_SPARK; 21 package body SPARK.Ada.Strings.Unbounded.Not_SPARK is 115 end SPARK.Ada.Strings.Unbounded.Not_SPARK;
|
H A D | spark-unsigned.adb | 18 package body SPARK.Unsigned is 26 end SPARK.Unsigned;
|
H A D | spark-ada-strings.ads | 41 package SPARK.Ada.Strings is 56 end SPARK.Ada.Strings;
|
H A D | spark-ada-strings-not_spark.ads | 31 package SPARK.Ada.Strings.Not_SPARK is 56 end SPARK.Ada.Strings.Not_SPARK;
|
H A D | spark-ada-text_io-not_spark.ads | 29 package SPARK.Ada.Text_IO.Not_SPARK is 61 end SPARK.Ada.Text_IO.Not_SPARK;
|
H A D | spark-ada-strings-maps-not_spark.ads | 31 package SPARK.Ada.Strings.Maps.Not_SPARK is 72 end SPARK.Ada.Strings.Maps.Not_SPARK;
|
H A D | spark-ada-command_line.ads | 40 package SPARK.Ada.Command_Line 63 end SPARK.Ada.Command_Line;
|
H A D | spark-ada-command_line.adb | 20 package body SPARK.Ada.Command_Line is 34 end SPARK.Ada.Command_Line;
|
/dports/devel/spark/spark-2.1.1/sql/catalyst/src/test/scala/org/apache/spark/sql/catalyst/analysis/ |
H A D | AnalysisSuite.scala | 212 test("SPARK-9634: cleanup unnecessary Aliases in LogicalPlan") { 256 test("SPARK-10534: resolve attribute references in order by clause") { 271 test("SPARK-8654: invalid CAST in NULL IN(...) expression") { 278 test("SPARK-8654: different types in inlist but can be converted to a common type") { 285 test("SPARK-8654: check type compatibility error") { 292 test("SPARK-11725: correctly handle null inputs for ScalaUDF") { 336 test("SPARK-11863 mixture of aliases and real columns in order by clause - tpcds 19,55,71") { 360 test("SPARK-12102: Ignore nullablity when comparing two sides of case") { 411 test("SPARK-18058: union and set operations shall not care about the nullability" +
|
/dports/devel/spark/spark-2.1.1/docs/ |
H A D | ml-migration-guides.md | 19 (see [SPARK-13944](https://issues.apache.org/jira/browse/SPARK-13944)). 112 * [SPARK-14984](https://issues.apache.org/jira/browse/SPARK-14984): 114 * [SPARK-13784](https://issues.apache.org/jira/browse/SPARK-13784): 117 * [SPARK-13761](https://issues.apache.org/jira/browse/SPARK-13761): 120 * [SPARK-14829](https://issues.apache.org/jira/browse/SPARK-14829): 123 * [SPARK-14900](https://issues.apache.org/jira/browse/SPARK-14900): 125 * [SPARK-15644](https://issues.apache.org/jira/browse/SPARK-15644): 133 * [SPARK-7780](https://issues.apache.org/jira/browse/SPARK-7780): 138 * [SPARK-13429](https://issues.apache.org/jira/browse/SPARK-13429): 174 * [SPARK-7770](https://issues.apache.org/jira/browse/SPARK-7770): [all …]
|
H A D | ml-guide.md | 92 * [SPARK-18592](https://issues.apache.org/jira/browse/SPARK-18592): 97 * [SPARK-17870](https://issues.apache.org/jira/browse/SPARK-17870): 99 * [SPARK-3261](https://issues.apache.org/jira/browse/SPARK-3261): 101 * [SPARK-17389](https://issues.apache.org/jira/browse/SPARK-17389):
|