Uses of Class
jml2b.pog.util.IdentifierResolver

Packages that use IdentifierResolver
jml2b.pog.util   
 

Uses of IdentifierResolver in jml2b.pog.util
 

Methods in jml2b.pog.util with parameters of type IdentifierResolver
 boolean IdentifierResolver.shortNameEquals(IdentifierResolver ts)
          Test whether the short name equals the parameter.