소스 검색

Added TypeInferrerTests

Andreas Mülder 13 년 전
부모
커밋
321e1dc157
1개의 변경된 파일6개의 추가작업 그리고 4개의 파일을 삭제
  1. 6 4
      test-plugins/org.yakindu.sct.model.stext.test/src/org/yakindu/sct/model/stext/test/TypeInferrerTest.java

+ 6 - 4
test-plugins/org.yakindu.sct.model.stext.test/src/org/yakindu/sct/model/stext/test/TypeInferrerTest.java

@@ -721,6 +721,8 @@ public class TypeInferrerTest extends AbstractSTextTest {
 		assertTrue(ts.isInteger(getType(" ~3")));
 		assertTrue(ts.isInteger(getType("3 << 2")));
 		assertTrue(ts.isInteger(getType("5 >> 2")));
+		assertTrue(ts.isInteger(getType("myInt << 4")));
+		assertTrue(ts.isInteger(getType("myInt >> 4")));
 	}
 
 	@Test
@@ -924,16 +926,16 @@ public class TypeInferrerTest extends AbstractSTextTest {
 				EventRaisingExpression.class.getSimpleName());
 		analyzer.getType((Statement) statement);
 	}
-	
+
 	@Test
-	public void testOperationSuccess(){
+	public void testOperationSuccess() {
 		EObject statement = super.parseExpression("myInt = myOpp1()",
 				internalScope(), Expression.class.getSimpleName());
 		analyzer.getType((Statement) statement);
 	}
-	
+
 	@Test
-	public void testOperationException1(){
+	public void testOperationException1() {
 		exception.expect(TypeCheckException.class);
 		exception
 				.expectMessage("Can not assign a value of type integer to a variable of type boolean");