하위 패키지 선언에 액세스

Question

상위 패키지에서 하위 패키지 선언에 액세스 할 수 있습니까?

-- parent.ads 
package Parent is 
    package Child is 
     type Child_Type is (A, B, C); 
    end Child; 
    use Child; 

    procedure F(A : Child_Type); 
end Parent; 

을 그리고 어쩌면 내가 그 자식 패키지를 사용하여 불가능하다고 생각하기 때문에이 작업을 수행하는 또 다른 방법 ... 일반적으로

Answer 1

아니, 거기 :

-- parent.ads 
package Parent is 
    procedure F(A : Child_Type); 
end Parent; 

-- parent-child.ads 
package Parent.Child is 
    type Child_Type is (A, B, C); 
end Parent.Child; 

중첩 된 버전은 잘 작동 ; 두 번째 예제는 에 F이 선언 된 경우 Child의 사양을 알고 있기 때문에 작동합니다. 이 주제에 대한 previous question에 비추어 공통 사양의 여러 구현을 분리하는 확실한 방법을 원할 수 있습니다. 이 관련 Q&A은 상속을 사용하는 방법과 컴파일 할 때 라이브러리 기반 메커니즘을 사용하는 방법 중 하나를 사용하는 두 가지 방법에 대해 설명합니다.

Answer 2

당신이 찾고있는 것이 private 하위 패키지라고 생각합니다. 이는 일반적으로 중첩 된 예제와 같은 방식으로 작동하지만 상위 본문 외부에서는 액세스 할 수 없습니다. 따라서

:

private package Parent.Child is 
    type Child_Type is (A,B,C); 
end Parent.Child; 

...

package Parent is 
    procedure F; 
end Parent; 

...

with Ada.Text_Io; 
with Parent.Child; 
package body Parent is 
    procedure F is 
    begin 
     for A in Parent.Child.Child_Type'Range loop 
     Ada.Text_Io.Put_Line (Parent.Child.Child_Type'Image (A)); 
     end loop; 
    end F; 
end Parent; 

컴파일하지만, 경우 (상위 사양에 자녀와 함께 기억하는 것이 확인되어 매개 변수를 F으로 설정 한 것처럼) 자녀가 부모가 먼저 존재해야하므로 순환 종속성이 생깁니다.

는 따라서 정말 당신이 모두 부모 및이 문제에 대한 실제 솔루션인지 아이에게 공개하고 싶은 에 따라 달라집니다.

Answer 3

훌리오, 스펙 파일에 선언 형식 (mytypes.ads)

package Mytypes is 

    type Fruit is (Apple, Pear, Pineapple, Banana, Poison_Apple); 
    subtype Safe_Fruit is Fruit range Apple .. Banana; 

end Mytypes; 

... 여러 다른 사람을 Withed :

with Mytypes; 
package Parent is 

    function Permission (F : in Mytypes.Fruit) return Boolean; 

end Parent; 

...

package body Parent is 

    function Permission (F : in Mytypes.Fruit) return Boolean is 
    begin 
     return F in Mytypes.Safe_Fruit; 
    end Permission; 

end Parent; 

...

...

with Ada.Text_Io; 
package body Parent.Child is 

    procedure Eat (F : in Mytypes.Fruit) is 
    begin 
     if Parent.Permission (F) then 
     Ada.Text_Io.Put_Line ("Eating " & Mytypes.Fruit'Image (F)); 
     else 
     Ada.Text_Io.Put_Line ("Forbidden to eat " & Mytypes.Fruit'Image (F)); 
     end if; 
    end Eat; 

end Parent.Child; 

...

with Mytypes; 
with Parent.Child; 

procedure Main is 

begin 

    for I in Mytypes.Fruit'Range loop 
     Parent.Child.Eat (I); 
    end loop; 

end Main; 

그것은 컴파일 :

$ gnatmake main.adb 
gcc-4.4 -c parent-child.adb 
gnatbind -x main.ali 
gnatlink main.ali 

이 실행 :

$ ./main 
Eating APPLE 
Eating PEAR 
Eating PINEAPPLE 
Eating BANANA 
Forbidden to eat POISON_APPLE 

이 당신이 시도 무엇인가?