@Test
public void testTypeProperties() {
assertEquals("any", BuiltinTypes.ANY_TYPE.getName());
assertNull(BuiltinTypes.ANY_TYPE.getSupertype());
assertEquals("void", BuiltinTypes.VOID_TYPE.getName());
if (BuiltinTypes.VOID_TYPE.getSupertype() != null) {
System.err.println("It is " + BuiltinTypes.VOID_TYPE.getSupertype());
}
assertNull(BuiltinTypes.VOID_TYPE.getSupertype());
assertEquals("int", BuiltinTypes.INTEGER_TYPE.getName());
assertEquals(BuiltinTypes.INTEGER_TYPE.getSupertype(), BuiltinTypes.ANY_TYPE.getType());
assertEquals("boolean", BuiltinTypes.BOOLEAN_TYPE.getName());
assertEquals(BuiltinTypes.BOOLEAN_TYPE.getSupertype(), BuiltinTypes.ANY_TYPE.getType());
assertEquals("string", BuiltinTypes.STRING_TYPE.getName());
assertEquals(BuiltinTypes.STRING_TYPE.getSupertype(), BuiltinTypes.ANY_TYPE.getType());
}
