Specification that is satisfied by any ToCandidate that is a
FromCandidate satisfing the inner specification.
Inheritance Hierarchy
| Object | |||
| VisitableBase | |||
| SpecificationBase<(Of <(<'Variant<(Of <(<'FromCandidate, ToCandidate>)>)>, ToCandidate>)>)> | |||
| Variant<(Of <(<'FromCandidate, ToCandidate>)>)> | |||
Assembly: Epic.Prelude
Declaration Syntax
| C# |
[SerializableAttribute] public sealed class Variant<FromCandidate, ToCandidate> : SpecificationBase<Variant<FromCandidate, ToCandidate>, ToCandidate>, IEquatable<Variant<FromCandidate, ToCandidate>>, IMonadicSpecificationComposition<ToCandidate>, ISpecification, IVisitable where FromCandidate : class where ToCandidate : class
Generic Template Parameters
- FromCandidate
- Type of the objects that can be tested with inner specification.
- ToCandidate
- Type of the objects that can be tested with this specification.
Members
| All Members | Methods | Properties | |||
| Member | Description | |
|---|---|---|
| EqualsA(Variant<(Of <<'(FromCandidate, ToCandidate>)>>)) |
Determines whether the specified Variant<(Of <(<'FromCandidate, ToCandidate>)>)> is equal to the current one.
(Overrides SpecificationBase<(Of <(<'Variant<(Of <(<'FromCandidate, ToCandidate>)>)>, ToCandidate>)>)>.EqualsA(TSpecification).) | |
| FirstCandidateType | (Overrides SpecificationBase<(Of <(<'Variant<(Of <(<'FromCandidate, ToCandidate>)>)>, ToCandidate>)>)>.FirstCandidateType.) | |
| InnerSpecification |
The ISpecification<(Of <(<'TCandidate>)>)> that must be satisfied by ToCandidate for this specification.
| |
| IsSatisfiedByA(ToCandidate) |
Determines whether this specification is satisfied by a the specified candidate.
(Overrides SpecificationBase<(Of <(<'Variant<(Of <(<'FromCandidate, ToCandidate>)>)>, ToCandidate>)>)>.IsSatisfiedByA(Candidate).) | |
| OfAnotherType<(Of <<'(Other>)>>)()()()() |
Return the specification produced by the OfType<(Of <<'(TOther>)>>)()()()() method
of the InnerSpecification.
(Overrides SpecificationBase<(Of <(<'Variant<(Of <(<'FromCandidate, ToCandidate>)>)>, ToCandidate>)>)>.OfAnotherType<(Of <<'(Other>)>>)()()()().) | |
| ToString()()()() |
Returns a String that represents the current specification in a mathematical notation.
(Overrides Object.ToString()()()().) |
