Class ModelCheckTransformationRule<T>

Denotes a model check rule of the given type

Inheritance

object

GeneralTransformationRule

GeneralTransformationRule<T>

InPlaceTransformationRuleBase<T>

InPlaceTransformationRule<T>

ModelCheckTransformationRule<T>

Inherited Members

InPlaceTransformationRule<T>.NeedDependenciesForOutputCreation

InPlaceTransformationRule<T>.CreateComputation(object[], IComputationContext)

InPlaceTransformationRule<T>.Transform(T, ITransformationContext)

InPlaceTransformationRule<T>.Init(T, ITransformationContext)

InPlaceTransformationRuleBase<T>.OutputType

GeneralTransformationRule<T>.MarkInstantiatingFor(GeneralTransformationRule, Predicate<T>)

GeneralTransformationRule<T>.Rule<TRule>()

GeneralTransformationRule<T>.WithPattern(ITransformationRulePattern<T>)

GeneralTransformationRule<T>.WithPattern(Func<ITransformationContext, INotifyEnumerable<T>>)

GeneralTransformationRule<T>.WithPattern(Func<ITransformationContext, IEnumerable<T>>)

GeneralTransformationRule<T>.RequireByType<TRequiredInput>()

GeneralTransformationRule<T>.RequireByType<TRequiredInput>(Func<T, TRequiredInput>)

GeneralTransformationRule<T>.RequireByType<TRequiredInput1, TRequiredInput2>(Func<T, TRequiredInput1>, Func<T, TRequiredInput2>)

GeneralTransformationRule<T>.Require<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<T, TRequiredInput>)

GeneralTransformationRule<T>.Require<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<T, TRequiredInput1>, Func<T, TRequiredInput2>)

GeneralTransformationRule<T>.RequireManyByType<TRequiredInput>(Func<T, IEnumerable<TRequiredInput>>)

GeneralTransformationRule<T>.RequireManyByType<TRequiredInput1, TRequiredInput2>(Func<T, IEnumerable<Tuple<TRequiredInput1, TRequiredInput2>>>)

GeneralTransformationRule<T>.Require(GeneralTransformationRule, Func<T, object[]>)

GeneralTransformationRule<T>.Require<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Predicate<T>)

GeneralTransformationRule<T>.Require<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<T, TRequiredInput>, Predicate<T>)

GeneralTransformationRule<T>.Require<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<T, TRequiredInput1>, Func<T, TRequiredInput2>, Predicate<T>)

GeneralTransformationRule<T>.RequireMany(GeneralTransformationRule, Func<T, IEnumerable<object[]>>)

GeneralTransformationRule<T>.RequireMany<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<T, IEnumerable<TRequiredInput>>)

GeneralTransformationRule<T>.RequireMany<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<T, IEnumerable<Tuple<TRequiredInput1, TRequiredInput2>>>)

GeneralTransformationRule<T>.Call(GeneralTransformationRule, Func<T, object[]>)

GeneralTransformationRule<T>.CallMany(GeneralTransformationRule, Func<T, IEnumerable<object[]>>)

GeneralTransformationRule<T>.CallByType<TRequiredInput>(Func<T, TRequiredInput>)

GeneralTransformationRule<T>.CallByType<TRequiredInput1, TRequiredInput2>(Func<T, TRequiredInput1>, Func<T, TRequiredInput2>)

GeneralTransformationRule<T>.Call<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<T, TRequiredInput>)

GeneralTransformationRule<T>.Call<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<T, TRequiredInput1>, Func<T, TRequiredInput2>)

GeneralTransformationRule<T>.Call<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Predicate<T>)

GeneralTransformationRule<T>.Call<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<T, TRequiredInput>, Predicate<T>)

GeneralTransformationRule<T>.Call<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<T, TRequiredInput1>, Func<T, TRequiredInput2>, Predicate<T>)

GeneralTransformationRule<T>.CallManyByType<TRequiredInput>(Func<T, IEnumerable<TRequiredInput>>)

GeneralTransformationRule<T>.CallManyByType<TRequiredInput1, TRequiredInput2>(Func<T, IEnumerable<Tuple<TRequiredInput1, TRequiredInput2>>>)

GeneralTransformationRule<T>.CallMany<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<T, IEnumerable<TRequiredInput>>)

GeneralTransformationRule<T>.CallMany<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<T, IEnumerable<Tuple<TRequiredInput1, TRequiredInput2>>>)

GeneralTransformationRule<T>.InputType

GeneralTransformationRule<T>.CallFor<TRequiredInput>(Func<TRequiredInput, T>)

GeneralTransformationRule<T>.CallFor<TRequiredInput1, TRequiredInput2>(Func<TRequiredInput1, TRequiredInput2, T>)

GeneralTransformationRule<T>.CallFor<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<TRequiredInput, T>)

GeneralTransformationRule<T>.CallFor<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<TRequiredInput1, TRequiredInput2, T>)

GeneralTransformationRule<T>.CallFor<TRequiredInput>(Func<TRequiredInput, T>, Predicate<TRequiredInput>)

GeneralTransformationRule<T>.CallFor<TRequiredInput1, TRequiredInput2>(Func<TRequiredInput1, TRequiredInput2, T>, Func<TRequiredInput1, TRequiredInput2, bool>)

GeneralTransformationRule<T>.CallFor<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<TRequiredInput, T>, Predicate<TRequiredInput>)

GeneralTransformationRule<T>.CallFor<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<TRequiredInput1, TRequiredInput2, T>, Func<TRequiredInput1, TRequiredInput2, bool>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput>(Func<TRequiredInput, IEnumerable<T>>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput1, TRequiredInput2>(Func<TRequiredInput1, TRequiredInput2, IEnumerable<T>>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput>(Func<TRequiredInput, IEnumerable<T>>, Predicate<TRequiredInput>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput1, TRequiredInput2>(Func<TRequiredInput1, TRequiredInput2, IEnumerable<T>>, Func<TRequiredInput1, TRequiredInput2, bool>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<TRequiredInput, IEnumerable<T>>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<TRequiredInput1, TRequiredInput2, IEnumerable<T>>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput>(GeneralTransformationRule<TRequiredInput>, Func<TRequiredInput, IEnumerable<T>>, Predicate<TRequiredInput>)

GeneralTransformationRule<T>.CallForEach<TRequiredInput1, TRequiredInput2>(GeneralTransformationRule<TRequiredInput1, TRequiredInput2>, Func<TRequiredInput1, TRequiredInput2, IEnumerable<T>>, Func<TRequiredInput1, TRequiredInput2, bool>)

GeneralTransformationRule<T>.CallForOutputSensitive<TRequiredInput, TRequiredOutput>(Func<TRequiredInput, TRequiredOutput, T>)

GeneralTransformationRule<T>.CallForOutputSensitive<TRequiredInput1, TRequiredInput2, TRequiredOutput>(Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, T>)

GeneralTransformationRule<T>.CallForOutputSensitive<TRequiredInput, TRequiredOutput>(TransformationRuleBase<TRequiredInput, TRequiredOutput>, Func<TRequiredInput, TRequiredOutput, T>)

GeneralTransformationRule<T>.CallForOutputSensitive<TRequiredInput1, TRequiredInput2, TRequiredOutput>(TransformationRuleBase<TRequiredInput1, TRequiredInput2, TRequiredOutput>, Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, T>)

GeneralTransformationRule<T>.CallForOutputSensitive<TRequiredInput, TRequiredOutput>(Func<TRequiredInput, TRequiredOutput, T>, Func<TRequiredInput, TRequiredOutput, bool>)

GeneralTransformationRule<T>.CallForOutputSensitive<TRequiredInput1, TRequiredInput2, TRequiredOutput>(Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, T>, Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, bool>)

GeneralTransformationRule<T>.CallForOutputSensitive<TRequiredInput, TRequiredOutput>(TransformationRuleBase<TRequiredInput, TRequiredOutput>, Func<TRequiredInput, TRequiredOutput, T>, Func<TRequiredInput, TRequiredOutput, bool>)

GeneralTransformationRule<T>.CallForEachOutputSensitive<TRequiredInput, TRequiredOutput>(Func<TRequiredInput, TRequiredOutput, IEnumerable<T>>)

GeneralTransformationRule<T>.CallForEachOutputSensitive<TRequiredInput1, TRequiredInput2, TRequiredOutput>(Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, IEnumerable<T>>)

GeneralTransformationRule<T>.CallForEachOutputSensitive<TRequiredInput, TRequiredOutput>(Func<TRequiredInput, TRequiredOutput, IEnumerable<T>>, Func<TRequiredInput, TRequiredOutput, bool>)

GeneralTransformationRule<T>.CallForEachOutputSensitive<TRequiredInput1, TRequiredInput2, TRequiredOutput>(Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, IEnumerable<T>>, Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, bool>)

GeneralTransformationRule<T>.CallForEachOutputSensitive<TRequiredInput, TRequiredOutput>(TransformationRuleBase<TRequiredInput, TRequiredOutput>, Func<TRequiredInput, TRequiredOutput, IEnumerable<T>>)

GeneralTransformationRule<T>.CallForEachOutputSensitive<TRequiredInput1, TRequiredInput2, TRequiredOutput>(TransformationRuleBase<TRequiredInput1, TRequiredInput2, TRequiredOutput>, Func<TRequiredInput1, TRequiredInput2, TRequiredOutput, IEnumerable<T>>)

GeneralTransformationRule<T>.TraceInput<TKey>(Func<T, TKey>)

GeneralTransformationRule<T>.TraceInput<TKey>(TraceEntryGroup<TKey, T>, Func<T, TKey>)

GeneralTransformationRule<T>.CallFor(GeneralTransformationRule, Func<Computation, T>, bool)

GeneralTransformationRule<T>.CallFor(GeneralTransformationRule, Func<Computation, T>, Predicate<Computation>, bool)

GeneralTransformationRule<T>.CallForEach(GeneralTransformationRule, Func<Computation, IEnumerable<T>>, bool)

GeneralTransformationRule<T>.CallForEach(GeneralTransformationRule, Func<Computation, IEnumerable<T>>, Predicate<Computation>, bool)

GeneralTransformationRule<T>.ToString()

GeneralTransformationRule.Transformation

GeneralTransformationRule.Dependencies

GeneralTransformationRule.OutputDelayLevel

GeneralTransformationRule.TransformationDelayLevel

GeneralTransformationRule.IsUnique

GeneralTransformationRule.BaseRule

GeneralTransformationRule.IsInstantiating(Computation)

GeneralTransformationRule.HasCompliantInput(Computation)

GeneralTransformationRule.Require(GeneralTransformationRule)

GeneralTransformationRule.Call(GeneralTransformationRule)

GeneralTransformationRule.MarkInstantiatingFor(GeneralTransformationRule)

GeneralTransformationRule.MarkInstantiatingFor(GeneralTransformationRule, Predicate<Computation>)

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

Namespace: NMF.Transformations

Assembly: NMF.Models.Transformations.dll

Syntax

public class ModelCheckTransformationRule<T> : InPlaceTransformationRule<T> where T : class

Type Parameters

Name	Description
T	The type of elements

Methods

| Edit this page View Source

RegisterDependencies()

Registers all the dependencies (both calling and non-calling) and additional configuration

Declaration

public override void RegisterDependencies()

Overrides

GeneralTransformationRule.RegisterDependencies()

Remarks

This method is called during initialization of the entire transformation and is independent of any transformation contexts. However, this method may rely on the Transformation-property.

Extension Methods

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>)

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>, ITransformationContext)

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>, ITransformationContext, bool)

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>, ITransformationContext, bool, Func<InPlaceComputationWrapper<TInput>, bool>)

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>, ITransformationContext, Func<InPlaceComputationWrapper<TInput>, bool>)

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>, bool)

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>, bool, Func<InPlaceComputationWrapper<TInput>, bool>)

IncrementalExtensions.ToComputationSource<TInput>(InPlaceTransformationRuleBase<TInput>, Func<InPlaceComputationWrapper<TInput>, bool>)