C#: Remove unsused type,class and module AccessPath.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/LibraryTypeDataFlow.qll

@@ -15,88 +15,6 @@ private import semmle.code.csharp.dataflow.internal.DelegateDataFlow
 private import semmle.code.csharp.frameworks.EntityFramework
 private import FlowSummary
 
-private newtype TAccessPath =
-  TNilAccessPath() or
-  TConsAccessPath(Content head, AccessPath tail) {
-    tail = TNilAccessPath()
-    or
-    tail = AccessPath::singleton(_) and
-    head instanceof ElementContent
-    or
-    tail = AccessPath::element()
-  }
-
-/** An access path. */
-class AccessPath extends TAccessPath {
-  /** Gets the head of this access path, if any. */
-  Content getHead() { this = TConsAccessPath(result, _) }
-
-  /** Gets the tail of this access path, if any. */
-  AccessPath getTail() { this = TConsAccessPath(_, result) }
-
-  /** Gets the length of this access path. */
-  int length() {
-    this = TNilAccessPath() and result = 0
-    or
-    result = 1 + this.getTail().length()
-  }
-
-  /** Gets the access path obtained by dropping the first `i` elements, if any. */
-  AccessPath drop(int i) {
-    i = 0 and result = this
-    or
-    result = this.getTail().drop(i - 1)
-  }
-
-  /** Holds if this access path contains content `c`. */
-  predicate contains(Content c) { c = this.drop(_).getHead() }
-
-  /** Gets a textual representation of this access path. */
-  string toString() {
-    exists(Content head, AccessPath tail |
-      head = this.getHead() and
-      tail = this.getTail() and
-      if tail.length() = 0 then result = head.toString() else result = head + ", " + tail
-    )
-    or
-    this = TNilAccessPath() and
-    result = "<empty>"
-  }
-}
-
-/** Provides predicates for constructing access paths. */
-module AccessPath {
-  /** Gets the empty access path. */
-  AccessPath empty() { result = TNilAccessPath() }
-
-  /** Gets a singleton access path containing `c`. */
-  AccessPath singleton(Content c) { result = TConsAccessPath(c, TNilAccessPath()) }
-
-  /** Gets the access path obtained by concatenating `head` onto `tail`. */
-  AccessPath cons(Content head, AccessPath tail) { result = TConsAccessPath(head, tail) }
-
-  /** Gets the singleton "element content" access path. */
-  AccessPath element() { result = singleton(any(ElementContent c)) }
-
-  /** Gets a singleton property access path. */
-  AccessPath property(Property p) {
-    result = singleton(any(PropertyContent c | c.getProperty() = p.getUnboundDeclaration()))
-  }
-
-  /** Gets a singleton field access path. */
-  AccessPath field(Field f) {
-    result = singleton(any(FieldContent c | c.getField() = f.getUnboundDeclaration()))
-  }
-
-  /** Gets a singleton synthetic field access path. */
-  AccessPath synthetic(SyntheticField f) {
-    result = singleton(any(SyntheticFieldContent c | c.getField() = f))
-  }
-
-  /** Gets an access path representing a property inside a collection. */
-  AccessPath properties(Property p) { result = TConsAccessPath(any(ElementContent c), property(p)) }
-}
-
 /** An unbound callable. */
 class SourceDeclarationCallable extends Callable {
   SourceDeclarationCallable() { this.isUnboundDeclaration() }