Saya sudah mulai belajar Ada beberapa minggu yang lalu. Saya mengerti bahwa limited dalam beberapa konteks menyatakan tipe terbatas, untuk siapa menyalin objek tidak diperbolehkan Dari Ada Reference Manual 2012 7.5 1/2< /a> Jenis terbatas adalah (tampilan) jenis di mana penyalinan (seperti untuk p....
ada
30 Juni 2021, 05:17
Tipe T adalah catatan nol yang diberi tag abstrak; ketik T1 adalah T baru dengan catatan nol; prosedur Get_Value (Nilai : keluar T'Class) adalah T1_Value : T1 := (null record); mulai Nilai := T'Class (.......
22 Juni 2021, 18:24
Menurut dokumentasi Spark2014, seseorang tidak diizinkan untuk menangani pengecualian dalam kode Spark. Dengan verifikasi, sebagian besar kesalahan run-time dapat dikecualikan agar terjadi di dalam program tertulis, tetapi pengecualian seperti Storage_Error tidak dapat dikecualikan. Karena Storage_E....
2 Juni 2021, 16:22
Saya perlu membuat paket generik, parameter formal yang harus menjadi jenis akses ke subprogram. Objek jenis ini diteruskan ke subrutin paket ini dan saya harus memeriksanya untuk kesetaraan nol. generic type Func_Type is private; package Gen_Package is function Check(Func : Func_Type) retur....
19 Mei 2021, 18:26
Saya masih bingung tentang cara kerja kata kunci all dalam jenis akses umum Apa perbedaan antara: type int_access is access all Integer; hingga type int_access is access Integer; Sebagai contoh: type int_ptr is access all Integer; Var : aliased Integer := 1; Ptr : int_ptr := Var'Access; Kode berf....
15 Mei 2021, 16:53
Jadi saya belajar tentang tipe yang ditentukan aplikasi di Ada dan sepertinya typedef dalam bahasa pemrograman C. Namun, jika saya membuat nama baru untuk tipe standar di C menggunakan typedef, saya masih bisa melakukan ini: typedef int my_int; int a = 5; my_int b = a; -- No problem Tetapi jika sa....
14 Mei 2021, 14:53
Saya dalam kesulitan mencoba membuat peta hash tidak terbatas, seperti yang saya inginkan sebagai objek spesifik utama yang mewarisi dari kelas abstrak, jadi Key_Type adalah kelas induk di seluruh kelas, tetapi saya tidak tahu apa yang harus dilakukan dengan Hash yang container membutuhkan, karena ....
13 Mei 2021, 12:07
Saya perlu menggunakan perpustakaan Ada dari Lua. Saya ingin menggunakan paket generik, yang, bersama dengan data lain, akan berisi fungsi yang akan mendaftar di Lua dengan nama berbeda tergantung pada data. Seperti yang saya pahami, saya harus mendeklarasikan fungsi ini sebagai "dengan Ekspor, Ko....
30 April 2021, 13:52
Fungsi shift harus menggeser karakter sesuai dengan nomor yang diberikan function shift_char(c: Character; n:Integer) return Character is I : Integer; begin if Is_Lower(c) then I:= ((((Character'Pos(c) rem 26) + n) mod 26) + 97); elsif Is_Upper(c) then ....
30 April 2021, 00:50
Saya mencoba mendeklarasikan parameter formal seperti: generic S : aliased String; package My_Package is Str : access constant String := S'Access; end; Tetapi kode ini tidak dapat dikompilasi. Mengapa saya tidak bisa membuat S alias?....
29 April 2021, 20:44
Saya mencoba membuat array yang menyimpan 3 array float yang dialokasikan secara dinamis. Ketika saya mencoba untuk mengalokasikan tiga array nanti di program saya, kompiler memberi tahu saya bahwa itu mengharapkan "Float_Array", tetapi "menemukan akses tipe ke subtipe "Float_Array"". Saya tidak y....
26 April 2021, 23:55
Saya terjebak pada masalah ini yang saya pikir sederhana. Saya memiliki definisi struktur dan fungsi yang mengambil turunan dari struktur ini. Bagaimana saya bisa memanggil fungsi ini di Ada? Ini adalah contoh kode:.......
c ada
25 April 2021, 17:53
Saya telah mencoba untuk mempelajari dasar-dasar penggunaan SPARK dan saya telah mempelajari kondisi sebelum dan sesudahnya, tetapi saya tidak yakin apakah mereka menggantikan validasi? misalnya fungsi untuk pesawat yang tidak akan beralih ke mode lepas landas kecuali semua pintu ditutup dan dikunci....
Misalkan saya memiliki konstanta berikut untuk mendefinisikan subtipe yang hanya menerima nilai yang valid dalam definisi rentangnya: type Unsigned_4_T is mod 2**4; valid_1 : constant Unsigned_4_T := 0; valid_2 : constant Unsigned_4_T := 1; invalid_1 : constant Unsigned_4_T := 2; valid_3 : co....
ada
22 April 2021, 16:33
Untuk sebuah proyek saat ini saya sedang mencoba menulis sistem bantuan pilot mini untuk pesawat imajiner. Tugasnya adalah mempelajari Ada Spark, bukan avionik. Saya telah memodelkan komponen pesawat yang ingin saya gunakan, melakukan beberapa tes di file utama untuk memeriksa komponen berfungsi s....
19 April 2021, 21:40
Saya membaca tentang pengetikan yang kuat di Ada a> berfokus pada pemeriksaan unit, dan memutuskan untuk menguji pendekatan naif dari diri saya sendiri: procedure Example is type Meters is new Float; type Meters_Squared is new Float; function "*" (Left, Right : Meters) return Meters_Squared ....
ada
17 April 2021, 20:50
Saya mencoba mencari beberapa informasi mengapa kata kunci new dapat digunakan untuk mengalokasikan objek secara dinamis tetapi tidak ada kata kunci seperti delete yang dapat digunakan untuk membatalkan alokasinya. Melalui penyebutan Ada.Unchecked_Deallocation di Ada Manual Referensi 2012, saya men....
16 April 2021, 23:39
Saya mengharapkan program ini untuk memunculkan kesalahan ketika saya memberi makan 3 sebagai nilai Skala yang valid, tetapi tidak berhasil: dengan Ada.Text_IO; gunakan Ada.Text_IO; predikat prosedur adalah tipe Skala adalah bilangan bulat baru .......
9 April 2021, 12:12
Saya sedikit pemula dalam hal Ada, dan saya mencoba untuk mendeklarasikan dan menggunakan array string dengan panjang yang berbeda. Menggunakan Ada'83 saya dapat mendeklarasikan sebuah array dari konstanta string panjang variabel sebagai berikut (contoh diambil dari Ada FAQ) type table is access Str....
5 April 2021, 03:43
Saya membuat fungsi generik dengan aspek Ekspor dan Konvensi. Kemudian saya membuat instance fungsi ini, tetapi berakhir di perpustakaan saya dengan akhiran 'r'. Mengapa ini terjadi dan bagaimana saya bisa memperbaikinya? Sebagai contoh: generic I : int; function Test_Generic return int with....
4 April 2021, 19:54
Baru untuk Ada tapi menyukainya sejauh ini. Saya mungkin mengajukan pertanyaan ini dengan cara yang noob karena saya agak bingung dengan menulis sesuatu yang berguna sebagai perampokan saya, tetapi begini: Saya memiliki sistem yang menggunakan Unbounded_String dan saya ingin menerapkan beberapa atu....
4 April 2021, 06:34
Saya masih bingung apa perbedaan antara var : Integer; dan var : aliased Integer;. Menurut wikibooks "jika Anda ingin mengambil akses dari variabel apa pun, Anda perlu memberi tahu kompiler bahwa variabel tersebut harus berada di memori dan tidak boleh berada di dalam register". Bukankah register ....
3 April 2021, 14:45
Ini pertanyaan sederhana, namun saya tidak dapat menemukan apa pun yang dapat membantu saya... Saya ingin membuat beberapa koneksi acak antara node grafik. Untuk melakukan ini saya ingin melakukan dua indeks acak dan kemudian menghubungkan node. .......
2 April 2021, 13:47
Fungsi matematika standar Ada seperti sin, cos, *, /, dll mendukung variabel tipe Float hanya sebagai input dan output. Apakah mungkin untuk membuat fungsi-fungsi ini menangani presisi ganda atau long_float untuk variabel input dan output?....
31 Maret 2021, 23:40
Saya membaca tentang tipe array di Ada dan merasa menarik bahwa, tidak seperti C++, bahasa ini memungkinkan ukurannya tidak diketahui pada waktu kompilasi. Saya tidak yakin bagaimana penerapannya, jadi saya menulis tes kecil: with Ada.Text_IO; use Ada.Text_IO; with Ada.Command_Line; use Ada.Command....
31 Maret 2021, 22:13