Java Code Examples for org.eclipse.xtext.junit4.validation.AssertableDiagnostics#assertAny()

/**
 * @see SGenJavaValidator#checkDeprecatedParameters(GeneratorEntry)
 */
@Test
public void checkDeprecatedParameters() {
	EObject model = parseExpression(
			"GeneratorModel for yakindu::java { statechart Example { feature Outlet {targetFolder = \"src-gen\"  targetProject = \"TestProject\" }}}",
			GeneratorModel.class.getSimpleName());
	if (!(model instanceof GeneratorModel)) {
		fail("Model is of the wrong type");
	} else {
		GeneratorModel genModel = (GeneratorModel) model;
		FeatureParameter featureParameter = genModel.getEntries().get(0).getFeatures().get(0).getType().getParameters().get(0);
		featureParameter.setDeprecated(true);
		AssertableDiagnostics result = tester.validate(genModel);
		result.assertAny(new MsgPredicate(String.format(DEPRECATED, featureParameter.getName())));
	}
}
 

/**
 * @see SGenJavaValidator#checkDeprecatedFeatures(GeneratorEntry)
 */
@Test
public void checkDeprecatedFeatures() {
	EObject model = parseExpression(
			"GeneratorModel for yakindu::java { statechart Example { feature Outlet {targetFolder = \"src-gen\"  targetProject = \"TestProject\" }}}",
			GeneratorModel.class.getSimpleName());
	if (!(model instanceof GeneratorModel)) {
		fail("Model is of the wrong type");
	} else {
		GeneratorModel genModel = (GeneratorModel) model;
		FeatureType type = genModel.getEntries().get(0).getFeatures().get(0).getType();
		type.setDeprecated(true);
		AssertableDiagnostics result = tester.validate(genModel);
		result.assertAny(new MsgPredicate(String.format(DEPRECATED, type.getName())));
	}
}
 

/**
 * @see SGenJavaValidator#checkGeneratorExists(GeneratorModel)
 */
@Test
public void checkGeneratorExists() {
	EObject model = parseExpression("GeneratorModel for yakindu::unknown {}", GeneratorModel.class.getSimpleName());
	AssertableDiagnostics result = tester.validate(model);
	result.assertAny(new MsgPredicate(UNKOWN_GENERATOR));
}
 

protected void assertDuplicateErrors(AssertableDiagnostics validate,
		String elementClassName, String duplicateName,
		String... msgFragments) {
	//System.out.println(diagnosticsToString(validate));
	String messageFragment = "Duplicate " + elementClassName + " '"
			+ duplicateName + "'";
	validate.assertAll(AssertableDiagnostics.errorMsg(messageFragment),
			AssertableDiagnostics.errorMsg(messageFragment));
	for (String msgFragment : msgFragments) {
		validate.assertAny(AssertableDiagnostics.errorMsg(msgFragment));
	}
}
 

/**
 * @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));
	}
}
 

/**
 * @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));
}
 

/**
 * @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));
}
 

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

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

@Test
public void synchronizationTransitionCount() {
	Statechart statechart = loadStatechart("SynchronizationTransitionCount.sct");
	AssertableDiagnostics diagnostics = tester.validate(statechart);
	diagnostics.assertDiagnosticsCount(2);
	diagnostics.assertAny(errorCode(SYNCHRONIZATION_TRANSITIONS_REQUIRE_MULTIPLE_IN_OR_MULTIPLE_OUT_CODE));
}
 

/**
 * @see SGenJavaValidator#checkParameterValueType(org.yakindu.sct.model.sgen.FeatureParameterValue)
 *
 */
@Test
public void checkParameterValueType() {
	EObject model = parseExpression(
			"GeneratorModel for yakindu::java { statechart Example { feature Outlet { targetFolder = true }}}",
			GeneratorModel.class.getSimpleName());
	AssertableDiagnostics result = tester.validate(model);
	result.assertAny(new MsgPredicate("Incompatible types string and boolean."));
}
 

@Test
public void checkInitialValue() {
	EObject model = parseExpression("GeneratorModel for yakindu::java { var x : boolean = 5 }",
			GeneratorModel.class.getSimpleName());
	AssertableDiagnostics result = tester.validate(model);
	result.assertAny(new MsgPredicate("Incompatible types boolean and integer."));
}
 

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

/**
 * @see SGenJavaValidator#checkDomainCompatibility(GeneratorModel)
 */
@Test
public void checkDomainCompatibility() {
	EObject model = parseExpression("GeneratorModel for yakindu::java { statechart UnknownDomainStatechart { }}",
			GeneratorModel.class.getSimpleName());
	AssertableDiagnostics result = tester.validate(model);
	result.assertAny(new MsgPredicate(
			"This generator can not be used for domain does.not.exist. Valid domains are [com.yakindu.domain.java, org.yakindu.domain.default]"));
}
 

@Test
public void orthogonalTargetStates_StateInTopLevelRegion() {
	Statechart statechart = loadStatechart("NotOrthogonalRegion02.sct");
	AssertableDiagnostics diagnostics = tester.validate(statechart);
	diagnostics.assertDiagnosticsCount(2);
	diagnostics.assertAny(errorCode(SYNCHRONIZATION_REQUIRES_ORTHOGONAL_SOURCE_STATES_CODE));
	diagnostics.assertAny(errorCode(SYNCHRONIZATION_REQUIRES_ORTHOGONAL_TARGET_STATES_CODE));
}
 

@Test
public void orthogonalTargetStates_StateInParentStateRegion() {
	Statechart statechart = loadStatechart("NotOrthogonalRegion01.sct");
	AssertableDiagnostics diagnostics = tester.validate(statechart);
	diagnostics.assertDiagnosticsCount(2);
	diagnostics.assertAny(errorCode(SYNCHRONIZATION_REQUIRES_ORTHOGONAL_SOURCE_STATES_CODE));
	diagnostics.assertAny(errorCode(SYNCHRONIZATION_REQUIRES_ORTHOGONAL_TARGET_STATES_CODE));
}
 

@Test
public void checkFeatureConfiguration() {
	EObject model = null;
	AssertableDiagnostics result = null;

	String start = "GeneratorModel for yakindu::c { statechart Example {";

	model = parseExpression(start + "feature OutEventAPI {observables = false}}}",
			GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertAny(
			new MsgPredicate(String.format(CDefaultFeatureValueProvider.REQUIRED_TRUE_PARAMETER, "OutEventAPI")));

	model = parseExpression(start + "feature OutEventAPI {observables = false getters = false}}}",
			GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertAny(
			new MsgPredicate(String.format(CDefaultFeatureValueProvider.REQUIRED_TRUE_PARAMETER, "OutEventAPI")));

	model = parseExpression(start + " feature OutEventAPI {observables = true}}}",
			GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertDiagnosticsCount(1);

	model = parseExpression(start + "feature OutEventAPI {observables = true getters = true}}}",
			GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertDiagnosticsCount(1);

	model = parseExpression(start + "feature OutEventAPI {observables = true getters = false}}}",
			GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertDiagnosticsCount(1);

	model = parseExpression(start + "feature OutEventAPI {observables = false getters = true}}}",
			GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertDiagnosticsCount(1);

	model = parseExpression(start + "feature OutEventAPI {getters = true}}}", GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertDiagnosticsCount(1);

	model = parseExpression(start + "feature OutEventAPI {getters = false}}}",
			GeneratorModel.class.getSimpleName());
	result = tester.validate(model);
	result.assertDiagnosticsCount(1);
}