public static class UMod.Pr_visitor extends UMod.Pragma00
num, pos, posdef
location
get_location, set_location
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
see also the complete user documentation .