| /* |
| * generated by Xtext |
| */ |
| grammar InternalAgreement; |
| |
| options { |
| superClass=AbstractInternalContentAssistParser; |
| |
| } |
| |
| @lexer::header { |
| package org.eclipse.opencert.sam.agree.ui.contentassist.antlr.internal; |
| |
| // Hack: Use our own Lexer superclass by means of import. |
| // Currently there is no other way to specify the superclass for the lexer. |
| import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.Lexer; |
| } |
| |
| @parser::header { |
| package org.eclipse.opencert.sam.agree.ui.contentassist.antlr.internal; |
| |
| import java.io.InputStream; |
| import org.eclipse.xtext.*; |
| import org.eclipse.xtext.parser.*; |
| import org.eclipse.xtext.parser.impl.*; |
| import org.eclipse.emf.ecore.util.EcoreUtil; |
| import org.eclipse.emf.ecore.EObject; |
| import org.eclipse.xtext.parser.antlr.XtextTokenStream; |
| import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens; |
| import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser; |
| import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.DFA; |
| import org.eclipse.opencert.sam.agree.services.AgreementGrammarAccess; |
| |
| } |
| |
| @parser::members { |
| |
| private AgreementGrammarAccess grammarAccess; |
| |
| public void setGrammarAccess(AgreementGrammarAccess grammarAccess) { |
| this.grammarAccess = grammarAccess; |
| } |
| |
| @Override |
| protected Grammar getGrammar() { |
| return grammarAccess.getGrammar(); |
| } |
| |
| @Override |
| protected String getValueForTokenName(String tokenName) { |
| return tokenName; |
| } |
| |
| } |
| |
| |
| |
| |
| // Entry rule entryRuleModel |
| entryRuleModel |
| : |
| { before(grammarAccess.getModelRule()); } |
| ruleModel |
| { after(grammarAccess.getModelRule()); } |
| EOF |
| ; |
| |
| // Rule Model |
| ruleModel |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getModelAccess().getContractsAssignment()); } |
| (rule__Model__ContractsAssignment)* |
| { after(grammarAccess.getModelAccess().getContractsAssignment()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuleContract |
| entryRuleContract |
| : |
| { before(grammarAccess.getContractRule()); } |
| ruleContract |
| { after(grammarAccess.getContractRule()); } |
| EOF |
| ; |
| |
| // Rule Contract |
| ruleContract |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getGroup()); } |
| (rule__Contract__Group__0) |
| { after(grammarAccess.getContractAccess().getGroup()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuleassertionDefinition |
| entryRuleassertionDefinition |
| : |
| { before(grammarAccess.getAssertionDefinitionRule()); } |
| ruleassertionDefinition |
| { after(grammarAccess.getAssertionDefinitionRule()); } |
| EOF |
| ; |
| |
| // Rule assertionDefinition |
| ruleassertionDefinition |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionDefinitionAccess().getGroup()); } |
| (rule__AssertionDefinition__Group__0) |
| { after(grammarAccess.getAssertionDefinitionAccess().getGroup()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRulestrategyDefinition |
| entryRulestrategyDefinition |
| : |
| { before(grammarAccess.getStrategyDefinitionRule()); } |
| rulestrategyDefinition |
| { after(grammarAccess.getStrategyDefinitionRule()); } |
| EOF |
| ; |
| |
| // Rule strategyDefinition |
| rulestrategyDefinition |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getStrategyDefinitionAccess().getStrategyAssignment()); } |
| (rule__StrategyDefinition__StrategyAssignment) |
| { after(grammarAccess.getStrategyDefinitionAccess().getStrategyAssignment()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuleviewpointId |
| entryRuleviewpointId |
| : |
| { before(grammarAccess.getViewpointIdRule()); } |
| ruleviewpointId |
| { after(grammarAccess.getViewpointIdRule()); } |
| EOF |
| ; |
| |
| // Rule viewpointId |
| ruleviewpointId |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getGroup()); } |
| (rule__ViewpointId__Group__0) |
| { after(grammarAccess.getViewpointIdAccess().getGroup()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuleassertionpattern |
| entryRuleassertionpattern |
| : |
| { before(grammarAccess.getAssertionpatternRule()); } |
| ruleassertionpattern |
| { after(grammarAccess.getAssertionpatternRule()); } |
| EOF |
| ; |
| |
| // Rule assertionpattern |
| ruleassertionpattern |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getAlternatives()); } |
| (rule__Assertionpattern__Alternatives) |
| { after(grammarAccess.getAssertionpatternAccess().getAlternatives()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuleNoun |
| entryRuleNoun |
| : |
| { before(grammarAccess.getNounRule()); } |
| ruleNoun |
| { after(grammarAccess.getNounRule()); } |
| EOF |
| ; |
| |
| // Rule Noun |
| ruleNoun |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getNounAccess().getNounAssignment()); } |
| (rule__Noun__NounAssignment) |
| { after(grammarAccess.getNounAccess().getNounAssignment()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuleVerb |
| entryRuleVerb |
| : |
| { before(grammarAccess.getVerbRule()); } |
| ruleVerb |
| { after(grammarAccess.getVerbRule()); } |
| EOF |
| ; |
| |
| // Rule Verb |
| ruleVerb |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getVerbAccess().getGroup()); } |
| (rule__Verb__Group__0) |
| { after(grammarAccess.getVerbAccess().getGroup()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRulesimple |
| entryRulesimple |
| : |
| { before(grammarAccess.getSimpleRule()); } |
| rulesimple |
| { after(grammarAccess.getSimpleRule()); } |
| EOF |
| ; |
| |
| // Rule simple |
| rulesimple |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getSimpleAccess().getVerbAssignment()); } |
| (rule__Simple__VerbAssignment) |
| { after(grammarAccess.getSimpleAccess().getVerbAssignment()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRulepart1 |
| entryRulepart1 |
| : |
| { before(grammarAccess.getPart1Rule()); } |
| rulepart1 |
| { after(grammarAccess.getPart1Rule()); } |
| EOF |
| ; |
| |
| // Rule part1 |
| rulepart1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPart1Access().getAlternatives()); } |
| (rule__Part1__Alternatives)* |
| { after(grammarAccess.getPart1Access().getAlternatives()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuleFact |
| entryRuleFact |
| : |
| { before(grammarAccess.getFactRule()); } |
| ruleFact |
| { after(grammarAccess.getFactRule()); } |
| EOF |
| ; |
| |
| // Rule Fact |
| ruleFact |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getFactAccess().getFactAssignment()); } |
| (rule__Fact__FactAssignment) |
| { after(grammarAccess.getFactAccess().getFactAssignment()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRulePattern |
| entryRulePattern |
| : |
| { before(grammarAccess.getPatternRule()); } |
| rulePattern |
| { after(grammarAccess.getPatternRule()); } |
| EOF |
| ; |
| |
| // Rule Pattern |
| rulePattern |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getAlternatives()); } |
| (rule__Pattern__Alternatives) |
| { after(grammarAccess.getPatternAccess().getAlternatives()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRulenonfunctional |
| entryRulenonfunctional |
| : |
| { before(grammarAccess.getNonfunctionalRule()); } |
| rulenonfunctional |
| { after(grammarAccess.getNonfunctionalRule()); } |
| EOF |
| ; |
| |
| // Rule nonfunctional |
| rulenonfunctional |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getNonfunctionalAccess().getAlternatives()); } |
| (rule__Nonfunctional__Alternatives) |
| { after(grammarAccess.getNonfunctionalAccess().getAlternatives()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRulememory |
| entryRulememory |
| : |
| { before(grammarAccess.getMemoryRule()); } |
| rulememory |
| { after(grammarAccess.getMemoryRule()); } |
| EOF |
| ; |
| |
| // Rule memory |
| rulememory |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getAlternatives()); } |
| (rule__Memory__Alternatives) |
| { after(grammarAccess.getMemoryAccess().getAlternatives()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRuletimming |
| entryRuletimming |
| : |
| { before(grammarAccess.getTimmingRule()); } |
| ruletimming |
| { after(grammarAccess.getTimmingRule()); } |
| EOF |
| ; |
| |
| // Rule timming |
| ruletimming |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getAlternatives()); } |
| (rule__Timming__Alternatives) |
| { after(grammarAccess.getTimmingAccess().getAlternatives()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| // Entry rule entryRulebehave |
| entryRulebehave |
| : |
| { before(grammarAccess.getBehaveRule()); } |
| rulebehave |
| { after(grammarAccess.getBehaveRule()); } |
| EOF |
| ; |
| |
| // Rule behave |
| rulebehave |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getBehaveAccess().getBehaveAssignment()); } |
| (rule__Behave__BehaveAssignment) |
| { after(grammarAccess.getBehaveAccess().getBehaveAssignment()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| // Rule viewId |
| ruleviewId |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewIdAccess().getAlternatives()); } |
| (rule__ViewId__Alternatives) |
| { after(grammarAccess.getViewIdAccess().getAlternatives()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| rule__ViewpointId__Alternatives_2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getView1Assignment_2_0()); } |
| (rule__ViewpointId__View1Assignment_2_0) |
| { after(grammarAccess.getViewpointIdAccess().getView1Assignment_2_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getViewpointIdAccess().getView3Assignment_2_1()); } |
| (rule__ViewpointId__View3Assignment_2_1) |
| { after(grammarAccess.getViewpointIdAccess().getView3Assignment_2_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Alternatives |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getGroup_0()); } |
| (rule__Assertionpattern__Group_0__0) |
| { after(grammarAccess.getAssertionpatternAccess().getGroup_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getAssertionpatternAccess().getGroup_1()); } |
| (rule__Assertionpattern__Group_1__0) |
| { after(grammarAccess.getAssertionpatternAccess().getGroup_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Part1__Alternatives |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPart1Access().getIsKeyword_0()); } |
| |
| 'is' |
| |
| { after(grammarAccess.getPart1Access().getIsKeyword_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getPart1Access().getAreKeyword_1()); } |
| |
| 'are' |
| |
| { after(grammarAccess.getPart1Access().getAreKeyword_1()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getPart1Access().getHasKeyword_2()); } |
| |
| 'has' |
| |
| { after(grammarAccess.getPart1Access().getHasKeyword_2()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getPart1Access().getHaveKeyword_3()); } |
| |
| 'have' |
| |
| { after(grammarAccess.getPart1Access().getHaveKeyword_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Pattern__Alternatives |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getPremiseAssignment_0()); } |
| (rule__Pattern__PremiseAssignment_0) |
| { after(grammarAccess.getPatternAccess().getPremiseAssignment_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getPatternAccess().getBehaveParserRuleCall_1()); } |
| rulebehave |
| { after(grammarAccess.getPatternAccess().getBehaveParserRuleCall_1()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getPatternAccess().getGroup_2()); } |
| (rule__Pattern__Group_2__0) |
| { after(grammarAccess.getPatternAccess().getGroup_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Nonfunctional__Alternatives |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getNonfunctionalAccess().getNonfunctionalAssignment_0()); } |
| (rule__Nonfunctional__NonfunctionalAssignment_0) |
| { after(grammarAccess.getNonfunctionalAccess().getNonfunctionalAssignment_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getNonfunctionalAccess().getTimmingParserRuleCall_1()); } |
| ruletimming |
| { after(grammarAccess.getNonfunctionalAccess().getTimmingParserRuleCall_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Alternatives |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getGroup_0()); } |
| (rule__Memory__Group_0__0) |
| { after(grammarAccess.getMemoryAccess().getGroup_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getMemoryAccess().getGroup_1()); } |
| (rule__Memory__Group_1__0) |
| { after(grammarAccess.getMemoryAccess().getGroup_1()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getMemoryAccess().getGroup_2()); } |
| (rule__Memory__Group_2__0) |
| { after(grammarAccess.getMemoryAccess().getGroup_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Alternatives |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getGroup_0()); } |
| (rule__Timming__Group_0__0) |
| { after(grammarAccess.getTimmingAccess().getGroup_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getTimmingAccess().getGroup_1()); } |
| (rule__Timming__Group_1__0) |
| { after(grammarAccess.getTimmingAccess().getGroup_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewId__Alternatives |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewIdAccess().getInstEnumLiteralDeclaration_0()); } |
| ( 'installation' |
| ) |
| { after(grammarAccess.getViewIdAccess().getInstEnumLiteralDeclaration_0()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getViewIdAccess().getSafEnumLiteralDeclaration_1()); } |
| ( 'safety' |
| ) |
| { after(grammarAccess.getViewIdAccess().getSafEnumLiteralDeclaration_1()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getViewIdAccess().getFuncEnumLiteralDeclaration_2()); } |
| ( 'functionality' |
| ) |
| { after(grammarAccess.getViewIdAccess().getFuncEnumLiteralDeclaration_2()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getViewIdAccess().getPerEnumLiteralDeclaration_3()); } |
| ( 'performance' |
| ) |
| { after(grammarAccess.getViewIdAccess().getPerEnumLiteralDeclaration_3()); } |
| ) |
| |
| |( |
| { before(grammarAccess.getViewIdAccess().getTimEnumLiteralDeclaration_4()); } |
| ( 'timing' |
| ) |
| { after(grammarAccess.getViewIdAccess().getTimEnumLiteralDeclaration_4()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| rule__Contract__Group__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__0__Impl |
| rule__Contract__Group__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getAgreementKeyword_0()); } |
| |
| 'Agreement' |
| |
| { after(grammarAccess.getContractAccess().getAgreementKeyword_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__1__Impl |
| rule__Contract__Group__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getNameAssignment_1()); } |
| (rule__Contract__NameAssignment_1) |
| { after(grammarAccess.getContractAccess().getNameAssignment_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__2__Impl |
| rule__Contract__Group__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getModulesKeyword_2()); } |
| |
| 'modules:' |
| |
| { after(grammarAccess.getContractAccess().getModulesKeyword_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__3__Impl |
| rule__Contract__Group__4 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getModAssignment_3()); } |
| (rule__Contract__ModAssignment_3)* |
| { after(grammarAccess.getContractAccess().getModAssignment_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__4 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__4__Impl |
| rule__Contract__Group__5 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__4__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getPremisesKeyword_4()); } |
| |
| 'premises:' |
| |
| { after(grammarAccess.getContractAccess().getPremisesKeyword_4()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__5__Impl |
| rule__Contract__Group__6 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__5__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getLeftCurlyBracketKeyword_5()); } |
| |
| '{' |
| |
| { after(grammarAccess.getContractAccess().getLeftCurlyBracketKeyword_5()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__6 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__6__Impl |
| rule__Contract__Group__7 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__6__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getGroup_6()); } |
| (rule__Contract__Group_6__0)* |
| { after(grammarAccess.getContractAccess().getGroup_6()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__7 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__7__Impl |
| rule__Contract__Group__8 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__7__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getRightCurlyBracketKeyword_7()); } |
| |
| '}' |
| |
| { after(grammarAccess.getContractAccess().getRightCurlyBracketKeyword_7()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__8 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__8__Impl |
| rule__Contract__Group__9 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__8__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getPromisesKeyword_8()); } |
| |
| 'promises:' |
| |
| { after(grammarAccess.getContractAccess().getPromisesKeyword_8()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__9 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__9__Impl |
| rule__Contract__Group__10 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__9__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getLeftCurlyBracketKeyword_9()); } |
| |
| '{' |
| |
| { after(grammarAccess.getContractAccess().getLeftCurlyBracketKeyword_9()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__10 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__10__Impl |
| rule__Contract__Group__11 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__10__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getGroup_10()); } |
| (rule__Contract__Group_10__0)* |
| { after(grammarAccess.getContractAccess().getGroup_10()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__11 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__11__Impl |
| rule__Contract__Group__12 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__11__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getRightCurlyBracketKeyword_11()); } |
| |
| '}' |
| |
| { after(grammarAccess.getContractAccess().getRightCurlyBracketKeyword_11()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__12 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__12__Impl |
| rule__Contract__Group__13 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__12__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getReasoningKeyword_12()); } |
| |
| 'reasoning:' |
| |
| { after(grammarAccess.getContractAccess().getReasoningKeyword_12()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__13 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__13__Impl |
| rule__Contract__Group__14 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__13__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getLeftCurlyBracketKeyword_13()); } |
| |
| '{' |
| |
| { after(grammarAccess.getContractAccess().getLeftCurlyBracketKeyword_13()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__14 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__14__Impl |
| rule__Contract__Group__15 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__14__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getStrategyAssignment_14()); } |
| (rule__Contract__StrategyAssignment_14)* |
| { after(grammarAccess.getContractAccess().getStrategyAssignment_14()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group__15 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group__15__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group__15__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getRightCurlyBracketKeyword_15()); } |
| |
| '}' |
| |
| { after(grammarAccess.getContractAccess().getRightCurlyBracketKeyword_15()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Contract__Group_6__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group_6__0__Impl |
| rule__Contract__Group_6__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group_6__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getCodeAssignment_6_0()); } |
| (rule__Contract__CodeAssignment_6_0) |
| { after(grammarAccess.getContractAccess().getCodeAssignment_6_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group_6__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group_6__1__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group_6__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getAssertionAssignment_6_1()); } |
| (rule__Contract__AssertionAssignment_6_1) |
| { after(grammarAccess.getContractAccess().getAssertionAssignment_6_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| rule__Contract__Group_10__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group_10__0__Impl |
| rule__Contract__Group_10__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group_10__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getCodeAssignment_10_0()); } |
| (rule__Contract__CodeAssignment_10_0) |
| { after(grammarAccess.getContractAccess().getCodeAssignment_10_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Contract__Group_10__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Contract__Group_10__1__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__Group_10__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getGuaranteeAssignment_10_1()); } |
| (rule__Contract__GuaranteeAssignment_10_1) |
| { after(grammarAccess.getContractAccess().getGuaranteeAssignment_10_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| rule__AssertionDefinition__Group__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__AssertionDefinition__Group__0__Impl |
| rule__AssertionDefinition__Group__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__AssertionDefinition__Group__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionDefinitionAccess().getAssertionAssignment_0()); } |
| (rule__AssertionDefinition__AssertionAssignment_0)* |
| { after(grammarAccess.getAssertionDefinitionAccess().getAssertionAssignment_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__AssertionDefinition__Group__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__AssertionDefinition__Group__1__Impl |
| rule__AssertionDefinition__Group__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__AssertionDefinition__Group__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionDefinitionAccess().getForKeyword_1()); } |
| |
| 'for' |
| |
| { after(grammarAccess.getAssertionDefinitionAccess().getForKeyword_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__AssertionDefinition__Group__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__AssertionDefinition__Group__2__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__AssertionDefinition__Group__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionDefinitionAccess().getPAssignment_2()); } |
| (rule__AssertionDefinition__PAssignment_2) |
| { after(grammarAccess.getAssertionDefinitionAccess().getPAssignment_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__ViewpointId__Group__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__ViewpointId__Group__0__Impl |
| rule__ViewpointId__Group__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewpointId__Group__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getViewAssignment_0()); } |
| (rule__ViewpointId__ViewAssignment_0) |
| { after(grammarAccess.getViewpointIdAccess().getViewAssignment_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__ViewpointId__Group__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__ViewpointId__Group__1__Impl |
| rule__ViewpointId__Group__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewpointId__Group__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getLessThanSignKeyword_1()); } |
| |
| '<' |
| |
| { after(grammarAccess.getViewpointIdAccess().getLessThanSignKeyword_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__ViewpointId__Group__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__ViewpointId__Group__2__Impl |
| rule__ViewpointId__Group__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewpointId__Group__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getAlternatives_2()); } |
| (rule__ViewpointId__Alternatives_2)* |
| { after(grammarAccess.getViewpointIdAccess().getAlternatives_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__ViewpointId__Group__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__ViewpointId__Group__3__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewpointId__Group__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getGreaterThanSignKeyword_3()); } |
| |
| '>' |
| |
| { after(grammarAccess.getViewpointIdAccess().getGreaterThanSignKeyword_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Assertionpattern__Group_0__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_0__0__Impl |
| rule__Assertionpattern__Group_0__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_0__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getAssertionpatternAssignment_0_0()); } |
| (rule__Assertionpattern__AssertionpatternAssignment_0_0) |
| { after(grammarAccess.getAssertionpatternAccess().getAssertionpatternAssignment_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Assertionpattern__Group_0__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_0__1__Impl |
| rule__Assertionpattern__Group_0__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_0__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getVAssignment_0_1()); } |
| (rule__Assertionpattern__VAssignment_0_1) |
| { after(grammarAccess.getAssertionpatternAccess().getVAssignment_0_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Assertionpattern__Group_0__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_0__2__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_0__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getFAssignment_0_2()); } |
| (rule__Assertionpattern__FAssignment_0_2) |
| { after(grammarAccess.getAssertionpatternAccess().getFAssignment_0_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Assertionpattern__Group_1__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_1__0__Impl |
| rule__Assertionpattern__Group_1__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_1__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getViewpointKeyword_1_0()); } |
| |
| 'viewpoint' |
| |
| { after(grammarAccess.getAssertionpatternAccess().getViewpointKeyword_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Assertionpattern__Group_1__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_1__1__Impl |
| rule__Assertionpattern__Group_1__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_1__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getLessThanSignKeyword_1_1()); } |
| |
| '<' |
| |
| { after(grammarAccess.getAssertionpatternAccess().getLessThanSignKeyword_1_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Assertionpattern__Group_1__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_1__2__Impl |
| rule__Assertionpattern__Group_1__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_1__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getViewAssignment_1_2()); } |
| (rule__Assertionpattern__ViewAssignment_1_2)* |
| { after(grammarAccess.getAssertionpatternAccess().getViewAssignment_1_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Assertionpattern__Group_1__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_1__3__Impl |
| rule__Assertionpattern__Group_1__4 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_1__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getGreaterThanSignKeyword_1_3()); } |
| |
| '>' |
| |
| { after(grammarAccess.getAssertionpatternAccess().getGreaterThanSignKeyword_1_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Assertionpattern__Group_1__4 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_1__4__Impl |
| rule__Assertionpattern__Group_1__5 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_1__4__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getForKeyword_1_4()); } |
| |
| 'for' |
| |
| { after(grammarAccess.getAssertionpatternAccess().getForKeyword_1_4()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Assertionpattern__Group_1__5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Assertionpattern__Group_1__5__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__Group_1__5__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getPatternAssignment_1_5()); } |
| (rule__Assertionpattern__PatternAssignment_1_5) |
| { after(grammarAccess.getAssertionpatternAccess().getPatternAssignment_1_5()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Verb__Group__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Verb__Group__0__Impl |
| rule__Verb__Group__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Verb__Group__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getVerbAccess().getVerbAssignment_0()); } |
| (rule__Verb__VerbAssignment_0) |
| { after(grammarAccess.getVerbAccess().getVerbAssignment_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Verb__Group__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Verb__Group__1__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Verb__Group__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getVerbAccess().getVAssignment_1()); } |
| (rule__Verb__VAssignment_1) |
| { after(grammarAccess.getVerbAccess().getVAssignment_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| rule__Pattern__Group_2__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Pattern__Group_2__0__Impl |
| rule__Pattern__Group_2__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Pattern__Group_2__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getWheneverKeyword_2_0()); } |
| |
| 'whenever' |
| |
| { after(grammarAccess.getPatternAccess().getWheneverKeyword_2_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Pattern__Group_2__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Pattern__Group_2__1__Impl |
| rule__Pattern__Group_2__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Pattern__Group_2__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getLeftSquareBracketKeyword_2_1()); } |
| |
| '[' |
| |
| { after(grammarAccess.getPatternAccess().getLeftSquareBracketKeyword_2_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Pattern__Group_2__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Pattern__Group_2__2__Impl |
| rule__Pattern__Group_2__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Pattern__Group_2__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getEventAssignment_2_2()); } |
| (rule__Pattern__EventAssignment_2_2) |
| { after(grammarAccess.getPatternAccess().getEventAssignment_2_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Pattern__Group_2__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Pattern__Group_2__3__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Pattern__Group_2__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getRightSquareBracketKeyword_2_3()); } |
| |
| ']' |
| |
| { after(grammarAccess.getPatternAccess().getRightSquareBracketKeyword_2_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Memory__Group_0__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_0__0__Impl |
| rule__Memory__Group_0__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_0__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getMemoryAssignment_0_0()); } |
| (rule__Memory__MemoryAssignment_0_0) |
| { after(grammarAccess.getMemoryAccess().getMemoryAssignment_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_0__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_0__1__Impl |
| rule__Memory__Group_0__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_0__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getParAssignment_0_1()); } |
| (rule__Memory__ParAssignment_0_1) |
| { after(grammarAccess.getMemoryAccess().getParAssignment_0_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_0__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_0__2__Impl |
| rule__Memory__Group_0__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_0__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getIsDefinedByKeyword_0_2()); } |
| |
| ' is defined by' |
| |
| { after(grammarAccess.getMemoryAccess().getIsDefinedByKeyword_0_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_0__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_0__3__Impl |
| rule__Memory__Group_0__4 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_0__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getDefAssignment_0_3()); } |
| (rule__Memory__DefAssignment_0_3) |
| { after(grammarAccess.getMemoryAccess().getDefAssignment_0_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_0__4 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_0__4__Impl |
| rule__Memory__Group_0__5 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_0__4__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getWithRangeKeyword_0_4()); } |
| |
| ' with range' |
| |
| { after(grammarAccess.getMemoryAccess().getWithRangeKeyword_0_4()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_0__5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_0__5__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_0__5__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getRangeAssignment_0_5()); } |
| (rule__Memory__RangeAssignment_0_5) |
| { after(grammarAccess.getMemoryAccess().getRangeAssignment_0_5()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Memory__Group_1__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_1__0__Impl |
| rule__Memory__Group_1__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_1__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getMemoryTypeIsKeyword_1_0()); } |
| |
| 'memory type is' |
| |
| { after(grammarAccess.getMemoryAccess().getMemoryTypeIsKeyword_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_1__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_1__1__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_1__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getTypeAssignment_1_1()); } |
| (rule__Memory__TypeAssignment_1_1) |
| { after(grammarAccess.getMemoryAccess().getTypeAssignment_1_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| rule__Memory__Group_2__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_2__0__Impl |
| rule__Memory__Group_2__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_2__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getPartitionKeyword_2_0()); } |
| |
| 'Partition' |
| |
| { after(grammarAccess.getMemoryAccess().getPartitionKeyword_2_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_2__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_2__1__Impl |
| rule__Memory__Group_2__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_2__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getPartAssignment_2_1()); } |
| (rule__Memory__PartAssignment_2_1) |
| { after(grammarAccess.getMemoryAccess().getPartAssignment_2_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_2__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_2__2__Impl |
| rule__Memory__Group_2__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_2__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getRespectsKeyword_2_2()); } |
| |
| 'respects ' |
| |
| { after(grammarAccess.getMemoryAccess().getRespectsKeyword_2_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Memory__Group_2__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Memory__Group_2__3__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__Group_2__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getConstrainAssignment_2_3()); } |
| (rule__Memory__ConstrainAssignment_2_3) |
| { after(grammarAccess.getMemoryAccess().getConstrainAssignment_2_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Timming__Group_0__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_0__0__Impl |
| rule__Timming__Group_0__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_0__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getTimeAssignment_0_0()); } |
| (rule__Timming__TimeAssignment_0_0) |
| { after(grammarAccess.getTimmingAccess().getTimeAssignment_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_0__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_0__1__Impl |
| rule__Timming__Group_0__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_0__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getValueAssignment_0_1()); } |
| (rule__Timming__ValueAssignment_0_1) |
| { after(grammarAccess.getTimmingAccess().getValueAssignment_0_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_0__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_0__2__Impl |
| rule__Timming__Group_0__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_0__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getUnitsAreKeyword_0_2()); } |
| |
| ' units are' |
| |
| { after(grammarAccess.getTimmingAccess().getUnitsAreKeyword_0_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_0__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_0__3__Impl |
| rule__Timming__Group_0__4 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_0__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getUnitAssignment_0_3()); } |
| (rule__Timming__UnitAssignment_0_3) |
| { after(grammarAccess.getTimmingAccess().getUnitAssignment_0_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_0__4 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_0__4__Impl |
| rule__Timming__Group_0__5 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_0__4__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getIsDeterminedByMethodKeyword_0_4()); } |
| |
| 'is determined by method' |
| |
| { after(grammarAccess.getTimmingAccess().getIsDeterminedByMethodKeyword_0_4()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_0__5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_0__5__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_0__5__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getMethodAssignment_0_5()); } |
| (rule__Timming__MethodAssignment_0_5) |
| { after(grammarAccess.getTimmingAccess().getMethodAssignment_0_5()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Timming__Group_1__0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_1__0__Impl |
| rule__Timming__Group_1__1 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_1__0__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getBCETIsKeyword_1_0()); } |
| |
| 'BCET is' |
| |
| { after(grammarAccess.getTimmingAccess().getBCETIsKeyword_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_1__1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_1__1__Impl |
| rule__Timming__Group_1__2 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_1__1__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getValueAssignment_1_1()); } |
| (rule__Timming__ValueAssignment_1_1) |
| { after(grammarAccess.getTimmingAccess().getValueAssignment_1_1()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_1__2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_1__2__Impl |
| rule__Timming__Group_1__3 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_1__2__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getUnitsAreKeyword_1_2()); } |
| |
| ' units are' |
| |
| { after(grammarAccess.getTimmingAccess().getUnitsAreKeyword_1_2()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_1__3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_1__3__Impl |
| rule__Timming__Group_1__4 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_1__3__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getUnitAssignment_1_3()); } |
| (rule__Timming__UnitAssignment_1_3) |
| { after(grammarAccess.getTimmingAccess().getUnitAssignment_1_3()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_1__4 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_1__4__Impl |
| rule__Timming__Group_1__5 |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_1__4__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getIsDeterminedByMethodKeyword_1_4()); } |
| |
| 'is determined by method' |
| |
| { after(grammarAccess.getTimmingAccess().getIsDeterminedByMethodKeyword_1_4()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| rule__Timming__Group_1__5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| rule__Timming__Group_1__5__Impl |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__Group_1__5__Impl |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getMethodAssignment_1_5()); } |
| (rule__Timming__MethodAssignment_1_5) |
| { after(grammarAccess.getTimmingAccess().getMethodAssignment_1_5()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| rule__Model__ContractsAssignment |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getModelAccess().getContractsContractParserRuleCall_0()); } |
| ruleContract{ after(grammarAccess.getModelAccess().getContractsContractParserRuleCall_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__NameAssignment_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getNameIDTerminalRuleCall_1_0()); } |
| RULE_ID{ after(grammarAccess.getContractAccess().getNameIDTerminalRuleCall_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__ModAssignment_3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getModIDTerminalRuleCall_3_0()); } |
| RULE_ID{ after(grammarAccess.getContractAccess().getModIDTerminalRuleCall_3_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__CodeAssignment_6_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getCodeIDTerminalRuleCall_6_0_0()); } |
| RULE_ID{ after(grammarAccess.getContractAccess().getCodeIDTerminalRuleCall_6_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__AssertionAssignment_6_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getAssertionAssertionDefinitionParserRuleCall_6_1_0()); } |
| ruleassertionDefinition{ after(grammarAccess.getContractAccess().getAssertionAssertionDefinitionParserRuleCall_6_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__CodeAssignment_10_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getCodeIDTerminalRuleCall_10_0_0()); } |
| RULE_ID{ after(grammarAccess.getContractAccess().getCodeIDTerminalRuleCall_10_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__GuaranteeAssignment_10_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getGuaranteeAssertionDefinitionParserRuleCall_10_1_0()); } |
| ruleassertionDefinition{ after(grammarAccess.getContractAccess().getGuaranteeAssertionDefinitionParserRuleCall_10_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Contract__StrategyAssignment_14 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getContractAccess().getStrategyStrategyDefinitionParserRuleCall_14_0()); } |
| rulestrategyDefinition{ after(grammarAccess.getContractAccess().getStrategyStrategyDefinitionParserRuleCall_14_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__AssertionDefinition__AssertionAssignment_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionDefinitionAccess().getAssertionViewpointIdParserRuleCall_0_0()); } |
| ruleviewpointId{ after(grammarAccess.getAssertionDefinitionAccess().getAssertionViewpointIdParserRuleCall_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__AssertionDefinition__PAssignment_2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionDefinitionAccess().getPAssertionpatternParserRuleCall_2_0()); } |
| ruleassertionpattern{ after(grammarAccess.getAssertionDefinitionAccess().getPAssertionpatternParserRuleCall_2_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__StrategyDefinition__StrategyAssignment |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getStrategyDefinitionAccess().getStrategySTRINGTerminalRuleCall_0()); } |
| RULE_STRING{ after(grammarAccess.getStrategyDefinitionAccess().getStrategySTRINGTerminalRuleCall_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewpointId__ViewAssignment_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getViewViewpointKeyword_0_0()); } |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getViewViewpointKeyword_0_0()); } |
| |
| 'viewpoint' |
| |
| { after(grammarAccess.getViewpointIdAccess().getViewViewpointKeyword_0_0()); } |
| ) |
| |
| { after(grammarAccess.getViewpointIdAccess().getViewViewpointKeyword_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewpointId__View1Assignment_2_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getView1ViewIdEnumRuleCall_2_0_0()); } |
| ruleviewId{ after(grammarAccess.getViewpointIdAccess().getView1ViewIdEnumRuleCall_2_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__ViewpointId__View3Assignment_2_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getViewpointIdAccess().getView3IDTerminalRuleCall_2_1_0()); } |
| RULE_ID{ after(grammarAccess.getViewpointIdAccess().getView3IDTerminalRuleCall_2_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__AssertionpatternAssignment_0_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getAssertionpatternNounParserRuleCall_0_0_0()); } |
| ruleNoun{ after(grammarAccess.getAssertionpatternAccess().getAssertionpatternNounParserRuleCall_0_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__VAssignment_0_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getVVerbParserRuleCall_0_1_0()); } |
| ruleVerb{ after(grammarAccess.getAssertionpatternAccess().getVVerbParserRuleCall_0_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__FAssignment_0_2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getFFactParserRuleCall_0_2_0()); } |
| ruleFact{ after(grammarAccess.getAssertionpatternAccess().getFFactParserRuleCall_0_2_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__ViewAssignment_1_2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getViewViewpointIdParserRuleCall_1_2_0()); } |
| ruleviewpointId{ after(grammarAccess.getAssertionpatternAccess().getViewViewpointIdParserRuleCall_1_2_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Assertionpattern__PatternAssignment_1_5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getAssertionpatternAccess().getPatternPatternParserRuleCall_1_5_0()); } |
| rulePattern{ after(grammarAccess.getAssertionpatternAccess().getPatternPatternParserRuleCall_1_5_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Noun__NounAssignment |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getNounAccess().getNounSTRINGTerminalRuleCall_0()); } |
| RULE_STRING{ after(grammarAccess.getNounAccess().getNounSTRINGTerminalRuleCall_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Verb__VerbAssignment_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getVerbAccess().getVerbPart1ParserRuleCall_0_0()); } |
| rulepart1{ after(grammarAccess.getVerbAccess().getVerbPart1ParserRuleCall_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Verb__VAssignment_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getVerbAccess().getVSimpleParserRuleCall_1_0()); } |
| rulesimple{ after(grammarAccess.getVerbAccess().getVSimpleParserRuleCall_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Simple__VerbAssignment |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getSimpleAccess().getVerbSTRINGTerminalRuleCall_0()); } |
| RULE_STRING{ after(grammarAccess.getSimpleAccess().getVerbSTRINGTerminalRuleCall_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Fact__FactAssignment |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getFactAccess().getFactSTRINGTerminalRuleCall_0()); } |
| RULE_STRING{ after(grammarAccess.getFactAccess().getFactSTRINGTerminalRuleCall_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Pattern__PremiseAssignment_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getPremiseNonfunctionalParserRuleCall_0_0()); } |
| rulenonfunctional{ after(grammarAccess.getPatternAccess().getPremiseNonfunctionalParserRuleCall_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Pattern__EventAssignment_2_2 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getPatternAccess().getEventIDTerminalRuleCall_2_2_0()); } |
| RULE_ID{ after(grammarAccess.getPatternAccess().getEventIDTerminalRuleCall_2_2_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Nonfunctional__NonfunctionalAssignment_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getNonfunctionalAccess().getNonfunctionalMemoryParserRuleCall_0_0()); } |
| rulememory{ after(grammarAccess.getNonfunctionalAccess().getNonfunctionalMemoryParserRuleCall_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__MemoryAssignment_0_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getMemoryParameterKeyword_0_0_0()); } |
| ( |
| { before(grammarAccess.getMemoryAccess().getMemoryParameterKeyword_0_0_0()); } |
| |
| 'Parameter ' |
| |
| { after(grammarAccess.getMemoryAccess().getMemoryParameterKeyword_0_0_0()); } |
| ) |
| |
| { after(grammarAccess.getMemoryAccess().getMemoryParameterKeyword_0_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__ParAssignment_0_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getParIDTerminalRuleCall_0_1_0()); } |
| RULE_ID{ after(grammarAccess.getMemoryAccess().getParIDTerminalRuleCall_0_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__DefAssignment_0_3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getDefIDTerminalRuleCall_0_3_0()); } |
| RULE_ID{ after(grammarAccess.getMemoryAccess().getDefIDTerminalRuleCall_0_3_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__RangeAssignment_0_5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getRangeSTRINGTerminalRuleCall_0_5_0()); } |
| RULE_STRING{ after(grammarAccess.getMemoryAccess().getRangeSTRINGTerminalRuleCall_0_5_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__TypeAssignment_1_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getTypeIDTerminalRuleCall_1_1_0()); } |
| RULE_ID{ after(grammarAccess.getMemoryAccess().getTypeIDTerminalRuleCall_1_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__PartAssignment_2_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getPartIDTerminalRuleCall_2_1_0()); } |
| RULE_ID{ after(grammarAccess.getMemoryAccess().getPartIDTerminalRuleCall_2_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Memory__ConstrainAssignment_2_3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getMemoryAccess().getConstrainIDTerminalRuleCall_2_3_0()); } |
| RULE_ID{ after(grammarAccess.getMemoryAccess().getConstrainIDTerminalRuleCall_2_3_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__TimeAssignment_0_0 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getTimeWCETIsKeyword_0_0_0()); } |
| ( |
| { before(grammarAccess.getTimmingAccess().getTimeWCETIsKeyword_0_0_0()); } |
| |
| 'WCET is' |
| |
| { after(grammarAccess.getTimmingAccess().getTimeWCETIsKeyword_0_0_0()); } |
| ) |
| |
| { after(grammarAccess.getTimmingAccess().getTimeWCETIsKeyword_0_0_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__ValueAssignment_0_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getValueINTTerminalRuleCall_0_1_0()); } |
| RULE_INT{ after(grammarAccess.getTimmingAccess().getValueINTTerminalRuleCall_0_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__UnitAssignment_0_3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getUnitIDTerminalRuleCall_0_3_0()); } |
| RULE_ID{ after(grammarAccess.getTimmingAccess().getUnitIDTerminalRuleCall_0_3_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__MethodAssignment_0_5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getMethodSTRINGTerminalRuleCall_0_5_0()); } |
| RULE_STRING{ after(grammarAccess.getTimmingAccess().getMethodSTRINGTerminalRuleCall_0_5_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__ValueAssignment_1_1 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getValueINTTerminalRuleCall_1_1_0()); } |
| RULE_INT{ after(grammarAccess.getTimmingAccess().getValueINTTerminalRuleCall_1_1_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__UnitAssignment_1_3 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getUnitIDTerminalRuleCall_1_3_0()); } |
| RULE_ID{ after(grammarAccess.getTimmingAccess().getUnitIDTerminalRuleCall_1_3_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Timming__MethodAssignment_1_5 |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getTimmingAccess().getMethodSTRINGTerminalRuleCall_1_5_0()); } |
| RULE_STRING{ after(grammarAccess.getTimmingAccess().getMethodSTRINGTerminalRuleCall_1_5_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| rule__Behave__BehaveAssignment |
| @init { |
| int stackSize = keepStackSize(); |
| } |
| : |
| ( |
| { before(grammarAccess.getBehaveAccess().getBehaveSTRINGTerminalRuleCall_0()); } |
| RULE_STRING{ after(grammarAccess.getBehaveAccess().getBehaveSTRINGTerminalRuleCall_0()); } |
| ) |
| |
| ; |
| finally { |
| restoreStackSize(stackSize); |
| } |
| |
| |
| RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*; |
| |
| RULE_INT : ('0'..'9')+; |
| |
| RULE_STRING : ('"' ('\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|'\''|'\\')|~(('\\'|'"')))* '"'|'\'' ('\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|'\''|'\\')|~(('\\'|'\'')))* '\''); |
| |
| RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/'; |
| |
| RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?; |
| |
| RULE_WS : (' '|'\t'|'\r'|'\n')+; |
| |
| RULE_ANY_OTHER : .; |
| |
| |