File tree Expand file tree Collapse file tree
art-comp-test/tests/tc_7017 Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ protocol PLib2 {
2+ /* In Events */
3+ /* Out Events */
4+ };
Original file line number Diff line number Diff line change 1+ let tc = TCF.define(TCF.ART_TO_CPP);
2+ tc.sources = ['lib.art'];
3+ // The "topCapsule" property is not set, which means this is a library TC
4+
5+ tc.prerequisites = [
6+ "lib02.tcjs"
7+ ];
Original file line number Diff line number Diff line change 1+ let tc = TCF.define(TCF.ART_TO_CPP);
2+ tc.sources = ['lib.art'];
3+
4+ tc.prerequisites = [
5+ "top.tcjs"
6+ ];
Original file line number Diff line number Diff line change 1+ capsule Top {
2+ /* Ports */
3+ /* Parts */
4+ /* Connectors */
5+ /* State Machine */
6+ statemachine {
7+ state State;
8+ initial -> State;
9+ };
10+ };
Original file line number Diff line number Diff line change 1+ ---
2+ group : validation
3+ steps : generate
4+ ac_output match1 : WARNING[7017]|top.tcjs|8:0|itself|prerequisite
5+ ac_output match1a : top.tcjs|9:5|has lib.tcjs as prerequisite
6+ ac_output match1b : lib.tcjs|6:5|has lib02.tcjs as a prerequisite
7+ ac_output match1c : lib02.tcjs|5:5|has top.tcjs as a prerequisite
8+
9+ ac_output match2 : WARNING[7017]|lib.tcjs|5:0|itself|prerequisite
10+ ac_output match2a : lib.tcjs|6:5|has lib02.tcjs as a prerequisite
11+ ac_output match2b : lib02.tcjs|5:5|has top.tcjs as prerequisite
12+ ac_output match2c : top.tcjs|9:5|has lib.tcjs as prerequisite
13+
14+ ac_output match3 : WARNING[7017]|lib02.tcjs|4:0|itself|prerequisite
15+ ac_output match3a : lib02.tcjs|5:5|has top.tcjs as a prerequisite
16+ ac_output match3b : top.tcjs|9:5|has lib.tcjs as a prerequisite
17+ ac_output match3c : lib.tcjs|6:5|has lib02.tcjs as a prerequisite
18+ ---
19+ Test validation rule ` TC_7017_prerequisitesCyclic ` .
Original file line number Diff line number Diff line change 1+ let tc = TCF.define(TCF.ART_TO_CPP);
2+ tc.topCapsule = 'Top';
3+
4+ tc.targetFolder = 'tc_7017_target';
5+ tc.sources = ['tc_7017.art'];
6+
7+
8+ tc.prerequisites = [
9+ "lib.tcjs"
10+ ];
11+
You can’t perform that action at this time.
0 commit comments