diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java index 2d99eaea1d292375210933defc8436ffae22c3f0..de417189a16acbb0796be6e37f40cd7cdcd4f93b 100644 --- a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java +++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/model/ChessSystemModel.java @@ -233,7 +233,7 @@ if (entityUtil.isBlock((Element) component)) { */ @Override public EList<Property> getParameters(Object component) { - return new BasicEList<Property>(entityUtil.getBooleanAttributesExceptsPorts((Element) component)); + return new BasicEList<Property>(entityUtil.getBooleanAttributesExceptPorts((Element) component)); } /* @@ -619,5 +619,12 @@ if (entityUtil.isBlock((Element) component)) { return contractOwner == componentType; } + + + @Override + public boolean isEventType(Object port_or_parameter) { + return entityUtil.isEventPortAttribute((Property)port_or_parameter); + } + }