배열 형식을 제네릭 형식 매개 변수로 VHDL 패키지에 전달하는 방법은 무엇입니까?

Question

저는 VHDL-2008에서 일반 패키지 (목록)를 만들고 있습니다. 이 패키지에는 요소 유형에 대한 유형이 있습니다. 패키지 내에이 요소 유형의 배열 유형을 선언하면 새로운 유형입니다. 예를 들어 정수, 내 새로운 integer_array가 라이브러리 ieee의 integer_vector와 호환되지 않습니다.

그래서 배열 유형 (예 : integer_vector)을 전달해야합니다.

Prefix of attribute "range" must be appropriate for an array object or must denote an array subtype.

어떻게 제네릭 형식 매개 변수가 배열되는 나타낸다 : 해당 배열 형식의 배열 인스턴스가 'range 속성을 사용하는 경우, 그것은 나 QuestaSim에 경고 준다?

일반 패키지 :

package SortListGenericPkg is 
    generic (
    type ElementType; -- e.g. integer 
    type ArrayofElementType; -- e.g. integer_vector 
    function LessThan(L : ElementType; R : ElementType) return boolean;  -- e.g. "<" 
    function LessEqual(L : ElementType; R : ElementType) return boolean  -- e.g. "<=" 
); 

    function inside (constant E : ElementType; constant A : in ArrayofElementType) return boolean; 
end package; 

package body SortListGenericPkg is 
    function inside (constant E : ElementType; constant A : in ArrayofElementType) return boolean is 
    begin 
    for i in A'range loop -- this line causes the error 
     if E = A(i) then 
     return TRUE ; 
     end if ; 
    end loop ; 
    return FALSE ; 
    end function inside ; 
end package body; 

인스턴스화 : 그것은 어쩌면 VHDL 표준 문제, 그래서는

package SortListPkg is 
    package SortListPkg_int is new work.SortListGenericPkg 
    generic map (
     ElementType  => integer, 
     ArrayofElementType => integer_vector, 
     LessThan   => "<", 
     LessEqual   => "<=" 
    ); 
    alias Integer_SortList is SortListPkg_int.SortListPType; 
end package SortListPkg ; 

Answer 1

ModelSim을은 유사한 오류/경고를한다. 유형으로

... inside(int, ArrayofElementType(int_vec)); 

또는 간단한 사용 ArrayofElementType : inside이처럼 호출되는 인수를

package SortListGenericPkg is 
    generic (
    type ElementType -- e.g. integer 
); 
    type ArrayofElementType is array (integer range <>) of ElementType; 
    function inside(constant E : ElementType; constant A : in ArrayofElementType) return boolean; 
end package; 

다음 변환 :

해결 방법은 같은 패키지의 일부로서 ArrayofElementType을 선언하는 것입니다 가능한/가능하다면 논쟁을 선언 할 때.