Functions — github.com/corca-ai/nose

hub / github.com/corca-ai/nose / functions

Functions9,967 in github.com/corca-ai/nose

⨍ Functions 9,967◇ Types & classes 849

↓ 4 callersFunctiondomain_or_sequence_dependency_ids

( il: &Il, interner: &Interner, receiver: NodeId, contract: MethodReceiverContract, cache:

crates/nose-semantics/src/library_api/receiver_dependencies/domain.rs:4

↓ 4 callersMethodelapsed

(start: Option<Instant>)

crates/nose-detect/src/units/timing.rs:25

↓ 4 callersFunctionempty_or_single_block_child

(il: &Il, node: NodeId)

crates/nose-detect/src/il_utils.rs:9

↓ 4 callersFunctionevaluate

(manifest_path: Path, nose: Path)

bench/type4/preflight_axis.py:39

↓ 4 callersMethodexact_capable

(self)

crates/nose-semantics/src/packs.rs:258

↓ 4 callersFunctionexact_conditional_direct_effect_fragment_root

( il: &Il, interner: &Interner, node: NodeId, )

crates/nose-detect/src/units/fragments/sequence.rs:137

↓ 4 callersFunctionexact_direct_effect_statement_root

(il: &Il, interner: &Interner, node: NodeId)

crates/nose-detect/src/units/fragments/sequence.rs:269

↓ 4 callersFunctionexact_literal_safe

(il: &Il, node: NodeId)

crates/nose-detect/src/strict_exact/primitives.rs:3

↓ 4 callersFunctionexact_self_field_assignment_fragment_root

Field-write fingerprints model final receiver+field state. Expose only Java's fixed `this.field = ...`; arbitrary receivers such as `other.field = ...

crates/nose-detect/src/units/fragments/assignment.rs:39

↓ 4 callersFunctionexactly_one_kid

True when exactly one of `kids` is a node whose kind satisfies `pred`. The `ordered_*_effect_sequence` recognizers use it to assert a block's shape (e

crates/nose-detect/src/fragment/conditional_guard.rs:441

↓ 4 callersFunctionexpect_async_boundary_contains_throwing_boundary

( il: &Il, interner: &Interner, throwing_tag: &str, message: &str, )

crates/nose-frontend/src/swift/tests/async_protocols.rs:54

↓ 4 callersMethodexternal_row_conflicts

(&self)

crates/nose-semantics/src/packs/external.rs:314

↓ 4 callersFunctionextract_all_generator_shape

(fn: ast.FunctionDef)

bench/type4/python_loop_demorgan_proof_facts.py:587

↓ 4 callersFunctionextract_loop_shape

(fn: ast.FunctionDef)

bench/type4/python_loop_demorgan_proof_facts.py:634

↓ 4 callersFunctionfamily_status

A family's status against a `since=` snapshot: `new`/`changed` (in the comparison) or `unchanged` (present in the snapshot, so absent from the changed

crates/nose-cli/src/query_baseline_gate.rs:61

↓ 4 callersFunctionfield_names

(src: &str)

crates/nose-frontend/src/ruby/tests.rs:71

↓ 4 callersFunctionfile_defines_name_visible_at

( il: &Il, interner: &Interner, name: &str, occurrence_span: nose_il::Span, )

crates/nose-normalize/src/library_api_evidence/recording.rs:322

↓ 4 callersFunctionfinite_number

(value: object, label: str)

scripts/check-query-regression.py:67

↓ 4 callersFunctionfire_policy_query_base

(dir: &Path, extra: &[&str])

crates/nose-cli/tests/cli/query_base/tier_policy.rs:193

↓ 4 callersFunctionfirst_semantic_named_child

(node: TsNode)

crates/nose-frontend/src/python.rs:34

↓ 4 callersFunctionformat_key

(key: u64)

crates/nose-cli/src/baseline.rs:46

↓ 4 callersFunctionfree_name_call_il

(lang: Lang, name: &str, arg_count: usize)

crates/nose-normalize/src/library_api_evidence/tests/call_result_domains.rs:13

↓ 4 callersMethodfresh_opaque

(&mut self)

crates/nose-normalize/src/value_graph/canonicalize/core.rs:64

↓ 4 callersFunctionfunction_unit

Build a `Func` unit from a `name`/`parameters`/`body`-shaped node and register it for detection (a `Method` when `method`, else a `Function`). Every f

crates/nose-frontend/src/lower/expr_helpers.rs:32

↓ 4 callersFunctiongit

A git command rooted at `root`, with inherited git env vars cleared so it always operates on `root`'s repo — not on a `GIT_DIR`/`GIT_WORK_TREE` set by

crates/nose-cli/src/divergence/git.rs:9

↓ 4 callersMethodgo

(&mut self, old_id: NodeId)

crates/nose-normalize/src/cfg_norm.rs:45

↓ 4 callersFunctiongo_provider_and_importer

( provider_src: &str, importer_src: &str, interner: &Interner, )

crates/nose-frontend/src/module_imports/tests/go_namespace.rs:7

↓ 4 callersMethodgo_val

Copy an old-arena expression subtree into the new arena.

crates/nose-normalize/src/recursion.rs:317

↓ 4 callersFunctiongo_zero_map_literal_contract_for_node

( il: &Il, interner: &Interner, node: NodeId, )

crates/nose-semantics/src/map_statics.rs:80

↓ 4 callersFunctiongo_zero_map_lookup_contract

(lang: Lang)

crates/nose-semantics/src/map_statics.rs:72

↓ 4 callersFunctionident_of

Extract the binding identifier from a (simple) pattern.

crates/nose-frontend/src/rust/functions.rs:413

↓ 4 callersFunctionimport_fact_evidence_rhs

Evidence-only import fact resolution for semantic consumers. Import proof is intentionally not encoded in the lowered `Seq` payload; callers rely on a

crates/nose-semantics/src/import_facts.rs:93

↓ 4 callersFunctionimported_binding_symbol_ids

( evidence: &[EvidenceRecord], module: &str, exported: &str, )

crates/nose-frontend/src/lower/tests.rs:346

↓ 4 callersFunctionimported_namespace_symbol

Prove that `node` denotes a static imported namespace for `module`.

crates/nose-semantics/src/symbol_identity.rs:250

↓ 4 callersFunctionimported_occurrence_symbol_dependencies_valid_with_cache

( il: &Il, interner: &Interner, symbol_record: &EvidenceRecord, expected: SymbolEvidenceKind,

crates/nose-semantics/src/library_api/imported_occurrences.rs:36

↓ 4 callersMethodinfer_param_value_domains

(self, il: &Il, root: NodeId)

crates/nose-semantics/src/operators.rs:294

↓ 4 callersMethodinline_eval_pure_body

Evaluate an admitted callee body in the caller's builder behind a sink fence. The body runs through the SAME statement processor a unit build uses —

crates/nose-normalize/src/value_graph/inline.rs:271

↓ 4 callersMethodintern_ac_chain

( &mut self, opc: u32, operands: &[ValueId], )

crates/nose-normalize/src/value_graph/canonicalize/binary.rs:214

↓ 4 callersFunctionis_append_call

(il: &Il, interner: &Interner, node: NodeId)

crates/nose-detect/src/fragment/conditional_guard.rs:449

↓ 4 callersFunctionis_assoc_comm_code

Associative *and* commutative operators (flatten-eligible).

crates/nose-normalize/src/value_graph/ops.rs:234

↓ 4 callersMethodis_collection_or_set

(self)

crates/nose-il/src/node/domains.rs:82

↓ 4 callersMethodis_free_name_value

(&self, value: ValueId, name: &str)

crates/nose-normalize/src/value_graph/state.rs:542

↓ 4 callersMethodis_js_like_lang

(&self)

crates/nose-normalize/src/value_graph/state.rs:527

↓ 4 callersMethodis_static_non_float_collection_expr

( &self, collection: NodeId, )

crates/nose-normalize/src/value_graph/collections/defaults.rs:330

↓ 4 callersMethodis_string

(self)

crates/nose-il/src/node/domains.rs:140

↓ 4 callersMethodis_zero_literal

(&self, node: NodeId)

crates/nose-normalize/src/value_graph/collections/cardinality.rs:379

↓ 4 callersFunctioniter_top_level_word_offsets

(text: str, word: str)

scripts/scheduling-lifecycle-boundary-audit.py:1925

↓ 4 callersFunctionjava_concurrent_type_import_dependency

( il: &nose_il::Il, dependency: EvidenceId, supported_types: &[&'static str], )

crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/java/receiver_provenance.rs:341

↓ 4 callersFunctionjava_enclosing_method_like_region

(text: str, index: int)

scripts/scheduling-lifecycle-boundary-audit.py:1686

↓ 4 callersFunctionjava_list_of_import_evidence_il

( interner: &Interner, import_in_root: bool, )

crates/nose-semantics/src/tests/library_api_evidence/records/receiver_records.rs:200

↓ 4 callersFunctionjava_map_factory_positional_arg_count_supported

( kind: JavaMapFactoryKind, arg_count: usize, )

crates/nose-semantics/src/constructor_contracts.rs:309

↓ 4 callersFunctionjava_map_factory_uses_positional_entries

(kind: JavaMapFactoryKind)

crates/nose-semantics/src/constructor_contracts.rs:339

↓ 4 callersFunctionjava_math_call_il

(method: &str, arg_count: usize)

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/scalar_integer.rs:40

↓ 4 callersFunctionjava_provider_and_importer_src

( provider_src: &str, importer_src: &str, interner: &Interner, )

crates/nose-frontend/src/module_imports/tests/support.rs:79

↓ 4 callersFunctionjava_stdlib_collection_factory_evidence

( id: u32, call_span: Span, contract: LibraryCollectionFactoryContract, arity: u16, depend

crates/nose-normalize/src/value_graph/tests/support/library_api.rs:322

↓ 4 callersFunctionjava_stdlib_math_record

( id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract,

crates/nose-semantics/src/tests/library_api_evidence/records.rs:337

↓ 4 callersFunctionjs_array_is_array_call_il

(interner: &Interner)

crates/nose-semantics/src/tests/library_api_evidence/resolution.rs:3

↓ 4 callersFunctionjs_like_builtin_promise_record

( id: u32, span: Span, contract_id: LibraryApiContractId, callee: LibraryApiCalleeContract,

crates/nose-semantics/src/tests/library_api_evidence/records.rs:149

↓ 4 callersFunctionlanguage_core_evidence

( id: u32, lang: Lang, anchor: EvidenceAnchor, kind: EvidenceKind, dependencies: Vec<Evide

crates/nose-detect/src/strict_exact/tests/support.rs:73

↓ 4 callersFunctionlanguage_core_provenance

(lang: Lang)

crates/nose-frontend/src/module_imports/tests/support.rs:177

↓ 4 callersFunctionlanguage_core_symbol_evidence

( id: u32, lang: Lang, anchor: EvidenceAnchor, symbol: SymbolEvidenceKind, status: Evidenc

crates/nose-normalize/src/idioms/tests/support.rs:38

↓ 4 callersFunctionlanguage_core_symbol_evidence_with_dependencies

( id: u32, lang: Lang, anchor: EvidenceAnchor, symbol: SymbolEvidenceKind, dependencies: V

crates/nose-normalize/src/value_graph/tests/support.rs:143

↓ 4 callersMethodlanguage_core_type_domain_provenance

(&self)

crates/nose-frontend/src/lower/evidence.rs:216

↓ 4 callersFunctionlanguage_source_fact_provenance

(lang: Lang)

crates/nose-semantics/src/language_profile.rs:48

↓ 4 callersFunctionlibrary_api_callback_obligation

( lang: Lang, id: LibraryApiContractId, )

crates/nose-semantics/src/library_api/admission/callbacks.rs:72

↓ 4 callersFunctionlibrary_api_contract_obligations_match_call

( il: &Il, interner: Option<&Interner>, call: NodeId, id: LibraryApiContractId, record: &E

crates/nose-semantics/src/library_api/admission/iterator_sources.rs:28

↓ 4 callersFunctionlibrary_api_dependency_id_for_canonical_builtin_call_contract

( il: &Il, interner: Option<&Interner>, call: NodeId, accepts: impl Fn( &EvidenceRecor

crates/nose-semantics/src/library_api/receiver_dependencies/api_records/canonical.rs:100

↓ 4 callersFunctionlibrary_api_dependency_id_for_receiver_domain_call

( il: &Il, interner: &Interner, call: NodeId, contract: MethodReceiverContract, )

crates/nose-semantics/src/library_api/receiver_dependencies/api_records.rs:190

↓ 4 callersFunctionlibrary_api_evidence_ids_at

( evidence: &[EvidenceRecord], span: Span, contract_hash: u64, callee_hash: u64, arity: u1

crates/nose-frontend/src/lower/tests.rs:68

↓ 4 callersFunctionlibrary_api_record_models_canonical_builtin

( il: &Il, call: NodeId, record: &EvidenceRecord, id: LibraryApiContractId, builtin: Built

crates/nose-semantics/src/library_api/receiver_dependencies/api_records/canonical.rs:307

↓ 4 callersFunctionlibrary_free_name_shadow_policy

(lang: Lang, shadow_guard: bool)

crates/nose-semantics/src/library_api/rows.rs:547

↓ 4 callersFunctionlibrary_imported_collection_factory_contracts

( lang: Lang, )

crates/nose-semantics/src/library_api/rows.rs:192

↓ 4 callersFunctionlibrary_map_factory_result_domain

(_contract: LibraryMapFactoryContract)

crates/nose-semantics/src/library_api/contracts.rs:311

↓ 4 callersFunctionlibrary_map_get_default_contract

( lang: Lang, method: &str, arg_count: usize, )

crates/nose-semantics/src/library_api/rows/methods.rs:482

↓ 4 callersFunctionlibrary_promise_catch_contract

( lang: Lang, method: &str, arg_count: usize, )

crates/nose-semantics/src/library_api/rows/methods/promise.rs:26

↓ 4 callersFunctionlibrary_rust_option_and_then_contract

( lang: Lang, method: &str, arg_count: usize, )

crates/nose-semantics/src/method_families.rs:240

↓ 4 callersFunctionlocal_nontrivial_assignment_chain

( il: &Il, first_assign: NodeId, second_assign: NodeId, )

crates/nose-detect/src/il_utils.rs:67

↓ 4 callersFunctionlower_block

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/go/statements.rs:22

↓ 4 callersFunctionlower_condition

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/swift/statements.rs:307

↓ 4 callersFunctionlower_field

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/java/items.rs:443

↓ 4 callersFunctionlower_item

Lower a top-level / module-level item.

crates/nose-frontend/src/rust/items.rs:7

↓ 4 callersFunctionlower_js_static_global_or_var

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/js_ts/globals.rs:193

↓ 4 callersFunctionlower_stmt

Lower one statement. `in_class` tags nested `def`s as methods. Returns `None` for statements that are pure noise for clone detection (imports, globals

crates/nose-frontend/src/python/statements.rs:8

↓ 4 callersFunctionlower_stmt

(lo: &mut Lowering, node: TsNode)

crates/nose-frontend/src/swift/statements.rs:21

↓ 4 callersFunctionlower_update

`x++` / `++x` / `x--` → `x = x +/- 1`.

crates/nose-frontend/src/js_ts/control.rs:43

↓ 4 callersFunctionlowered_source

(path: &str, src: &str, lang: Lang)

crates/nose-cli/src/verify_admission/runtime_boundary/tests.rs:4

↓ 4 callersFunctionmap_key_view_call_il

( lang: Lang, method: &str, arg_count: usize, )

crates/nose-semantics/src/tests/library_api_evidence/admission_resolvers/map_key_view.rs:3

↓ 4 callersFunctionmentioned_cids

All canonical variable ids referenced anywhere in `node`'s subtree.

crates/nose-normalize/src/value_graph/ops.rs:37

↓ 4 callersFunctionmethod_call_library_api_evidence

( id: u32, lang: Lang, method: &str, call_span: Span, arity: usize, dependencies: Vec<

crates/nose-detect/src/units/tests/support.rs:160

↓ 4 callersFunctionmissing_evidence_for_raw_tag

(path: &str, src: &str, lang: Lang, tag: &str)

crates/nose-cli/src/verify_admission/runtime_boundary/tests.rs:26

↓ 4 callersMethodmk_nullish_map_default

A NULL-guarded map default (`m.get(k) ?? d`, `m.get(k) == null ? d : …`) is the faithful nullish coalesce — it replaces BOTH absent (`undefined`) AND

crates/nose-normalize/src/value_graph/collections/defaults.rs:101

↓ 4 callersFunctionmodule_binding_mutating_method_contract

( lang: Lang, method: &str, arg_count: usize, )

crates/nose-semantics/src/effects.rs:583

↓ 4 callersMethodname

(self)

crates/nose-frontend/src/html.rs:82

↓ 4 callersMethodname

(&self)

crates/nose-cli/src/detect_pipeline.rs:12

↓ 4 callersFunctionname_is_assigned_in_scope

(il: &Il, name: Symbol, scope: NodeId)

crates/nose-semantics/src/evidence/domain.rs:508

↓ 4 callersMethodnearest_module_scope_containing_span

(&self, span: Span)

crates/nose-il/src/il.rs:210

↓ 4 callersFunctionnode_is_static_literal_name

(il: &nose_il::Il, node: NodeId, expected: &str)

crates/nose-cli/src/verify_admission/runtime_boundary/async_runtime/ruby.rs:191

↓ 4 callersFunctionnode_tag_valued

Like [`node_tag`] but **value-sensitive** for literals: a retained int/bool/string literal contributes its concrete value, not just its abstract class

crates/nose-normalize/src/commutative.rs:97

↓ 4 callersFunctionnormalize_ws

Collapse internal whitespace runs to single spaces and trim — so source formatting differences (newlines/indentation inside a selector or value) do no

crates/nose-frontend/src/css.rs:416

↓ 4 callersFunctionnose_output

(args: &[String])

crates/nose-cli/tests/cli/support.rs:266

← previous next →701–800 of 9,967, ranked by callers