MCPcopy
hub / github.com/google/mangle / DeferredPredicate

Method DeferredPredicate

ast/decl.go:312–314  ·  view source on GitHub ↗

DeferredPredicate returns true if this predicate has the deferred marker.

()

Source from the content-addressed store, hash-verified

310
311// DeferredPredicate returns true if this predicate has the deferred marker.
312func (d Decl) DeferredPredicate() bool {
313 return d.findDescr(DescrDeferredPredicate, nil)
314}
315
316// MergePredicate returns the information from the merge predicate descriptor.
317//

Callers 3

oneStepEvalClauseMethod · 0.80
oneStepEvalPremiseMethod · 0.80
EvalPremiseMethod · 0.80

Calls 1

findDescrMethod · 0.95

Tested by

no test coverage detected