The "propagation"/"isolation" attributes values of the <tx:method> element correspond with enum members of
org.springframework.transaction.annotation.Propagation and
org.springframework.transaction.annotation.Isolation
It would be intuitive for attribute values to resolve to members of these respective enum classes.
An additional benefit will be that users can user Ctrl-Q to lookup details for a non-typical isolation/propagation level.
At the moment attribute values resolve to (intellij spring plugin) internal enum classes. (com.intellij.spring.model.xml.tx.Propagation/com.intellij.spring.model.xml.tx.Isolation)
Perhaps an abstract converter class could implement this is a reusable way.
The pattern is simply:
1) Try to resolve against enum class from project classpath (so that JavaDoc is available for Ctrl-Q etc)
2) If enum PsiClass is not found (perhaps module libraries not configured properly) - then fall back to an internal enum (like com.intellij.spring.model.xml.tx.Isolation).