diff --git a/cc/src/main/grammars/de/monticore/lang/ComponentConnector.mc4 b/cc/src/main/grammars/de/monticore/lang/ComponentConnector.mc4 index 55af991a..13d85ddd 100644 --- a/cc/src/main/grammars/de/monticore/lang/ComponentConnector.mc4 +++ b/cc/src/main/grammars/de/monticore/lang/ComponentConnector.mc4 @@ -168,6 +168,8 @@ component grammar ComponentConnector ; symbolrule Requirement = + stateInvariant: boolean + subject:MildComponentSymbol assumptions:Expression* guarantee:Expression ; diff --git a/cc/src/main/java/de/monticore/lang/componentconnector/_symboltable/RequirementSymbolDeSer.java b/cc/src/main/java/de/monticore/lang/componentconnector/_symboltable/RequirementSymbolDeSer.java index d85afdc8..bda64393 100644 --- a/cc/src/main/java/de/monticore/lang/componentconnector/_symboltable/RequirementSymbolDeSer.java +++ b/cc/src/main/java/de/monticore/lang/componentconnector/_symboltable/RequirementSymbolDeSer.java @@ -7,6 +7,12 @@ public class RequirementSymbolDeSer extends RequirementSymbolDeSerTOP { + @Override + protected void serializeSubject(MildComponentSymbol subject, + ComponentConnectorSymbols2Json s2j) { + // not implemented + } + @Override protected void serializeAssumptions(List assumptions, ComponentConnectorSymbols2Json s2j) { @@ -19,6 +25,12 @@ protected void serializeGuarantee(ASTExpression guarantee, // not implemented } + @Override + protected MildComponentSymbol deserializeSubject(JsonObject symbolJson) { + // not implemented + return null; + } + @Override protected List deserializeAssumptions(JsonObject symbolJson) { // not implemented diff --git a/gradle.properties b/gradle.properties index 2ab0ba49..f94cb124 100644 --- a/gradle.properties +++ b/gradle.properties @@ -25,4 +25,4 @@ assertj_version = 3.21.0 junit_version = 5.8.2 # Version of published artifacts -version = 7.8.30 +version = 7.8.31