ada

1열

1답변

프로젝트에 문제가 있습니다. 패키지 연결 및 작업 가시성 문제가 있습니다. bufor1.ads에서 나는 그런 Wydaj 함수를 호출 할 다른 광고 파일 package bufor1 is task type Bufor is entry Przyjmij(Wyrob: in Typ_Wyrobow; Numer: in Integer); ent

1열

1답변

Ada95 : 베르누이 수에 대한 순환 함수

베르누이 양수의 N 번째 값을 계산하는 함수를 작성하려고합니다. 나는이 재귀 식으로하고 싶지 : 지금까지 시도했습니다 무엇 : (! 즉, F (N) N을 의미) F가 계승 기능이 function Get_B(N : in Integer) return Float is X,Bn,Bk:Float; begin if N = 0 then

1열

1답변

배열

좀 에이다 코드에 다음과 같은 기록이 : 나는 내 기록에 익명의 배열을 가질 수 없습니다 물론 type My_Type (Width, Height : Positive) is record Data : array (1 .. Height) of String (1 .. Width); -- Some other stuff end

1열

1답변

Ada 2012 맵을 정적으로 초기화하는 방법

레벨을 구축하는 프로 시저에서 참조 할 수있는 전역 맵을 만들려고합니다. 이 글로벌 맵을 사양 (.ads)에 정적으로 채울 수 있으면 이상적입니다. 여기에 내 일부 깨진 코드가 정적 초기화 부분을 수행하는 방법을 생각하려고 다음과 같이 package Positive_to_Positive_Type is new Ada.Containers.Formal_Order

1열

2답변

Ada 태그가 지정된 유형의 2D 배열 필드 만들기

Ada에서 Java/C 클래스를 만들려고합니다. 내가 조사한 바에 따르면 동등한 것이 Tagged Record가 될 것이다. 아래의 코드를 사용하여 2D Array 필드를 만들고 싶습니다. 다음과 같은 오류가 발생합니다. 코드 : package Foo is type Bar is tagged record field1 : Integer;

1열

1답변

는 내가 좋아하는 뭔가를

경고 "몸이 필요"다음이 경고를 할 무엇 info: in instantiation at a-cohama.ads:73 info: "ID_Count_Hashed_Map" requires body ("Has_Element" requires completion) info: in instantiation at a-cohama.ads:79 info: "ID_Co

1열

1답변

GPRBuild가 Linux 용 Windows 서브 시스템에서 호출 될 때 gprconfig를 찾지 못합니다.

Windows 10 시스템에 GNAT GPL 2017을 설치했습니다. 이제 Linux 용 Windows 서브 시스템에서 실행되는 Linux 쉘에서 컴파일러를 호출하려고합니다. GPRBuild 작동하지 않는 사용, 그러나 $ gnatmake.exe -P yaml.gpr : $ gprbuild.exe -P yaml.gpr gprbuild: could no

0열

1답변

Ada 라이브러리에서 Log_Level을 설정하는 방법

프로젝트에서 처음으로 alog 라이브러리를 사용하고 있습니다. 모든 후속 로그 명령에 대해 로그 수준을 설정하는 방법을 이해하는 데 문제가 있습니다. with Alog; use Alog; with Alog.Logger; with Alog.Policy_DB; use Alog.Policy_DB; procedure Test_Loglevel

1열

1답변

gdb 디버깅 - 사용중인 소스 디렉토리 나열

gdb가 ada 프로그램을 디버깅하는 중 소스를 찾을 수없는 것 같습니다. 실행중인 실행 파일이 방금 생성 된 실행 파일인지 확인했습니다. 그것이 사용되는 소스 디렉토리 말해 gdb를 얻을 수있는 방법이 있나요 (gdb) attach 804 0x0000003de620b68c in ??() (gdb) frame 1 #1 0x0000000000000000

0열

1답변

SPARK.Text_IO 절차의 전제 조건은 내가 2017</p> <p>내 문제 SPARK의 발견에 spark_io 예에서 SPARK.Text_IO을 사용하고

를 개최한다 증명하는 방법은 SPARK.Text_IO 절차의 많은 전제 조건을 가지고있다가 I 증명하려고 시도하는 법을 알지 못한다. 표준 입력이 읽기 쉽고 파일 끝에 없다는 것이다. 아래 코드에서 볼 수 있듯이 SPARK.Text_IO 프로 시저 (이 경우 Get_Immediate)의 전제 조건을 호출 프로 시저의 전제 조건에 추가하여 해당 전제 조건이