問題タブ [predicate]

デリゲートを使用して単純なコード ジェネレーターを作成しています。

実行時にこのエラーが発生するのはなぜですか:

ターゲット メソッドのバインド中にエラーが発生しました。

次のコードで？

XAML:

コード ビハインド:

Coq を試していますが、何をしているのか完全にはわかりません。は：

に相当：

編集：そうだと思います。

Collection<T>.TrueForAll具体的には、 /Existsなどと同様にきれいな表記を探しています。

各オブジェクトのメソッドの戻り値を検査するために foreach ループを作成しなければならないのは臭く感じられるので、より良い Java イディオムがあることを願っています。

プロローグで家系図をシミュレートする必要があります。そして、対称述語の問題があります。 事実:

ルール:

blood_relation頭が痛いです。これは私がやったことです：

そして、満足のいく結果が得られていると思います（二重印刷があります-これを修正できますか）、問題は、この関係を対称にしたいということです。今ではありません。

だから..これを修正する方法はありますか。そして、クエリが必要です: Blood_relation にないすべてのペア..

アップデート：

最初のステートメントは、どのような関係を満たす必要がありますか? 血の関係(X,Y):-血の関係(X,Y)。

申し訳ありません..それは悪いコピー/貼り付けです..それ

以上で修正されました。

その他のルールは次のとおりです。

母の弟は叔父の定義です。ちょっと変です。実装する必要があるルールがありますが、それ以外のルールを実装する方法がわかりません。私はただ混乱しています。

blood_relation対称にする方法はありますか？そしてnot_blood_relation新ルールです。そして、クエリが必要です。これは本当に頭が痛いです。多分関係ががらくたのように書かれているからです。

そして、これ以上の事実はありません。それで全部です。すべてのルール、すべての事実。

query..not(blood_relation(X,Y))は機能しません。その理由は本当にわかりません。クエリの例:

うまく動作します

これは、元の問題の単純化されたバージョンです。

Person というクラスがあります。

...そしてインスタンスを言ってみましょう:

愛用のテキストエディタで以下を文字列として書きたいと思います....

この文字列とオブジェクト インスタンスを取得し、TRUE または FALSE を評価します。つまり、オブジェクト インスタンスで Func<Person, bool> を評価します。

ここに私の現在の考えがあります：

1. 基本的な比較演算子と論理演算子をサポートするために、ANTLR に基本的な文法を実装します。Visual Basic の優先順位といくつかの機能セットをここにコピーすることを考えています: http://msdn.microsoft.com/en-us/library/fw84t893(VS.80).aspx
2. ANTLR に、提供された文字列から適切な AST を作成させます。
3. AST をウォークし、Predicate Builderフレームワークを使用して Func<Person, bool> を動的に作成します。
4. 必要に応じて Person のインスタンスに対して述語を評価する

私の質問は、これを完全に焼き過ぎたのでしょうか? 代替案はありますか？

編集：選択されたソリューション

私はダイナミック Linq ライブラリ、具体的には LINQSamples で提供されているダイナミック クエリ クラスを使用することにしました。

以下のコード:

結果は System.Boolean 型で、このインスタンスでは TRUE です。

マーク・グラベルに感謝します。

System.Linq.Dynamic nugetパッケージを含めます。ドキュメントはこちら

RssFeedDocumentのプロパティに基づいて、クラス内のこのジェネリックリストでオブジェクトを検索したいと思いますFeedId。

または演算子を使用して動的なlinqクエリを作成する必要があります。PredicateBuilderを見たことがありますが、それはC＃であり、私のプロジェクトはVBです。基本的に、次のようなWHERE句を作成する必要があります。

ただし、問題は、実行時に動的に数値を決定し、次のようなループを使用して追加する必要があることです。

どうすればそれを行うことができますか？

フェッチ要求と述語を使用して、Core Data 永続ストアから一連のオブジェクトをフェッチしています。私の現在の述語は、属性が >= 特定の値であるかどうかを単純にチェックします。現在配列に保持されているオブジェクトを最終的に除外したいことを除いて、これはすべてうまく機能します。

基本的に、一連のオブジェクトを除外できるようにする必要があります。これを行うことができる唯一の方法はobjectID、管理対象オブジェクト配列からリストを取得し、述語で別の式を作成して、すべてのオブジェクトが確実に除外されるようにすることです。同じものはありませんobjectID。いいえ@"ANY records.objectID NOT IN %@", arrayOfObjectID。

これどうやってするの？

リスト内のアイテムのIDを取得したい場合は、次のことができると理解しています。

しかし、比較を動的にしたい場合はどうなりますか？したがって、item == "box"かどうかを確認する代わりに、ユーザーが入力した文字列をデリゲートに渡し、item==searchStringかどうかを確認します。