Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

type/usage-typing rejects a connection usage typed by an allocation def

Đang mở
  • Có gì không ổn?
#630 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
3/5
Thời gian dự kiến
1-2 ngày
Mức phù hợp với người mới
58/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
go
Lĩnh vực
compilers

Hướng nghiên cứu

Start by running the supplied alloc.sysml reproduction and inspect the implementation of the type/usage-typing diagnostic. Compare its accepted type categories with the AllocationDefinition specialization described in Systems Library/Allocations.sysml. Done means the allocation-typed connection validates without the reported error and later-tier diagnostics are no longer suppressed.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Version: sysml v0.9.0 (commit ee54ea0), darwin-arm64 release binary

A connection usage typed by an allocation def is rejected with type/usage-typing, but an allocation definition is a connection definition.

Repro
package P {
    part def A;
    part def B;
    allocation def Al { end a : A; end b : B; }
    connection c : Al[*];
}

$ sysml -validate -debug alloc.sysml
alloc.sysml:5:5: error: A connection must be typed by connection definitions. [type/usage-typing]
    connection c : Al[*];
    ^~~~~~~~~~~~~~~~~~~~~
sysml: alloc.sysml did not analyse cleanly; no check was made

The same thing happens when the allocation def also specializes Allocations::Allocation, or a user connection def.

Expected

No error. In the SysML v2 abstract syntax, AllocationDefinition specializes ConnectionDefinition, and the normative library says the same: Systems Library/Allocations.sysml, allocation def Allocation :> BinaryConnection. An allocation def therefore satisfies the typing requirement of a ConnectionUsage.

Because the error is in the type tier, it also hides every later-tier diagnostic for the whole model.

Ngôn ngữ chính
Go
Star
24
Fork
5
Merge trung bình
10 giờ 11 phút
Pull request đã merge (30 ngày)
572

Chuẩn bị môi trường

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của Open-MBEE/OpenSysML

Tất cả issue của Open-MBEE/OpenSysML

Issue tương tự

Thêm issue về Go

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.