Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/SWI-Prolog/packages-jpl
/ hasFunctor
Method
hasFunctor
src/main/java/org/jpl7/JRef.java:89–92 ·
view source on GitHub ↗
(String name, int arity)
Source
from the content-addressed store, hash-verified
87
}
88
89
public
boolean hasFunctor(String name,
int
arity) {
90
return
false;
// according to functor/3, a <jref>(0x01d8000)'s functor
91
// name is the blob itself
92
}
93
94
95
/**
Callers
14
methodStaticTermIsJNull
Method · 0.45
methodInstanceTermIsJNull
Method · 0.45
testTextToTerm1
Method · 0.45
testTextToTerm2
Method · 0.45
testGoalWithModulePrefix3
Method · 0.45
testGoalWithModulePrefix4
Method · 0.45
testGoalWithModulePrefix5
Method · 0.45
testGoalWithModulePrefix6
Method · 0.45
testAtomHasFunctorWrongName
Method · 0.45
testAtomHasFunctorWrongArity
Method · 0.45
testStaticQueryInvalidSourceText2
Method · 0.45
testStaticQueryInvalidSourceText1
Method · 0.45
Calls
no outgoing calls
Tested by
12
methodStaticTermIsJNull
Method · 0.36
methodInstanceTermIsJNull
Method · 0.36
testTextToTerm1
Method · 0.36
testTextToTerm2
Method · 0.36
testGoalWithModulePrefix3
Method · 0.36
testGoalWithModulePrefix4
Method · 0.36
testGoalWithModulePrefix5
Method · 0.36
testGoalWithModulePrefix6
Method · 0.36
testAtomHasFunctorWrongName
Method · 0.36
testAtomHasFunctorWrongArity
Method · 0.36
testStaticQueryInvalidSourceText2
Method · 0.36
testStaticQueryInvalidSourceText1
Method · 0.36