You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Oct 3, 2024. It is now read-only.
In the following, the component PositionSensor must parse. Are the types mandatory now ?
package Device_pkgs
public
with EMV2, ErrorLibrary, ErrorLibrary;
device d1
features
pin: in data port;
pout: out data port;
annex EMV2{**
use types ErrorLibrary;
error propagations
pout: out propagation {ServiceOmission};
flows
es1: error source pout;
end propagations;
};
end d1;
device PositionSensor
features
PositionReading: out data port;
Annex EMV2 {
error propagations
PositionReading: out propagation;
flows
ef1: error source PositionReading;
end propagations;
**};
end PositionSensor;
end Device_pkgs;
The text was updated successfully, but these errors were encountered:
Hello,
In the following, the component PositionSensor must parse. Are the types mandatory now ?
package Device_pkgs
public
with EMV2, ErrorLibrary, ErrorLibrary;
device d1
features
pin: in data port;
pout: out data port;
annex EMV2{**
use types ErrorLibrary;
error propagations
pout: out propagation {ServiceOmission};
flows
es1: error source pout;
end propagations;
};
end d1;
device PositionSensor
features
PositionReading: out data port;
Annex EMV2 {
error propagations
PositionReading: out propagation;
flows
ef1: error source PositionReading;
end propagations;
**};
end PositionSensor;
end Device_pkgs;
The text was updated successfully, but these errors were encountered: