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

@Test
public void checkNoAssignmentInGuard() {
	String scope = "internal: var myInt : integer var myBool : boolean = true";
	EObject expression = super.parseExpression("[myBool = false]", ReactionTrigger.class.getSimpleName(), scope);
	AssertableDiagnostics validationResult = tester.validate(expression);
	validationResult.assertErrorContains(STextValidator.GUARD_CONTAINS_ASSIGNMENT);
	expression = super.parseExpression("[myInt = 5]", ReactionTrigger.class.getSimpleName(), scope);
	validationResult = tester.validate(expression);
	Iterator<Diagnostic> diag = validationResult.getAllDiagnostics().iterator();
	while (diag.hasNext()) {
		Diagnostic d = diag.next();
		if (d.getMessage().equals(GUARD_EXPRESSION)) {
			assertEquals(STextValidator.GUARD_EXPRESSION, d.getMessage());
		} else {
			assertEquals(STextValidator.GUARD_CONTAINS_ASSIGNMENT, d.getMessage());
		}
	}
	expression = super.parseExpression("[myInt++ > 10]", ReactionTrigger.class.getSimpleName(), scope);
	validationResult = tester.validate(expression);
	validationResult.assertErrorContains(STextValidator.GUARD_CONTAINS_ASSIGNMENT);
}
 

/**
 * @see STextValidator#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(STextValidator.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);
}
 

/**
 * @see STextValidator#checkVariableDefinition(org.yakindu.sct.model.stext.stext.VariableDefinition)
 */
@Test
public void checkVariableDefinition() {
	Scope context = (Scope) parseExpression("interface if : var i : void", InterfaceScope.class.getSimpleName());
	AssertableDiagnostics validationResult = tester.validate(context);
	validationResult.assertErrorContains(STextTypeInferrer.VARIABLE_VOID_TYPE);
}
 

/**
 *
 * @see STextValidator#checkAssignmentExpression(org.yakindu.sct.model.stext.stext.AssignmentExpression)
 */
@Test
public void checkAssignmentExpression() {
	
	String context = "interface: var i : integer = 42 var j : integer =23";
	
	EObject expression = super.parseExpression("i += (i+=3) +4", Expression.class.getSimpleName(), context);
	AssertableDiagnostics validationResult = tester.validate(expression);
	validationResult.assertErrorContains(STextValidator.ASSIGNMENT_EXPRESSION);
	expression = super.parseExpression("i += (j+=3) +4", Expression.class.getSimpleName(), context);
	validationResult = tester.validate(expression);
	validationResult.assertOK();
}
 

@Test
public void checkLeftHandAssignment() {
	
	String scope = "interface if : operation myOperation() : boolean event Event1 : boolean var myVar : boolean";
	
	EObject model = super.parseExpression("3 = 3", Expression.class.getSimpleName(), scope);
	AssertableDiagnostics validationResult = tester.validate(model);
	validationResult.assertErrorContains(ERROR_LEFT_HAND_ASSIGNMENT_MSG);
	
	// Check for referenced elements in interface
	model = super.parseExpression("if.myOperation() = true", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertErrorContains(ERROR_LEFT_HAND_ASSIGNMENT_MSG);
	
	model = super.parseExpression("if.Event1 = true", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertErrorContains(ERROR_LEFT_HAND_ASSIGNMENT_MSG);
	
	model = super.parseExpression("if.myVar = true", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	
	// check for internal referenced elements
	scope = "internal : operation myOperation() : integer event Event1 : integer var myVar : integer";
	
	model = super.parseExpression("myOperation() = 5", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertErrorContains(ERROR_LEFT_HAND_ASSIGNMENT_MSG);
	
	model = super.parseExpression("Event1 = true", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertErrorContains(ERROR_LEFT_HAND_ASSIGNMENT_MSG);
	
	model = super.parseExpression("myVar = 5", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	
}
 

@Test
public void checkAnnotations() {
	String scope;
	StatechartSpecification model;
	AssertableDiagnostics validationResult;
	
	scope = "@EventDriven";
	model = (StatechartSpecification) super.parseExpression(scope, StatechartSpecification.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertOK();
	
	scope = "@CycleBased(200)";
	model = (StatechartSpecification) super.parseExpression(scope, StatechartSpecification.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertOK();
	
	scope = "@CycleBased(200)\n" + "@EventDriven";
	model = (StatechartSpecification) super.parseExpression(scope, StatechartSpecification.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertErrorContains(CONTRADICTORY_ANNOTATIONS.split("%s")[0]);
	
	scope = "@ParentFirstExecution";
	model = (StatechartSpecification) super.parseExpression(scope, StatechartSpecification.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertOK();
	
	scope = "@ChildFirstExecution";
	model = (StatechartSpecification) super.parseExpression(scope, StatechartSpecification.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertOK();
	
	scope = "@ParentFirstExecution\n" + "@ChildFirstExecution";
	model = (StatechartSpecification) super.parseExpression(scope, StatechartSpecification.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertErrorContains(CONTRADICTORY_ANNOTATIONS.split("%s")[0]);
}
 

/**
 * @see STextValidator#checkGuardHasBooleanExpression(org.yakindu.sct.model.stext.stext.ReactionTrigger)
 */
@Test
public void checkGuard() {
	EObject expression = super.parseExpression("[3 * 3]", ReactionTrigger.class.getSimpleName());
	AssertableDiagnostics validationResult = tester.validate(expression);
	validationResult.assertErrorContains(STextValidator.GUARD_EXPRESSION);
	String scope = "internal: var myInt : integer var myBool : boolean = true";
	expression = super.parseExpression("[myInt <= 5 || !myBool ]", ReactionTrigger.class.getSimpleName(), scope);
	validationResult = tester.validate(expression);
	validationResult.assertOK();
}
 

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

/**
 * @see STextValidator#checkVarArgParameterIsLast(Operation)
 */
@Test
public void checkVarArgParameterIsLast() {
	String scope = "internal: operation myOperation(param1... : integer)"
			+ "operation myOperation2(param0 : string, param1 ... : integer)";
	EObject model = super.parseExpression(scope, InternalScope.class.getSimpleName());
	AssertableDiagnostics validationResult = tester.validate(model);
	validationResult.assertOK();
	
	model = super.parseExpression("myOperation()", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	model = super.parseExpression("myOperation(5)", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	model = super.parseExpression("myOperation(5,5,5)", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	model = super.parseExpression("myOperation2('')", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	model = super.parseExpression("myOperation2('',5)", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	model = super.parseExpression("myOperation2('',5,5,5)", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertOK();
	
	model = super.parseExpression("myOperation2('','')", Expression.class.getSimpleName(), scope);
	validationResult = tester.validate(model);
	validationResult.assertErrorContains("Incompatible types string and integer.");
	
	scope = "internal: operation myOperation(param1... : integer, param2...: integer)";
	model = super.parseExpression(scope, InternalScope.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertError(ERROR_VAR_ARGS_LAST_CODE);
	
	scope = "internal: operation myOperation2(param1 ... : integer, param0 : string)";
	model = super.parseExpression(scope, InternalScope.class.getSimpleName());
	validationResult = tester.validate(model);
	validationResult.assertError(ERROR_VAR_ARGS_LAST_CODE);
	
}