AVR Ada는 AVR 마이크로 제어기에 gcc의 Ada 부속을 쓸모 있는 하는 것을 작정이다.

Ada를 위한 솜털 모양 세트는 작전 아닙니다, 및, 또는, 그(것)들에 작전을 가진 가능성 이론의 놓 이론상 작전 그리고 작전을 가진 xor, +, 및 *, 고아한 솜털 모양 세트, intuitionistic 솜털 모양 세트, intuitionistic 솜털 모양 세트에 근거를 둔 솜털 모양 논리 및 가능성 이론을 신뢰 요인의 실시를 제공하는 도서관이다; 솜털 모양 수, 그(것)들에 작전을 가진 언어 가변의 전통적인 산수적인 작전에 정수 그리고 부동 소수점 둘 다 및 언어 가변 및 세트. Ada를 위한 솜털 모양 세트에는 string-oriented 입력/출력을 위한 지원이 있다.

"Ada를 위한 솜털 모양 세트"의 몇몇 주요 특징은 여기 있다:

· 작전을 가진 신뢰 요인 아닙니다, 그리고, 또는, xor, +, *;
· 가능성 이론의 놓 이론상 작전 그리고 작전을 가진 고아한 솜털 모양 세트;
· 그(것)들에 작전을 가진 Intuitionistic 솜털 모양 세트;
· intuitionistic 솜털 모양 세트 및 가능성 이론에 근거를 두는 솜털 모양 논리;
· 전통적인 산수적인 작전에 솜털 모양 수 정수와 부동 소수점 그들 둘 다;
· 크기가 나타난 솜털 모양 수;
· 그(것)들에 작전을 가진 언어 가변의 언어 가변 그리고 세트;
· String-oriented 입력/출력은 지원된다.

이 방출에서 새로운 무엇이:

· 부호는 모기 Ada 2005년 (GCC 4.0.2 20051125)와 시험되었다.
· 버그는 하강하는 멤버쉽 기능을 가진 잘못된 defuzzification에 선도한 Fuzzy.Linguistics.Sets.Defuzzify에서 고쳐졌다.

Ada를 위한 간격 산법은 Ada에게 간격의 실시를 제공하는 수학 도서관이다. 그것은 산수 및 상관적인 작전을 포함한다.

보기:

3상태 논리

포장 간격은 루트 포장으로 봉사하고 또한 간격에 상관적인 작전을 정의하게 필요한 3상태 논리를 제공한다. 논리 모형은 다음과 같음 정의된다:

논리 모형은 이다 (틀리고, 확실하고, 불확실한);

뒤에 오는 작전은 논리를 위해 정의된다:

기능 "아닙니다" (떠나는: 논리 논리적인) 반환;
기능 "와" (떠나는, 맞은: 논리 논리적인) 반환;
기능 "와" (떠나는: 논리; 권리: 부울 논리 연산)
반환 논리;
기능 "와" (떠나는: 부울 논리 연산; 권리: 논리)
반환 논리;
기능 "또는" (떠나는, 맞은: 논리 논리적인) 반환;
기능 "또는" (떠나는: 논리; 권리: 부울 논리 연산)
반환 논리;
기능 "또는" (떠나는: 부울 논리 연산; 권리: 논리)
반환 논리;
기능 "xor" (떠나는, 맞은: 논리 논리적인) 반환;
남겨두는 기능 "xor" (: 논리; 권리: 부울 논리 연산)
반환 논리;
남겨두는 기능 "xor" (: 부울 논리 연산; 권리: 논리)
반환 논리;

이 방출에서 새로운 무엇이:

· 모기 사용자 GPS를 위해 프로젝트 파일은 포함되었다;
· v 2.4를 Ada를 위한 측정 부대에 기지를 두는.

Ada를 위한 테이블은 도서관 제공한다 끈에 의해 색인이 붙은 테이블의 실시를이다. 이분 탐색은 알려진 길이의 이름을 위해 사용된다. 불명한 길이의 이름을 i.e 어떤 테이블을 사용하여 끈을 분석하기 위하여 테이블을 찾는 것도 가능하다. 테이블 성분은 아무 개인적인 모형나의 일 수 있다. 중요한 무신경한 테이블은 지원된다.

이 방출에서 새로운 무엇이:

· GPS 프로젝트 파일은 모기 사용자를 위해 추가되었다.

Ada 도서관을 위한 간단한 분대는 무료 소프트웨어이다; 그것을 재분배하고 그리고/또는 GNU 일반 대중 면허의 조건으로 무료 소프트웨어 기초에 의해 간행되는 것과 같이 변경할 수 있다; 면허의 버전 2, 또는 (선택권에) 어떤 최신 버전.

이 도서관은 유용할다 희망에서, 그러나 어떤 보장도 없이 분산된다; 특정한 목적을 위한 상품성 적당의 함축된 보장 조차 없이. GNU 일반 대중 추가 세부사항을 위해 허용할 것을 보십시오.

특별한 예외 또는 당신으로 실행할 수 있는 것 생성하기 위하여 그밖 파일이 이 부대의 generics를 instantiate, 그밖 파일에 이 부대를, 이 부대 그 자체로 GNU 일반 대중 면허에 의해 엄호되는 원인이 되지 않는다 실행할 수 있는 유래가 연결하는 경우에.

이 예외는 그러나 왜 실행가능 파일이 GNU public 면허에 의해 엄호될지도 모른지 어떤 그밖 이유도 무효로 하지 않는다.

이 방출에서 새로운 무엇이:

· 기능 Is_In는 두 배 연결된 웹 및 명부를 위해 추가되었다. GPS 프로젝트 파일은 모기 사용자를 위해 추가되었다.

Ada 도서관을 위한 측정 단위 Ada에게 크기가 나타난 가치의 실시를 제공한다. 장치 점검은 런타임에 컴파일러에 의해 밖으로 낙관하 않아지 한다. SI와 불규칙한 측정 부대는 지원된다.

섭씨 온도 같이 이동된 부대는 역시 지원된다. 끈에서 그리고로 다시 변환은 모든 각종 불규칙한 부대를 제공된다.

"Ada를 위한 측정 단위"의 몇몇 주요 특징은 여기 있다:

· 모형 부대는 물리적인 실재물의 차원을 표시한다. 모형 측정은 크기가 나타난 가치를 나타낸다;
· 혼합 부대 산법. SI (Le Systemee International dUnités) 부대에 있는 가치는 불규칙한 부대와 결과가 정의될 한 섞일 수 있다 (보병과 야드와 같은);
· 이동된 부대 지원 (이동한 부대의 널리 이용되는 경우는 섭씨의 정도이다);
· 모형 측정은 일반적, 부동 소수점 모형에 의해 parameterized이다. 모형 부유물에 근거를 둔 비 일반적인 버전은 또한 제공된다;
· 불규칙한 부대의 변환 지원 되도록 넓은 세트를 측정하는 끈.
· 지금 기본 단위 분대의 힘은 범위 -8..7에서 속인다. 이 제한에는 실시 이유 (많은 Ada 컴파일러에 있는 64 비트 모듈 정수 결핍)가 있다.

이 방출에서 새로운 무엇이:

· 이 방출의 초점은 GTK 지원에 있다.
· 그것은 부대 선택을 위해 드롭다운 결합을 크기가 나타난 가치를 편집 박스 도구를 제공한다.
· 도구는 명확한 차원에 강요될 수 있다.
· 크기가 나타난 가치의 트리 뷰 세포 renderer는 1개 차원 지도로 나타내기를 위한 견본 프로그램 뿐 아니라, 에서 또 다른 한개에 가치를 제공된다.

adanetcdf 계획사업은 netcdf 도서관에 묶어 Ada 95이다.

이 방출에서 새로운 무엇이:

· 선그림 그리고 매트릭스의 단 하나 외침 적출을 위한 추가된 `varead에서

Niliada는 Ada 95에 있는 객체 불완전하게 발음하 같이의 도서관이다.

그것은 실시간 쓰레기 수거원을 특색짓는다. Niliada 도서관은 성과 중시 환경에 있는 다량으로 multithreaded 응용을 위해 유용하다.

응용 표준 분대 도서관은 (ASCL) 재사용할 수 있는 Ada 포장을 세트를 함유한다. 초점은 경량 분대 그러나 윤곽 매니저 및 분석하는 모든 논쟁을 하는 CLI 애플리케이션 환경과 같은 더 큰 분대에 없다.

그것은 또한 실제 근원 부호은 별도로 개정하고 유지해 일 수 있는 리눅스를 위한 구조 환경을 포함한다. 그것은 Ada 프로그램을 위한 개인적인 소프트웨어 프로세스를 지원한다.

WIPORT는 각종 Windows에서 디스플레이된 객체의 기억을 간단한 GUI API를 제공하는 grx 도표 도서관 상공에 층이다.

이것은 하게 쉬운 오를 수 있는 포스트스크립트 대표에 다시 그리 및 printing를 만든다. WIPORT를 사용하여 grx 자료집 프로그램에 감사는, DOS 그래픽 장치, Linux+svgalib 및 Linux+X11에 동일하게 작동한다. WIPORT는 C에 쓰고 Ada 95 바인딩으로 온다.

AdaSockets는 Ada (TCP, 사용자 데이터그램 프로토콜 및 멀티캐스트)에게서 BSD 소켓을 사용하게 하는 도서관이다.

임명:

./configure % --prefix=
%는 설치하기 위하여 만든다

이것은 /lib/adasockets의 밑에 이 소프트웨어를 건설하고 설치할 것이다. adasockets 설정 프로그램 및 그것의 관련되는 사용자 설명서 페이지는 각각의 밑에 < 어떤 디렉토리든지 >/bin 및 < 아무 디렉토리나 >/man/설치될 것이다

보기 서브디럭토리에서는," tcprelay 이 포장이 어떻게 이용될 수 있는지 설명하는 보기를 "칭해 찾아낼 것이다.

GNU는 확실히 필요하지 않고 아니라 추천된다 만든다. 그것은 문서를 리빌드하고 싶은 경우에 필요하다.

이 방출에서 새로운 무엇이:

· 포장 고장은 지금, 보고를 위한 Dani에게 감사 그것 고쳐진다.

그럴 듯한 바인드 재산 도서관은 그럴 듯한/GTK+ 도서관 (또한 ACT corp.에 의해 GtkAda GTK 바인딩을 위한 Ada 95, GtkAda를 만들어졌다 포함한다)에 추가한다 바인드 재산의 실시를

바인드 재산은 속성이 변경할 때 그것으로 바운스된 속성이 자동적으로 그러므로 변경한다 그래야, 자동적이어 그들의 가치를 대응하게 지키기 위하여 몇몇 속성의 가치를 서로에게 동기화한. 또한 가치 전이 기능을 가진 바인딩은 지원된다.

바인드 재산은 매우 탁상용 응용과 증가 신뢰도의 개발 시간을 것과 같이 속성 변경의 시간이 걸리는 오류 빈발 쓰기 되부름 다루개에게서 해방한다 감소시킨다. (아마 틀린 속성 변경 다루개는 GUI 응용에 있는 과실의 수시로 원인이다!)

최신판 0.9.1는 알파 버전이다. 그것을 시험하십시오.

XML 세탁기술자는 XML 파일을 필터하고 유효하게 하는 커맨드 라인 공용품 이다.

XML 세탁기술자는 단단 Ada 9X와 이렇게 그것에 오히려 쓴다.

XML 세탁기술자는 xmllint와 유사한 XML 필터 및 validator 이다. 그것은 XML 파일의 superfluos namespace 선언을 제거할 수 있고, XML 실재물을 확장하고, XML 파일, 더 많은 것을 다시 코드화하고.

"XML 세탁기술자"의 몇몇 주요 특징은 여기 있다:

· 불필요한 namespace 선언을 제거한다;
· Unicode 지원;
· (방안에 더 많은 것: XML 타당성 검사, whitespace 제거는 재편성하는, 제거, 가공하는 XInclude XML canonicalization 다시 코드화하는, XML charset 그 자리에 신청한다 수정, 등등을 논평한다; XML 세탁기술자는 전 기능 커맨드 라인 XML 필터와 validator로 증가하기 위한 것이다.)

XML 세탁기술자는 xmllint 보충이 되기 위하여 개발된다.

이 방출에서 새로운 무엇이:

· 선택할 것이다 선택권은 산출에 있는 아포스트로피 그리고 따옴표를 도주하기 위하여 추가되었다.

DirectMedia 간단한 층은 OpenGL를 통해 오디오, 키보드, 마우스, 조이스틱, 3D 기계설비 제공하기 위하여 디자인된 십자가 플래트홈 다중 매체 도서관, 및 제 2 영상 framebuffer에 저수준 접근을이다. SDL는 "문명의 상을 받은 리눅스 포트를 포함하여 MPEG 재생 소프트웨어, 에뮬레이터 및 많은 대중적인 게임에 의해, 사용된다: 힘에 외침."

DirectMedia 간단한 층은 리눅스, Windows, BeOS, MacOS 고전, MacOS x, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX 및 QNX를 지원한다. 또한 Windows 세륨, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS 및 SymbianOS를 위한 부호, 그러나 공식적인 지원이, 있다.

SDL에는 C에 쓰고, 그러나 C++로 고유하게 작동하고, Ada, Eiffel, 자바, Lua, ML, Perl, PHP, 파이크, Python 및 루비를 포함하여 다른 몇몇 언어에 바인딩이, 있다.

이 방출에서 새로운 무엇이:

· 동적인 X11 선적은 지원하는 gcc 4로서만 가능하게 된다 - fvisibility=hidden. 이것은 기호 충돌과 관련있는 크래쉬를 고치고, Solaris와 IRIX에 건물을 허용한다.
· Xinerama를 가진 조정 빌딩 SDL는 무능하게 했다.
· RTLD_GLOBAL를 사용하여 조정 DRI OpenGL 도서관 선적은, 안으로 dlopen ().
· 추가된 pkgconfig 윤곽 지원.

SDL_mixer는 견본 다중채널 오디오 믹서 도서관이다. SDL_mixer는 동시에 MikMod 대중적인 MOD 하기의 어떤 수든지, 겁 남프랑스, Ogg Vorbis, 및 SMPEG MP3 도서관에 의해 섞인 음악의 단일 통로 플러스 16 비트 입체 음향 오디오의 채널 통신로를, 지원한다.

DirectMedia 간단한 층은 OpenGL를 통해 오디오, 키보드, 마우스, 조이스틱, 3D 기계설비 제공하기 위하여 디자인된 십자가 플래트홈 다중 매체 도서관, 및 제 2 영상 framebuffer에 저수준 접근을이다. 그것은 "문명의 상을 받은 리눅스 포트를 포함하여 MPEG 재생 소프트웨어, 에뮬레이터 및 많은 대중적인 게임에 의해, 사용된다: 힘에 외침."

DirectMedia 간단한 층은 리눅스, Windows, BeOS, MacOS 고전, MacOS x, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX 및 QNX를 지원한다. 또한 Windows 세륨, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS 및 SymbianOS를 위한 부호, 그러나 공식적인 지원이, 있다.

SDL에는 C에 쓰고, 그러나 C++로 고유하게 작동하고, Ada, Eiffel, 자바, Lua, ML, Perl, PHP, 파이크, Python 및 루비를 포함하여 다른 몇몇 언어에 바인딩이, 있다.

SDL_net 도서관은 견본 채트 클라이언트와 서버 응용과 더불어 작은 견본 십자가 플래트홈 네트워킹 도서관, 이다. 채트 클라이언트는 GUIlib GUI 기구 도서관을 이용한다.

DirectMedia 간단한 층은 OpenGL를 통해 오디오, 키보드, 마우스, 조이스틱, 3D 기계설비 제공하기 위하여 디자인된 십자가 플래트홈 다중 매체 도서관, 및 제 2 영상 framebuffer에 저수준 접근을이다. 그것은 "문명의 상을 받은 리눅스 포트를 포함하여 MPEG 재생 소프트웨어, 에뮬레이터 및 많은 대중적인 게임에 의해, 사용된다: 힘에 외침."

DirectMedia 간단한 층은 리눅스, Windows, BeOS, MacOS 고전, MacOS x, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX 및 QNX를 지원한다. 또한 Windows 세륨, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS 및 SymbianOS를 위한 부호, 그러나 공식적인 지원이, 있다.

SDL에는 C에 쓰고, 그러나 C++로 고유하게 작동하고, Ada, Eiffel, 자바, Lua, ML, Perl, PHP, 파이크, Python 및 루비를 포함하여 다른 몇몇 언어에 바인딩이, 있다.

SDL_ttf는 SDL 응용에 있는 TrueType 글꼴을 이용하는 것을 허용하는 견본 도서관이다. SDL_ttf 도서관은 주어진 TrueType 글꼴 파일을 위한 보기 끈을 디스플레이하는 보기 프로그램 "showfont로" 온다.

풀고 건축하십시오. 도서관을 사용하여 글꼴을 디스플레이하기 위하여 "fontfile"를 showfont 달리십시오.

DirectMedia 간단한 층은 OpenGL를 통해 오디오, 키보드, 마우스, 조이스틱, 3D 기계설비 제공하기 위하여 디자인된 십자가 플래트홈 다중 매체 도서관, 및 제 2 영상 framebuffer에 저수준 접근을이다. 그것은 "문명의 상을 받은 리눅스 포트를 포함하여 MPEG 재생 소프트웨어, 에뮬레이터 및 많은 대중적인 게임에 의해, 사용된다: 힘에 외침."

DirectMedia 간단한 층은 리눅스, Windows, BeOS, MacOS 고전, MacOS x, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX 및 QNX를 지원한다. 또한 Windows 세륨, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS 및 SymbianOS를 위한 부호, 그러나 공식적인 지원이, 있다.

SDL에는 C에 쓰고, 그러나 C++로 고유하게 작동하고, Ada, Eiffel, 자바, Lua, ML, Perl, PHP, 파이크, Python 및 루비를 포함하여 다른 몇몇 언어에 바인딩이, 있다.

SDL_image는 이미지 파일 로드 라이브러리이다. SDL_image는 SDL 표면으로 심상을 적재하고, 뒤에 오는 체재를 지원한다: BMP, PNM, LBM, PCX, XPM, GIF, JPEG, PNG, TGA.

풀고 건축하십시오. 도서관을 사용하여 심상을 디스플레이하기 위하여 "imagefile"를 showimage 달리십시오.
주: MacOS 고전에 건물인 경우에, PNG 지원을 위한 libpng 그리고 libz의 전 건축한 버전을 원할 수도 있다.

DirectMedia 간단한 층은 OpenGL를 통해 오디오, 키보드, 마우스, 조이스틱, 3D 기계설비 제공하기 위하여 디자인된 십자가 플래트홈 다중 매체 도서관, 및 제 2 영상 framebuffer에 저수준 접근을이다. 그것은 "문명의 상을 받은 리눅스 포트를 포함하여 MPEG 재생 소프트웨어, 에뮬레이터 및 많은 대중적인 게임에 의해, 사용된다: 힘에 외침."

DirectMedia 간단한 층은 리눅스, Windows, BeOS, MacOS 고전, MacOS x, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX 및 QNX를 지원한다. 또한 Windows 세륨, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS 및 SymbianOS를 위한 부호, 그러나 공식적인 지원이, 있다.

SDL에는 C에 쓰고, 그러나 C++로 고유하게 작동하고, Ada, Eiffel, 자바, Lua, ML, Perl, PHP, 파이크, Python 및 루비를 포함하여 다른 몇몇 언어에 바인딩이, 있다.

GlGuiA는 그래픽 사용자 인터페이스를 만들기를 위한 Ada 포장의 세트이다. 그것은 단추 가늠자, 나무, 메시지 박스 및 대화상자와 같은 그래픽 품목 (도구)의 완전한 연장할 수 있는 세트를 제공한다.

존재 그들에서 새로운 객체를 만드는 것은 오히려 쉬워야 한다. 플래트홈 독립을 얻기 위하여는, 도서관은 그림 프리미티브를 위한 OpenGl를 의지한다. 기본적인 사건과 Windows 관리는 Glfw를 사용하여 행해진다.

이 방출에서 새로운 무엇이:

· OpenGL 관련된 논고는 나뉘었다.
· 그것은 저수준 Windows와 사건 관리를 위해 더 이상 공급 과잉, 대신에 Glfw를 사용하지 않는다.
· 취급하는 매우 더 나은 글꼴, 및 기본적인 훈장은 원본에 추가되었다.
· 추가되는 전망 조작: 마우스 움직임 + 중간 단추 (팬 전망) 및 마우스 바퀴 (급상승 전망).
· 일방 통행 원본을 입력하는 선 등록 도구는 추가되었다.
· 마우스 클릭으로 활성화하고십시오, 로 입력하거나 좌 누르고, 취소한다 도주 또는 오른쪽 클릭으로 유효하게 하십시오.

AdaControl는 Ada 프로그램에 있는 구조물의 각종 종류의 사용을 검출하는 자유로운 (GMGPL) 공구이다. AdaControls 첫번째 목표는 작풍 프로그램 규칙의 적당한 사용법을 통제하기 위한 것이다, 그러나 또한 다양한 형태 프로그램 작풍의 사용 (또는 비사용을) 찾고기 위하여 또는 패턴을 디자인하기 위하여 때문에 강력한 공구 이용될 수 있기. 발견된 성분은 certaine 실재물, 선언의 발생 같이 아주 간단한에서, 또는, 특정 프로그램 패턴이 순종되고 있다는 것을 검증 같이 아주 정교한에, 계산서 구역 수색한다.

어느 성분을 또는 구성하는지 정의된다 규칙에 의해 발견된다; 다음에 나오는 테이블은 지금 AdaControl가 검사한 규칙의 요약을 준다. 덧붙여 말하면 규칙 이름이 subrules의 수를 준 후에 수, 있다고 하더라도. 모든 가능한 규칙 및 subrules를 고려하면, 이것은 AdaControl에 의해 지금 수행될 수 있는 216의 만든다!

· Abnormal_Function_Return는 기능은 항상 결과를 돌려보낸ㄴ다는 것을 확인하는 디자인 패턴을 통제한다.
· 배당자는 배당자의 ocurrences를, 모두, 또는 지정된 모형을 표적으로 하는 그들 통제한다.
· Array_Declarations (x2)는 소집 선언에 있는 몇몇 측정 규정을 통제한다.
· Barrier_Expressions 제어 요소는 보호한 등록 방벽의 표정에서 허용했다
· Case_Statement (x4)는 몇몇 측정 규정을 만일 계산서 통제한다.
· Control_Characters는 근원에서 제어 문자의 발생을 (탭 같이) 통제한다.
· 선언 (x75)는 특정 Ada 선언의 발생을 통제한다.
· Default_Parameter는 (또는 아닙니다) 기정값을 사용하는 주어진 매개변수를 위해 일반적인 instantiations와 아래풀그림 외침를 통제한다.
· Directly_Accessed_Globals는 모든 전역 변수는 전용 아래풀그림을 통해서서만 접근된ㄴ다는 것을 확인하는 디자인 패턴을 통제한다.
· 어떤 Ada 실재물의 실재물 통제 발생.
· Entity_Inside_Exception는 예외 다루개 안쪽에 실재물의 발생을 통제한다.
· 특정 아래풀그림 (또는 업무), 예외를 전파할 수 없거나 아무 동화도 예외를 전파할 수 없는 Exception_Propagation (x4) 통제.
· 표정 (x9)는 표정의 특정 양식의 사용법을 통제한다
· Global_References는 전역 변수에 비동시성 접근을 통제한다.
· Header_Comments (x2)는 각 모듈의 시작에 코멘트의 존재를 통제한다.
· If_For_Case 통제 만일 케이스문 대체될 수 있던 계산서인 경우에.
· Instantiations는 일반적인 instantiations를, 모두, 또는 지정된 실재물을 이용하는 그들 통제한다.
· Insufficient_Parameters는 가치가 충분한 정보를 제공하지 않는 외침에 있는 위치상 매개변수의 사용을 통제한다.
· Local_Hiding는 동일한 외부 것을 숨기는 현지 인식기의 발생을 통제한다.
· Local_Instantiation는 현지 범위에 있는 instantiations를 통제한다.
· Max_Blank_Lines는 연속적인 빈 선의 지정된 수 보다는 더 많은 것의 발생을 통제한다.
· Max_Call_Depth는 아래풀그림 외침의 최대 깊이를 통제한다.
· Max_Line_Length는 원시 행의 극대 길이를 통제한다.
· Max_Nesting 통제 범위는 주어진 한계 보다는 깊이 중첩했다.
· Max_Parameters (x6)는 통제한다 호출 가능한 실재물 (절차, 기능 및 등록)에 있는 매개변수의 최대 숫자를
· Max_Statement_Nesting (x5) 통제 합성 계산서는 주어진 한계 보다는 깊이 중첩했다.
· 받아들이 외부일 수 있던 계산서 Movable_Accept_Statements 제어문.
· Naming_Convention는 선언에 있는 허용한 (또는 금지하는) 이름의 양식을 통제한다.
· No_Safe_Initialization는 무엇이든 가변은 사용되기 전에 초기화된ㄴ다는 것을 확인하는 디자인 패턴을 통제한다.
· Non_Static (x3)는 색인 식별 가능한 제한, 또는 instantiations에서 비 정체되는 표정을 통제한다.
· Not_Elaboration_Calls는 포장 동화 부호 이상으로 장소에서 능력을 발휘한 아래풀그림 외침을 통제한다.
· Other_Dependencies는 표시된 그들 보다는 그밖 부대에 의미 속국을 통제한다
· Parameter_Aliasing는 아래풀그림을과 가변이 1개 [안으로] 매개변수에 밖으로 제공되는 등록 외침을 통제한다.
· Potentially_Blocking_Operations는 잠재적으로 보호한 작전 내의에서 작전을 막기의 사용을 통제한다.
· pragma는 특정 pragma의 사용을 통제한다.
· Real_Operators는 발생의 = 또는 실제 모형에/= 통신수를 통제한다.
· Reduceable_Scope는 깊이 중첩한 범위에 움직임일 수 있던 선언을 통제한다.
· Representation_Clauses는 대표 항목의 발생을 통제한다.
· Return_Type는 기능의 반환 모형으로 모형의 특정 종류의 사용을 통제한다.
· Side_Effect_Parameters는 부작용을 가진 기능을 부르는 일반적인 instantiations와 따라서 평가의 명령에 미결을 만드는 아래풀그림 외침를, 통제한다.
· Silent_Exceptions는 reraise 예외 도 아니다 외침에 의하여 표시된 아래풀그림 예외 다루개를 통제한다.
· Simplifiable_Expressions (x4)는 단순화될 수 있던 다양한 형태 표정의 발생을 통제한다.
· Special_Comments는 코멘트에 있는 특정 끈 패턴의 존재를 통제한다.
· 계산서 (x42)는 Ada 계산서의 발생을 통제한다.
· (다양한 형태 구조물이 작풍 규칙에서 일반적으로 추천한 x12) 통제를 유행에 따라 디자인 하십시오.
· Terminating_Tasks는 업무는 결코 종결하지 않는다는 것을 확인하는 디자인 패턴을 통제한다.
· Uncheckable (x3) 정적으로 그밖 규칙에 의하여 checkable 이지 않는 구조물을 통제한다
· Unnecessary_Use_Clause 통제는 포장의 아무 성분도 사용 항목의 범위내에서 참조되지 않는 포장에 항목을 사용한다.
· Unsafe_Paired_Calls는 특정 외침은 한 쌍이 된 allways다는 것을 확인하는 디자인 패턴을 통제한다 (P/V 절차 같이).
· Unsafe_Unchecked_Conversion는 다른 특기하지 않는 규모의 모형 사이 Unchecked_Conversion의 instantiations를 통제한다.
· 사용법 (x5)는 객체의 사용법을 주어진 조건에서 통제한다 (쓰여지는 포장 논고에서, 읽는 변경하는…).
· Use_Clauses는 표시한 포장을 제외하면 사용 항목의 발생을, 통제한다.
· With_Clauses (x3)는 항목을 가진의 적당한 사용법을 통제한다.

이 방출에서 새로운 무엇이:

· 이 방출은 머리말이 일치 주어진 패턴 논평한ㄴ다는 것을 검사하기 위하여 규칙을 추가한다.
· 그것에는 non-statically 분석 가능 구조물 때문에 가능한 틀린 포지티브 및 틀린 네거티브의 표시가 있다.
· 등록 방벽에서 허용된 구조물의 정밀한 정의가 있다 (Ravenscar 단면도의 를 포함하여 것).
· GPS로 더 나은 통합, 및 매우 더 많은 것이 있다.