adactl - 클라우드에서 온라인

프로그램:

이름

adactl - Ada 규칙 컨트롤러

개요

어댑터 [옵션] 단위[+|-단위]|[@]파일 ... [-- ASIS_옵션]

어댑터 -시간 [지배 id... | 전체 | 명령 | 라이센스 | 목록 | 옵션 | 규칙 | 버전]

기술

AdaControl은 Ada 규칙 컨트롤러입니다. Ada 소프트웨어가 다음 요구 사항을 충족하는지 제어하는 데 사용됩니다.
여러 매개변수화 가능한 규칙의 요구 사항을 충족합니다. 이는 검사를 보완하기 위한 것이 아닙니다.
컴파일러가 만든 것이 아니라 특정 모범 사례 위반 사항을 검색하는 것입니다.
규칙을 확인하거나 일부 규칙이 프로젝트 전체에서 준수되는지 확인합니다.

AdaControl에 대한 상업적 지원이 가능합니다. 파일 참조
/usr/share/doc/adacontrol/support.txt. 산업용으로 AdaControl을 사용하려는 경우
프로젝트 또는 자신의 필요에 맞게 사용자 정의하거나 확장하려는 경우
다음 주소로 Adalog에 문의하세요. [이메일 보호].

스페셜 모드

-C 규칙 구문만 확인하세요. -d, -f, -l, -v, -x를 허용합니다.

-D 종속성을 생성합니다. -o, -p, -r, -s, -w, -x를 허용합니다.

-h 일반 도움말 메시지를 인쇄합니다.

-h 지배
설명 지배.

-h 모든 모든 규칙을 설명하세요.

-h 명령어|라이센스|옵션|버전
모든 명령어, 라이선스(GPL), 옵션 또는 버전 번호를 설명하세요.

-h 명부
GNAT 프로그래밍 스튜디오 내부에서 사용하기 적합한 형식으로 규칙을 나열하세요.

-h 규칙
일반 형식으로 규칙을 나열하세요.

-I 대화형 모드. 모든 옵션을 사용할 수 있습니다.

옵션

-d 디버그 모드를 활성화합니다.

-e 경고(검색)를 오류(확인)로 처리

-E 오류만 인쇄합니다(확인).

-f 파일
파일 규칙의 지정을 위해

-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | 없음
출력 형식을 선택하십시오.

-i 로컬 비활성화를 무시합니다.

-l 지배...
지정된 규칙에 따라 처리합니다. 아래를 참조하세요.

-o 파일
지정된 곳으로 출력을 보냅니다. 파일.

-p 파일
emacs ada-mode 프로젝트 파일(.adp)을 지정하세요

-r 재귀

-s Ada 단위 사양만 처리합니다.

-S 수평
통계를 생성합니다. 수평 0 .. 4 범위의 정수입니다.

-t 추적_파일
지정된 파일에 추적을 보냅니다.

-T 규칙의 실행 시간을 보고합니다.

-u 모든 매개변수를 Ada 단위로 처리합니다.

-v 상세 모드를 활성화합니다.

-w 출력 파일 덮어쓰기(-o 옵션과 함께 작동)

-x 내부 오류 발생 시 종료

규칙

다음 규칙은 다음에 대해 사용 가능합니다. -l 옵션 :
비정상 함수 반환 할당자
배열 선언 배리어 표현식
Case_Statement 문자
선언 Default_Parameter
직접 액세스되는 전역 중복 초기화 호출
엔티티 Entity_Inside_Exception
예외 전파 표현식
글로벌 참조 헤더 주석
부적절한 초기화 인스턴스화
매개변수가 부족합니다. 로컬 숨김
최대_공백_라인 최대_호출_심도
최대_줄_길이 최대_중첩
최대 크기 최대 명령문 중첩
Movable_Accept_Statements 다중 할당
명명 규칙 비정적
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage 객체 선언
Other_Dependencies 매개변수_별칭
매개변수 선언 잠재적으로 차단되는 작업
Pragmas Reduceable_Scope
표현_절 반환_유형
부작용 매개변수 Silent_Exceptions
단순화 가능한 표현식 단순화 가능한 명령문
특별_댓글 진술
스타일 종료 작업
Type_Initial_Values 선택 불가
단위 불필요 사용 조항
안전하지 않은 페어링된 통화 안전하지 않은 확인되지 않은 변환
사용법 Use_Clauses
With_Clauses

onworks.net 서비스를 사용하여 adactl을 온라인으로 사용하세요