📝 Overall Description
@Mapper
interface UserDao {
User getUser(@verify String userId);
}
invoke Jmethod.getParamAnnotations(0) return empty list.
🎯 Expected Behavior
@Mapper
interface UserDao {
User getUser(@verify String userId);
}
invoke Jmethod.getParamAnnotations(0) return Verify type Annotation list
🐛 Current Behavior
@Mapper
interface UserDao {
User getUser(@verify String userId);
}
invoke Jmethod.getParamAnnotations(0) return empty list.
🔄 Reproducible Example
No response
⚙️ Tai-e Arguments
🔍 Click here to see Tai-e Options
{{The content of 'output/options.yml' file}}
🔍 Click here to see Tai-e Analysis Plan
{{The content of 'output/tai-e-plan.yml' file}}
📜 Tai-e Log
🔍 Click here to see Tai-e Log
{{The content of 'output/tai-e.log' file}}
ℹ️ Additional Information
No response