問題タブ [predicates]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - グアバ述語を使用して配列リストで重複する要素を取得する方法
一連の要素を持つ配列があります。Javaで述語されたグアバを使用して特定のフィールドを比較することにより、その配列内の重複する要素を見つける必要があります。
例:
一連の従業員の詳細を含む配列リストがあります。同じ名前の従業員の詳細を見つける必要があります。
java - Java8、フィルタリングコレクターはありますか?
コレクションをグループ化したいのですが、集計にいくつかの値を含めたくありません。それを行うための最良の解決策は何ですか?
ソリューションはコレクターになる可能性がありますfiltering(Predicate,Collector)
が、そのようなコレクターはありません。独自のコレクターを実装せずにそれを行う方法はありますか?
assertions - Alloy でアサーションをチェックするときの奇妙な動作
次のモデルでverifyingUndefinedFieldsアサーションを確認しようとしています:
次に提示されたモデルは、law6_withStaticSemantic という別のモデルを使用しています。以下は、このモデルの非常に簡略化されたバージョンです。
2 番目のモデル (law6_withStaticSemantic) は、定義された述語に従ってインスタンスを生成します。ただし、最初のモデルでアサーションを実行すると、生成された反例は、2 番目のモデルの述語で定義された条件に従いません。以前のモデルの述語を考慮して反例をチェックするアサーションを構築/実行するにはどうすればよいですか?
モデルについては、以前に次の質問で詳しく説明しました。
ruby-on-rails - 検索 ID と文字列を一緒にランサックする
Ransack を使用して検索しようとしていますが、ID と文字列を一緒に検索しようとすると問題が発生します
:id_or_title_or_user_username_cont
エラーが発生します
ActionView::Template::Error (PG::UndefinedFunction: エラー: 演算子が存在しません: 整数 ~~* 整数
私もこれを試しました
:id_eq_or_title_or_user_username_cont
次のエラーが発生します
Ransack::Search の未定義メソッド「id_eq_or_title_or_user_username_cont」
カスタム述語以外のランサックまたはカスタム述語を使用して ID と文字列を一緒に検索する適切な方法は何ですか?
ios - カウント クエリ Core Data 述語
多くのアラーム (他のエンティティ) を持つスケジュールと呼ばれるエンティティがあり、将来のアラームが 30 個未満のスケジュールのみを取得したいと考えています。あちこち検索すると、機能しないクエリが取得されます/:
(実行時に (lldb) がコンソールに表示され、その変数の初期化を指定します)