Package tools.refinery.language.serializer

Class PreferShortAssertionsProblemSemanticSequencer

java.lang.Object

org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer

tools.refinery.language.serializer.ProblemSemanticSequencer

tools.refinery.language.serializer.PreferShortAssertionsProblemSemanticSequencer

All Implemented Interfaces:

org.eclipse.xtext.serializer.sequencer.ISemanticSequencer

public class PreferShortAssertionsProblemSemanticSequencer
extends ProblemSemanticSequencer

Field Summary

Fields inherited from class org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer

genericSequencer, genericSequencerProvider

Fields inherited from class org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

diagnosticProvider, errorAcceptor, feederProvider, masterSequencer, nodeProvider, sequenceAcceptor, transientValues

Constructor Summary

Constructors

Constructor	Description
PreferShortAssertionsProblemSemanticSequencer()

Method Summary

Modifier and Type	Method	Description
protected void	sequence_Assertion(org.eclipse.xtext.serializer.ISerializationContext context, Assertion semanticObject)	Contexts: Statement returns Assertion Assertion returns Assertion Constraint: ( default?='default'? ( (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?) ) )

Methods inherited from class tools.refinery.language.serializer.ProblemSemanticSequencer

sequence, sequence_AdditiveExpr_BooleanExpr_ExponentialExpr_MultiplicativeExpr, sequence_AggregationExpr, sequence_AggregatorDeclaration, sequence_ArithmeticUnaryExpr, sequence_AssertionAction, sequence_AssignmentExpr, sequence_Atom, sequence_CastExpr, sequence_ClassDeclaration, sequence_ComparisonExpr, sequence_Conjunction, sequence_Consequent, sequence_CountExpr, sequence_DatatypeDeclaration, sequence_EnumDeclaration, sequence_EnumLiteral, sequence_ExactMultiplicity, sequence_ImportStatement, sequence_InfiniteConstant, sequence_IntConstant, sequence_LatticeExpr, sequence_LogicConstant, sequence_ModalExpr, sequence_NegationExpr, sequence_NodeAssertionArgument, sequence_NodeDeclaration, sequence_Parameter, sequence_PredicateDefinition, sequence_Problem, sequence_RangeExpr, sequence_RangeMultiplicity, sequence_RealConstant, sequence_ReferenceDeclaration, sequence_RuleDefinition, sequence_ScopeDeclaration, sequence_ShortLogicConstant, sequence_StringConstant, sequence_TypeScope, sequence_UnboundedMultiplicity, sequence_VariableOrNodeExpr, sequence_WildcardAssertionArgument

Methods inherited from class org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer

init

Methods inherited from class org.eclipse.xtext.serializer.sequencer.AbstractSemanticSequencer

createContext, createNodeProvider, createSequence, createSequence, createSequencerFeeder, createSequencerFeeder, createSequencerFeeder, createSequencerFeeder, init, setMasterSequencer

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PreferShortAssertionsProblemSemanticSequencer

public PreferShortAssertionsProblemSemanticSequencer()

Method Details

sequence_Assertion

protected void sequence_Assertion(org.eclipse.xtext.serializer.ISerializationContext context,
 Assertion semanticObject)

Description copied from class: ProblemSemanticSequencer

 Contexts:
     Statement returns Assertion
     Assertion returns Assertion

 Constraint:
     (
         default?='default'? 
         (
             (relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)? value=Expr) | 
             (value=ShortLogicConstant relation=[Relation|QualifiedName] (arguments+=AssertionArgument arguments+=AssertionArgument*)?)
         )
     )
 

Overrides:

sequence_Assertion in class ProblemSemanticSequencer