public static void logUndeclaredType(String type, Position position) {
        logger.log(Level.WARNING, 
                "Type {0} is used at {1} but not declared", 
                new Object[] {
                    type, position
                });
    }