|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectse.sics.jasper.SPPredicate
public class SPPredicate
Deprecated Instead use module and predicate name as strings directly or specify the goal as a string.
You should not inherit from SPPredicate
.
SICStus.query(java.lang.String, java.lang.String, se.sics.jasper.SPTerm[])
,
SICStus.queryCutFail(java.lang.String, java.lang.String, se.sics.jasper.SPTerm[])
,
SICStus.openQuery(java.lang.String, java.lang.String, se.sics.jasper.SPTerm[])
Constructor Summary | |
---|---|
SPPredicate(SICStus sp,
SPCanonicalAtom name,
int arity,
SPCanonicalAtom module)
Deprecated Creates a predicate reference. |
|
SPPredicate(SICStus sp,
java.lang.String name,
int arity,
java.lang.String module)
Deprecated Creates a predicate reference. |
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SPPredicate(SICStus sp, java.lang.String name, int arity, java.lang.String module) throws SPException
sp
- A reference to the SICStus object to which this
predicate belongs to.name
- The predicate's name.arity
- The arity of the predicate (in [0..255])module
- The module to use whe calling the predicate.
When calling the predicate the module (M) specified
is used as if the call was call(M:NAME(ARGS)). This means that
the module specified will affect calls to meta preciates and
goal expansion.
For backward compatibility module can be null or "" to signify
the type-in module but this use is deprecated (and slow).
SPException
- The predicate reference could not be
created. The usual cause for this is that the predicate is not
defined (although detecting undefined predicates in this manner
is not guaranteed and will not happen by
default as of 3.8.5).public SPPredicate(SICStus sp, SPCanonicalAtom name, int arity, SPCanonicalAtom module) throws SPException
sp
- A reference to the SICStus object to which this
predicate belongs to.name
- The predicate's name.arity
- The arity of the predicate (in [0..255])module
- The module to use whe calling the predicate.
When calling the predicate the module (M) specified
is used as if the call was call(M:NAME(ARGS)). This means that
the module specified will affect calls to meta preciates and
goal expansion.
SPException
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |