아키텍처 내부에서 정의 된 유형을 외부에서 알 수 있습니까?

Question

나는 자체적으로 상태 기계 인 구성 요소를 사용하는 상태 시스템을 가지고 있습니다. 상태 기계를 구현하기 위해 새로운 유형을 사용하고 있습니다 :

type state_machine is 
    (
    st_idle, 
    st_cycle_1, 
    ... 
    st_cycle_17 
    ); 

내부 상태 시스템의 구조 내부에 정의되어 있습니다. 또한 외부 구성 요소의 아키텍처에 충돌이 발생하지 않고 다른 상태를 갖는 유형 state_machine을 정의 할 수 있습니까?

Answer 1

예. 가능합니다. 아키텍처 내의 타입 정의는 로컬 정의이며 특정 아키텍처 외부에서는 볼 수 없습니다.
따라서 모든 아키텍처에서 동일한 유형의 이름을 반복 사용할 수 있습니다 (예 : FSM 유형으로 이것이 합리적이라면 다른 질문이며 일반적으로 대답 할 수 없습니다. 나는 개인적으로 FSM을위한 자체 문서화 이름을 사용하는 것을 선호한다. 이것은 다른 사람들 (그리고 몇 주 후에 나 자신)에게 코드를 보는 데 큰 도움이 될 수 있기 때문이다. 작은 FSM의 경우 또는 모듈에 FSM이 하나만있는 경우 (잘 문서화 된 경우) 큰 문제는 아닙니다.

그러나 아키텍처 내의 형식 정의가 가져온 라이브러리의 형식 정의와 충돌 할 수 있습니다. 그것을 언급하기 만하면됩니다.