update docs

Author: NeVeSpl

README.md

@@ -30,6 +30,7 @@ What **eNhancedEdition** has to offer, that is not available in the NetArchTest
      - BenMorris/NetArchTest#126 - added rules for structs, enums and delegates
      - BenMorris/NetArchTest#131 - added rules for all access modifiers: public, internal, private, protected, private protected, protected internal
      - BenMorris/NetArchTest#133 - added rules: AreInheritedByAnyType, AreNotInheritedByAnyType
+     - added rules : AreUsedByAny, AreNotUsedByAny
 
 
 ## Index
@@ -140,7 +141,13 @@ Once the set of  types have been filtered, you can apply a set of conditions usi
 ```csharp
 types.That().ResideInNamespace("MyProject.Data").Should().BeSealed();
 ```
-Finally, you obtain a result from the rule by using an executor, i.e. use `GetTypes()` to return the types that match the rule or `GetResult()` to determine whether the rule has been met. Note that the result will also return a list of types that failed to meet the conditions.
+Finally, you obtain a result from the rule by using an executor, i.e. use `GetTypes()` to return the types that match the rule or `GetResult()` to determine whether the rule has been met.
+
+Note that `GetResult()` returns [`TestResult`](documentation/api.md#testresult) which contains a few lists of types:
+- `LoadedTypes` - all types loded by `Types`
+- `SelectedTypesForTesting` - types that passed predicates
+- `FailingTypes`- types that failed to meet the conditions
+
 ```csharp
 var result = types.That().ResideInNamespace("MyProject.Data").Should().BeSealed().GetResult();
 var isValid = result.IsSuccessful;
@@ -164,9 +171,9 @@ Dependency matrix:
 | h | x  | x  | x  |
 
 
-Available predicates/conditions:
+Available rules:
 
-|   | Predicate   | number<br> of required<br> dependencies <br>from the list  | type can have<br>a dependency<br>that is not<br>on the list  |  passing types |  failing types |
+|   | Rule   | number<br> of required<br> dependencies <br>from the list  | type can have<br>a dependency<br>that is not<br>on the list  |  passing types |  failing types |
 |---|---|---|---|---|---|
 | 1 | [HaveDependencyOnAny(D1, D2)](documentation/api.md#conditionhavedependencyonany) | at least 1  | yes  |  c, d, e, f, g, h, |  a, b |
 | 2 | [HaveDependencyOnAll(D1, D2)](documentation/api.md#conditionhavedependencyonall)  | all  |  yes |  g, h | a, b, c, d, e, f  |
@@ -177,6 +184,14 @@ Available predicates/conditions:
 
 Explnation why a type fails dependecy search test is available on the failing type: [IType.Explanation](documentation/api.md#itypeexplanation)
 
+
+### Reverse dependency search
+
+|   | Predicate   | number<br> of required<br> dependencies <br>from the list  | type can use<br>a type<br>that is not<br>on the list  |  passing types |  failing types |
+|---|---|---|---|---|---|
+| R1 | [AreUsedByAny(c, d)](documentation/api.md#predicateareusedbyany) | at least 1  | yes  |  D2, D3 |  D1 |
+| R1N | [AreNotUsedByAny(c, d)](documentation/api.md#predicatearenotusedbyany)  | none  |  yes |  D1 |  D2, D3  |
+
 ## Slices 
 
 ```csharp

documentation/api.md

@@ -44,6 +44,7 @@
 * [AreNotSealed](#PredicateAreNotSealed)
 * [AreNotStatic](#PredicateAreNotStatic)
 * [AreNotStructures](#PredicateAreNotStructures)
+* [AreNotUsedByAny](#PredicateAreNotUsedByAny)
 * [AreOfType](#PredicateAreOfType)
 * [ArePrivate](#PredicateArePrivate)
 * [ArePrivateProtected](#PredicateArePrivateProtected)
@@ -54,6 +55,7 @@
 * [AreStateless](#PredicateAreStateless)
 * [AreStatic](#PredicateAreStatic)
 * [AreStructures](#PredicateAreStructures)
+* [AreUsedByAny](#PredicateAreUsedByAny)
 * [DoNotHaveCustomAttribute](#PredicateDoNotHaveCustomAttribute)
 * [DoNotHaveCustomAttribute<T>](#PredicateDoNotHaveCustomAttribute)
 * [DoNotHaveCustomAttributeOrInherit](#PredicateDoNotHaveCustomAttributeOrInherit)
@@ -130,6 +132,7 @@
 * [BeStateless](#ConditionBeStateless)
 * [BeStatic](#ConditionBeStatic)
 * [BeStructures](#ConditionBeStructures)
+* [BeUsedByAny](#ConditionBeUsedByAny)
 * [HaveCustomAttribute](#ConditionHaveCustomAttribute)
 * [HaveCustomAttribute<T>](#ConditionHaveCustomAttribute)
 * [HaveCustomAttributeOrInherit](#ConditionHaveCustomAttributeOrInherit)
@@ -168,6 +171,7 @@
 * [NotBeSealed](#ConditionNotBeSealed)
 * [NotBeStatic](#ConditionNotBeStatic)
 * [NotBeStructures](#ConditionNotBeStructures)
+* [NotBeUsedByAny](#ConditionNotBeUsedByAny)
 * [NotHaveCustomAttribute](#ConditionNotHaveCustomAttribute)
 * [NotHaveCustomAttribute<T>](#ConditionNotHaveCustomAttribute)
 * [NotHaveCustomAttributeOrInherit](#ConditionNotHaveCustomAttributeOrInherit)
@@ -205,6 +209,8 @@
 
 * [FailingTypes](#TestResultFailingTypes)
 * [IsSuccessful](#TestResultIsSuccessful)
+* [LoadedTypes](#TestResultLoadedTypes)
+* [SelectedTypesForTesting](#TestResultSelectedTypesForTesting)
 
 ## IType
 
@@ -421,6 +427,11 @@ Selects types that are not static.
 PredicateList Predicate.AreNotStructures()
 ```
 Selects types that are not structures.
+### Predicate.AreNotUsedByAny
+```csharp
+PredicateList Predicate.AreNotUsedByAny(params string[] users)
+```
+Selects types that are not used by any of the supplied types.
 ### Predicate.AreOfType
 ```csharp
 PredicateList Predicate.AreOfType(params Type[] type)
@@ -471,6 +482,11 @@ Selects types that are static.
 PredicateList Predicate.AreStructures()
 ```
 Selects types that are structures.
+### Predicate.AreUsedByAny
+```csharp
+PredicateList Predicate.AreUsedByAny(params string[] users)
+```
+Selects types that are used by any of the supplied types.
 ### Predicate.DoNotHaveCustomAttribute
 ```csharp
 PredicateList Predicate.DoNotHaveCustomAttribute(Type attribute)
@@ -825,6 +841,11 @@ Selects types that are static.
 ConditionList Condition.BeStructures()
 ```
 Selects types that are structures.
+### Condition.BeUsedByAny
+```csharp
+ConditionList Condition.BeUsedByAny(params string[] users)
+```
+Selects types that are used by any of the supplied types.
 ### Condition.HaveCustomAttribute
 ```csharp
 ConditionList Condition.HaveCustomAttribute(Type attribute)
@@ -922,12 +943,12 @@ ConditionList Condition.Inherit<T>()
 Selects types that inherit a particular type.
 ### Condition.MeetCustomRule
 ```csharp
-ConditionList Condition.MeetCustomRule(Func<TypeDefinition, bool> rule)
+ConditionList Condition.MeetCustomRule(ICustomRule rule)
 ```
 Selects types that meet a custom rule.
 ### Condition.MeetCustomRule
 ```csharp
-ConditionList Condition.MeetCustomRule(ICustomRule rule)
+ConditionList Condition.MeetCustomRule(Func<TypeDefinition, bool> rule)
 ```
 Selects types that meet a custom rule.
 ### Condition.NotBeAbstract
@@ -1015,6 +1036,11 @@ Selects types that are not static.
 ConditionList Condition.NotBeStructures()
 ```
 Selects types that are not structures.
+### Condition.NotBeUsedByAny
+```csharp
+ConditionList Condition.NotBeUsedByAny(params string[] users)
+```
+Selects types that are not used by any of the particular types.
 ### Condition.NotHaveCustomAttribute
 ```csharp
 ConditionList Condition.NotHaveCustomAttribute(Type attribute)
@@ -1174,6 +1200,16 @@ Gets a list of the types that failed the test.
 IsSuccessful
 ```
 Gets a flag indicating the success or failure of the test.
+### TestResult.LoadedTypes
+```csharp
+LoadedTypes
+```
+Gets a list of all the types that were loded by <see cref="T:NetArchTest.Rules.Types"/>.
+### TestResult.SelectedTypesForTesting
+```csharp
+SelectedTypesForTesting
+```
+Gets a list of the types that passed filtering by predicates and were used as input to conditions.
 
 ## IType
 ### IType.Explanation

documentation/readme.nt

@@ -33,6 +33,7 @@ What **eNhancedEdition** has to offer, that is not available in the NetArchTest
      - BenMorris/NetArchTest#126 - added rules for structs, enums and delegates
      - BenMorris/NetArchTest#131 - added rules for all access modifiers: public, internal, private, protected, private protected, protected internal
      - BenMorris/NetArchTest#133 - added rules: AreInheritedByAnyType, AreNotInheritedByAnyType
+     - added rules : AreUsedByAny, AreNotUsedByAny
 
 
 ## Index
@@ -91,7 +92,13 @@ Once the set of  types have been filtered, you can apply a set of conditions usi
 ```csharp
 types.That().ResideInNamespace("MyProject.Data").Should().BeSealed();
 ```
-Finally, you obtain a result from the rule by using an executor, i.e. use `GetTypes()` to return the types that match the rule or `GetResult()` to determine whether the rule has been met. Note that the result will also return a list of types that failed to meet the conditions.
+Finally, you obtain a result from the rule by using an executor, i.e. use `GetTypes()` to return the types that match the rule or `GetResult()` to determine whether the rule has been met.
+
+Note that `GetResult()` returns [`TestResult`](documentation/api.md#testresult) which contains a few lists of types:
+- `LoadedTypes` - all types loded by `Types`
+- `SelectedTypesForTesting` - types that passed predicates
+- `FailingTypes`- types that failed to meet the conditions
+
 ```csharp
 var result = types.That().ResideInNamespace("MyProject.Data").Should().BeSealed().GetResult();
 var isValid = result.IsSuccessful;
@@ -115,9 +122,9 @@ Dependency matrix:
 | h | x  | x  | x  |
 
 
-Available predicates/conditions:
+Available rules:
 
-|   | Predicate   | number<br> of required<br> dependencies <br>from the list  | type can have<br>a dependency<br>that is not<br>on the list  |  passing types |  failing types |
+|   | Rule   | number<br> of required<br> dependencies <br>from the list  | type can have<br>a dependency<br>that is not<br>on the list  |  passing types |  failing types |
 |---|---|---|---|---|---|
 | 1 | [HaveDependencyOnAny(D1, D2)](documentation/api.md#conditionhavedependencyonany) | at least 1  | yes  |  c, d, e, f, g, h, |  a, b |
 | 2 | [HaveDependencyOnAll(D1, D2)](documentation/api.md#conditionhavedependencyonall)  | all  |  yes |  g, h | a, b, c, d, e, f  |
@@ -128,6 +135,14 @@ Available predicates/conditions:
 
 Explnation why a type fails dependecy search test is available on the failing type: [IType.Explanation](documentation/api.md#itypeexplanation)
 
+
+### Reverse dependency search
+
+|   | Predicate   | number<br> of required<br> dependencies <br>from the list  | type can use<br>a type<br>that is not<br>on the list  |  passing types |  failing types |
+|---|---|---|---|---|---|
+| R1 | [AreUsedByAny(c, d)](documentation/api.md#predicateareusedbyany) | at least 1  | yes  |  D2, D3 |  D1 |
+| R1N | [AreNotUsedByAny(c, d)](documentation/api.md#predicatearenotusedbyany)  | none  |  yes |  D1 |  D2, D3  |
+
 ## Slices 
 
 ```csharp