[功能] 支持 JSpecify @NullMarked

**描述该特性** 在生成构造器时支持 JSpecify 的 `@NullMarked` 注解。目标：创建具有所有非可选字段设置且在实例化后不为空的类实例。