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

A part usage typed only by an item definition passes check/lint (validatePartUsagePartDefinition not checked)

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

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
72/100
Loại issue
Lỗi
Độ rõ ràng
Đặc tả rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
rust
Lĩnh vực
cli, compilers

Hướng nghiên cứu

Reproduce the example with the sysml-toolkit check --lib and lint --lib entry points, using the item-only part usage shown in the issue. Trace the PartUsage validation for validatePartUsagePartDefinition and add a regression test around the no-diagnostic result. Done means both commands report a diagnostic when no item definition is a PartDefinition.

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

Mô tả

Summary

A part usage typed only by an item def (no part def anywhere among its item definitions) loads without a diagnostic, even though the spec's own validatePartUsagePartDefinition constraint requires at least one part definition.

Observed

package P {
  item def Start;
  part def L { part bread : Start; }
}

Loads with ok=True and no diagnostics in OpenSysML v0.9.0. sysml-toolkit v0.9.1 exits 0 with no output on both check --lib <sysml.library> and lint --lib <sysml.library> (checked both commands).

Reference

SysML v2.0 (formal/2026-03-02), 8.3.11 Parts Abstract Syntax, validatePartUsagePartDefinition (printed p. 323):

At least one of the itemDefinitions of a PartUsage must be a PartDefinition.

partDefinition->notEmpty()

The prose immediately above the constraint states the same rule in plain language: "A PartUsage is a usage of a PartDefinition to represent a system or a part of a system. At least one of the itemDefinitions of the PartUsage must be a PartDefinition."

Request

Report a diagnostic for a part usage none of whose item definitions is a part definition.

Ngôn ngữ chính
Rust
Star
23
Fork
3
Merge trung bình
9 phút
Pull request đã merge (30 ngày)
3

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

Chúng tôi chưa kiểm tra các tệp thiết lập môi trường của dự án này. Hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.

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/sysml-toolkit

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

Issue tương tự

Thêm issue về Rust

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.