디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

Ada 프로그래밍: 부록: Clair 코딩 스타일 가이드

나르시갤로그로 이동합니다. 2025.08.11 00:28:05
조회 78 추천 0 댓글 0

부록: Clair 코딩 스타일 가이드


들여쓰기: 탭 대신 2개의 공백을 사용하여 들여쓰기를 합니다.

  • 예약어 및 애스펙트: snake_case (전체 소문자)를 사용합니다.
    • 근거: 언어 키워드 및 애스펙트를 사용자가 정의한 식별자와 구별하기 위함입니다.
    • 예시: package, is, begin, end, if, procedure, with, pre, post

프라그마: 프라그마 이름과 해당 컨벤션 식별자에 snake_case (전체 소문자)를 사용합니다.

  • 근거: 다른 언어 키워드 및 속성과의 일관성을 위함입니다. 이는 프라그마 자체(예: import)와 표준 컨벤션 식별자(예: c, intrinsic) 모두에 적용됩니다.
  • 예시: pragma import (c, my_c_func, "my_c_func"), pragma convention (c, My_Data_Type)

공백:

  • 서브프로그램 호출 및 선언: 서브프로그램 이름과 여는 괄호 ( 사이에 단일 공백을 사용합니다.
    • 근거: 서브프로그램 이름을 타입 변환이나 괄호를 사용하는 다른 언어 구조와 시각적으로 구별하여 전체적인 코드 명확성을 향상시키기 위함입니다.
    • 예시 (호출): Clair.Error.get_error_message (errno_code);
    • 예시 (선언): procedure exit_process (status : Integer := EXIT_SUCCESS);
  • 범위 연산자 (..): 범위 연산자의 양쪽에 단일 공백을 사용합니다.
    • 근거: 연산자를 범위 경계와 시각적으로 분리하여 혼동을 방지하고, 특히 부동 소수점 또는 고정 소수점 리터럴과 함께 사용할 때 가독성을 향상시키기 위함입니다.
    • 예시 (타입 선언): range 0.0 .. 100.0
    • 예시 (루프): for i in 1 .. 10 loop

변수, 서브프로그램 및 엔트리: snake_case (밑줄이 있는 전체 소문자)를 사용합니다.

  • 근거: 모든 사용자가 정의한 실행 가능하거나 데이터를 보유하는 식별자에 대해 일관되고 읽기 쉬운 스타일을 유지하기 위함입니다.
  • 예시 (변수 및 서브프로그램): my_variable, get_pid
  • 예시 (엔트리): get_item, put_message ada protected body Buffer is entry get_item (item : out Data) when not is_empty is -- ... end get_item; end Buffer;
  • 반환값 변수: 서브프로그램의 반환값, 특히 상태 코드(예: 0, -1)를 담는 변수에는 retval 사용을 선호합니다.
    • 근거: 이는 result 식별자와의 잠재적 충돌을 피하는 널리 알려진 관례입니다. 특정 데이터를 나타내는 반환값의 경우 bytes_written, new_fd와 같이 더 설명적인 이름을 사용합니다.
    • 예시: retval := dlfcn_h.dlclose (self.handle);

속성: snake_case (전체 소문자)를 사용합니다.

  • 근거: 언어에서 정의한 속성을 사용자가 정의한 타입 및 서브프로그램과 구별하기 위함입니다.
  • 예시: errmsg'length, c_path'address

타입, 서브타입, 예외 및 보호 객체:

  • 단일 단어 식별자에는 Pascal_Case를 사용합니다.
    • 근거: File과 같은 패키지 내에서 Descriptor와 같은 이름은 File.Descriptor로 사용될 때 자명합니다. File.File_Descriptor와 같이 불필요한 접두사를 추가하면 가독성을 해칠 수 있습니다.
    • 예시: Descriptor, Flags, Object
  • 여러 단어로 된 식별자에는 Pascal_Case_With_Underscores를 사용합니다.
    • 근거: 여러 단어로 된 타입 이름 내의 단어들을 명확하게 구별하여 가독성을 향상시키기 위함입니다.
    • 예시: Library_Load_Error, Symbol_Lookup_Error

상수:

  • 컴파일 타임 상수: UPPER_CASE_WITH_UNDERSCORES를 사용합니다. 이 규칙은 표준 라이브러리의 상수를 포함한 모든 정적 상수에 적용됩니다.
    • 근거: 정적인 고정 값을 다른 모든 식별자와 명확하게 구별하기 위함입니다.
    • 프로젝트 정의 예시: EXIT_SUCCESS, MAX_BUFFER_SIZE
    • 표준 라이브러리 예시: System.NULL_ADDRESS, Interfaces.C.NUL, Interfaces.C.Strings.NULL_PTR
  • 런타임 상수: snake_case (변수처럼)를 사용합니다.
    • 근거: 서브프로그램 내에서 동적 값(예: 매개변수)으로 초기화되는 상수에 사용됩니다. 이를 '읽기 전용 변수'로 취급합니다.
    • 예시: final_message : constant String := "Error: " & message;

패키지: Pascal_Case를 사용합니다.

  • 예시: Clair.Process
  • 예외: 두 글자로 구성된 Dl의 경우 DL로 표기합니다. (예: Clair.DL, Clair.Dl Clair.D1처럼 보일 수 있음).

표준 라이브러리 명명 규칙:

  • Interfaces.C: Interfaces.C 패키지 및 그 하위 패키지의 타입과 서브프로그램은 C 표준 라이브러리의 명명 규칙과 일치하도록 snake_case를 사용해야 합니다. 이 패키지의 상수는 컴파일 타임 상수에 대한 전역 UPPER_CASE 규칙을 따릅니다.
    • 근거: Ada와 C 간의 명확하고 일관된 정신적 매핑을 유지하면서 프로젝트의 모든 상수가 균일한 모양을 갖도록 보장하기 위함입니다.
    • 예시 (타입/서브프로그램): Interfaces.C.int, Interfaces.C.char_array, Interfaces.C.Strings.chars_ptr
    • 예시 (상수): Interfaces.C.NUL, Interfaces.C.Strings.NULL_PTR


추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 존재만으로도 웃음주는 최고의 '웃수저' 스타는? 운영자 25/08/25 - -
2883126 대부분 저 사람도 늙기전에 어렸을땐 이렇지 않았을텐데 ㅆㅇㅆ(124.216) 08.21 51 0
2883124 내가 느끼는게 대부분 별 볼일 없는 코더로 끝나는구나 10년차 20년차도 [2] ㅆㅇㅆㅆ(124.216) 08.21 85 1
2883120 나 대학 정보보안과 원서 넣을건대 코딩공부 뭐부터 해야해? ㅇㅇ(221.161) 08.21 64 0
2883112 불명예스런 마귀소굴임을 이른 시기에 알아차려야했어요. 프갤러(220.84) 08.20 46 0
2883110 요즘 엠지들 유행패션이라는데 [1] ㅇㅇ(14.5) 08.20 106 0
2883100 영혼에 악귀가 불지르고갔네요. 프갤러(220.84) 08.20 54 0
2883099 부트캠프히는 중인데 여기 애들 학벌이 왜이럼? [2] ㅇㅇ(220.85) 08.20 94 0
2883098 얼마나 할 일이 없으면 프갤러(59.16) 08.20 51 0
2883095 ㅋㅋㅋㅋ나 공기업간다니깐 놀리던 새끼들 ㅋㅋㅋ 프갤러(106.102) 08.20 94 0
2883094 고1 심심해서 만들어본거 공유한다 [1] 프갤러(116.121) 08.20 93 2
2883092 업 워크쪽 이거 씨발 어이가 없노 인도 새끼들 저가중에 저가고 [1] ㅆㅇㅆ(124.216) 08.20 72 0
2883082 게임클라 자주나오는 코테문제 아는사람있나? [2] 프갤러(114.205) 08.20 68 0
2883081 클로드 코드와 함께 쓰는 5가지 필수 MCP 프갤러(121.133) 08.20 66 0
2883079 바이브 코딩만 깔짝댈줄 아는 범부의 질문이 있습니다. 프갤러(210.98) 08.20 72 0
2883073 ` 주님께서 곧 오십니다 -(180.64) 08.20 61 0
2883069 ai 영상 쇼츠 하나로 5천만원 벌수있다던데 [2] zian갤로그로 이동합니다. 08.20 85 0
2883068 이제 경기가 좀 풀리려나보네 ㅇㅇ(122.43) 08.20 56 0
2883067 대통령 사면 이게 말이되냐 [2] 프갤러(61.79) 08.20 77 0
2883066 피할수없다면 합류해라 프갤러(61.79) 08.20 35 0
2883065 헬조센에서 살아남기 프갤러(61.79) 08.20 41 0
2883064 뉴스보니까 돈있고 빽있는 애들 왜 다 명문대인지 알겠더라 프갤러(61.79) 08.20 51 0
2883063 홈서버에 블록체인 노드 운영해볼까 [1] 어린이노무현갤로그로 이동합니다. 08.20 57 0
2883059 방금 포지션 제안 관련해서 미팅 했는데 [1] 어린이노무현갤로그로 이동합니다. 08.20 75 0
2883048 가디 벤츠 끌고 다니는 십@새4끼야 [2] 프갤러(118.235) 08.20 90 0
2883047 하루에 묀줄 감사의 코딩 [2] 공기역학갤로그로 이동합니다. 08.20 69 0
2883046 성공했다 Process hollowing 루도그담당(58.239) 08.20 53 0
2883044 현상황 건너건너 농수산물시장 아무도 안간다농. 넥도리아(222.233) 08.20 46 0
2883042 Skt 10gb 좋긴하다. 넥도리아(222.233) 08.20 38 0
2883038 환경설정 처음부터 다시 [6] 개멍청한유라갤로그로 이동합니다. 08.20 75 0
2883032 C 가르치는 부트캠프 탈주하고 싶다 [3] 프갤러(118.235) 08.20 105 0
2883025 공기역학님 그냥 갑니다 저 강남역에서... [1] 넥도리아(220.74) 08.20 87 0
2883024 연명당해서 못볼꼴을 봅니다. 프갤러(220.84) 08.20 39 0
2883023 나중에 쯔꾸르게임 만들고싶으면 [3] ㅇㅇ(175.127) 08.20 70 0
2883022 지금 국비수료는 뭐 공인지능장애임? ㅇㅇ(223.38) 08.20 84 0
2883021 당시에 잠원동 교통사고 제발 산재좀 줄이자... 넥도리아(223.38) 08.20 46 0
2883012 웹어셈블리 배우고싶음 밀우갤로그로 이동합니다. 08.20 57 0
2883011 씨발... 씨발! 씨바아아알 [7] 주아갤로그로 이동합니다. 08.20 110 0
2883010 제잘못은 하나도없는데도 끝났네요. 프갤러(220.84) 08.20 64 0
2883008 고민이군 [1] 아스카영원히사랑해갤로그로 이동합니다. 08.20 57 0
2883005 와 이번 원전 계약 완전 50년 식민지 노예 계약이고 ㅆㅇㅆ(124.216) 08.20 67 3
2883003 애미뒤진 레거시 [2] 주아갤로그로 이동합니다. 08.20 66 0
2883002 근데 지금 마이크로소프트대표 빌게이츠아니지않음?? [1] 뒷통수한방(1.213) 08.20 67 0
2883000 프로그래밍 취미로 배울려고하는데 학원 괜찮나요?? [1] 프갤러(1.214) 08.20 62 0
2882999 문근영 엔디자인 듣는사람 나밖에 업을듯 2호선 넥도리아(223.38) 08.20 39 0
2882997 어떻게 재해없는날이 없뇨 [2] 넥도리아(1.216) 08.20 60 0
2882996 전력질주와 마실의 차이일 수도 있겠단 생각이 든다 [1] ㅇㅇ갤로그로 이동합니다. 08.20 55 0
2882995 나 솔직히 게임쪽에서 [1] 루도그담당(118.235) 08.20 57 1
2882994 이번에 실베 우즈벡 처녀 여자 결혼썰보고 희망 가지는 중 [3] ㅆㅇㅆ(124.216) 08.20 83 1
2882993 보안회사들이 유독 정보보호법에 특화되어있는걸까?? [1] 뒷통수한방(1.213) 08.20 61 0
2882992 유니티 좀 이쁘장한 에셋이 없으니까 [1] 루도그담당(118.235) 08.20 57 0
뉴스 ‘사당귀’ 이지혜, 전현무 말빨도 이기는 초강력 무필터 말빨! 디시트렌드 08.22
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2