Class AccessPath


  • public class AccessPath
    extends Object
    • Constructor Detail

      • AccessPath

        public AccessPath​(Val value)
      • AccessPath

        public AccessPath​(Val value,
                          Field field)
    • Method Detail

      • isOverApproximated

        public boolean isOverApproximated()
      • getBase

        public Val getBase()
      • toCompactString

        public String toCompactString()
        Return the AccessPath as a compact representation. For example, a path with a base 'x' and no fields becomes 'x', a base 'y' and the fields [f,g] becomes 'y.f.g'
        Returns:
        the formatted AccessPath
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object