equal
deleted
inserted
replaced
1960 if element_type_type == "array": |
1960 if element_type_type == "array": |
1961 dimensions = [] |
1961 dimensions = [] |
1962 for dimension in element_type.getdimension(): |
1962 for dimension in element_type.getdimension(): |
1963 dimensions.append((dimension.getlower(), dimension.getupper())) |
1963 dimensions.append((dimension.getlower(), dimension.getupper())) |
1964 base_type = element_type.baseType.getcontent() |
1964 base_type = element_type.baseType.getcontent() |
1965 base_type_type = element_type.getLocalTag() |
1965 base_type_type = base_type.getLocalTag() |
1966 element_infos["Type"] = ("array", |
1966 element_infos["Type"] = ("array", |
1967 base_type.getname() |
1967 base_type.getname() |
1968 if base_type_type == "derived" |
1968 if base_type_type == "derived" |
1969 else base_type_type.upper(), dimensions) |
1969 else base_type_type.upper(), dimensions) |
1970 elif element_type_type == "derived": |
1970 elif element_type_type == "derived": |