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