Examples with AssertableDiagnostics org.eclipse.xtext.junit4.validation.AssertableDiagnostics used on opensource projects

Example 36 with AssertableDiagnostics

use of org.eclipse.xtext.junit4.validation.AssertableDiagnostics in project statecharts by Yakindu.

the class SGenJavaValidatorTest method checkRequiredFeatures.

/**
 * @see SGenJavaValidator#checkRequiredFeatures(org.yakindu.sct.model.sgen.GeneratorEntry)
 */
@Test
public void checkRequiredFeatures() {
    EObject model = parseExpression("GeneratorModel for yakindu::java { statechart Example {}}", GeneratorModel.class.getSimpleName());
    AssertableDiagnostics result = tester.validate(model);
    result.assertAny(new MsgPredicate(MISSING_REQUIRED_FEATURE));
}

Example 37 with AssertableDiagnostics

use of org.eclipse.xtext.junit4.validation.AssertableDiagnostics in project statecharts by Yakindu.

the class SGenJavaValidatorTest method checkRequiredParameters.

/**
 * @see SGenJavaValidator#checkRequiredParameters(FeatureConfiguration)
 */
@Test
public void checkRequiredParameters() {
    EObject model = parseExpression("GeneratorModel for yakindu::java { statechart Example { feature Outlet {}}}", GeneratorModel.class.getSimpleName());
    AssertableDiagnostics result = tester.validate(model);
    result.assertAny(new MsgPredicate(MISSING_REQUIRED_PARAMETER));
}

Example 38 with AssertableDiagnostics

use of org.eclipse.xtext.junit4.validation.AssertableDiagnostics in project statecharts by Yakindu.

the class SGenJavaValidatorTest method checkEntriesExist.

/**
 * @see SGenJavaValidator#checkDeprecatedParameters(GeneratorEntry)
 */
@Test
public void checkEntriesExist() {
    EObject model = parseExpression("GeneratorModel for yakindu::java {}", GeneratorModel.class.getSimpleName());
    if (!(model instanceof GeneratorModel)) {
        fail("Model is of the wrong type");
    } else {
        GeneratorModel genModel = (GeneratorModel) model;
        AssertableDiagnostics result = tester.validate(genModel);
        result.assertAny(new MsgPredicate(EMPTY_SGEN));
    }
}

Example 39 with AssertableDiagnostics

use of org.eclipse.xtext.junit4.validation.AssertableDiagnostics in project statecharts by Yakindu.

the class STextJavaValidatorTest method checkEventDefinition.

/**
 * @see STextJavaValidator#checkEventDefinition(org.yakindu.sct.model.stext.stext.EventDefinition)
 */
@Test
public void checkEventDefinition() {
    // No local declarations in interface scope
    EObject model = super.parseExpression("interface MyInterface: event Event1", InterfaceScope.class.getSimpleName());
    AssertableDiagnostics result = tester.validate(model);
    result.assertErrorContains(LOCAL_DECLARATIONS);
    // No in declarations in internal scope
    model = super.parseExpression("internal: in event Event1", InternalScope.class.getSimpleName());
    result = tester.validate(model);
    result.assertDiagnosticsCount(1);
    result.assertErrorContains(STextJavaValidator.IN_OUT_DECLARATIONS);
    // No out declarations in internal scope
    model = super.parseExpression("internal: out event Event1", InternalScope.class.getSimpleName());
    result = tester.validate(model);
    result.assertDiagnosticsCount(1);
    result.assertErrorContains(IN_OUT_DECLARATIONS);
}

Example 40 with AssertableDiagnostics

use of org.eclipse.xtext.junit4.validation.AssertableDiagnostics in project statecharts by Yakindu.

the class STextJavaValidatorTest method checkTimeEventSpecValueExpression.

@Test
public void checkTimeEventSpecValueExpression() {
    EObject expression = super.parseExpression("after true s", ReactionTrigger.class.getSimpleName());
    AssertableDiagnostics validationResult = tester.validate(expression);
    validationResult.assertErrorContains(STextJavaValidator.TIME_EXPRESSION);
}