이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 gnatcheck 명령입니다.
프로그램:
이름
gnatcheck - GNAT 규칙 검사 도구
개요
gnatcheck [OPTION] ... 파일 이름 [-화물 gcc_스위치] [-규칙 규칙_스위치]
gnatcheck [OPTION]... -파일=파일 이름 [-화물 gcc_스위치] [-규칙 규칙_스위치]
기술
gnatcheck Ada 소스 텍스트와 규칙의 적합성을 확인하고 보고서 파일을 생성합니다.
나중에 분석하고 표준 출력에서도 사용할 수 있습니다.
첫 번째 형태에서, gnatcheck 지정된 Ada 소스 파일을 검사합니다(와일드카드는
허용 된).
두 번째 형태에서는, gnatcheck 지정된 파일에 나열된 Ada 소스 파일을 검사합니다.
gnatcheck GNAT용 ASIS 구현을 기반으로 개발된 ASIS 애플리케이션입니다. 처럼
따라서 트리 파일을 읽습니다(*.adt) 목표를 달성하기 위해 컴파일러에 의해 생성되며,
호출 gnatgcc 이합니다.
옵션
-a RTL 단위를 처리합니다.
-화물 gcc_스위치
패스 gcc_스위치 트리 파일을 생성할 때 GCC로.
-d 디버그 모드.
-dd GNAT 프로그래밍 스튜디오에서 사용하기 위한 진행률 표시기 모드입니다.
-h 기본 제공 규칙 목록을 인쇄합니다.
-l 보고서 파일의 전체 소스 위치 체인입니다.
-q 자동 모드: 표준 출력에서 탐지를 보고하지 않습니다.
-규칙 규칙_스위치
규칙_스위치 다음의 조합이 될 수 있습니다.
-에서=파일
다음에서 규칙 옵션 읽기 파일
+모두 모든 규칙을 켜세요.
-모두 모든 규칙을 해제하세요.
+R규칙 _id[:내 돈[,내 돈...]]
지정된 규칙을 켜고 선택적 매개변수를 전달합니다.
-R규칙 _id
지정된 규칙을 끕니다.
+R규칙 _id[:내 돈[,내 돈...]]
지정된 규칙에 대한 일부 검사를 해제합니다.
규칙 _id 다음과 같은 규칙 중 하나입니다. -h 옵션을 선택합니다.
-s 보고서 파일의 약식입니다.
-sn 섹션만 포함 n (n 1 .. 3) 보고서 파일에 있습니다.
-v 상세 모드.
onworks.net 서비스를 사용하여 온라인으로 gnatcheck를 사용하세요
