@Deprecated
public class SPPredicate
extends java.lang.Object
You should not inherit from SPPredicate
.
Constructor and Description |
---|
SPPredicate(SICStus sp,
SPCanonicalAtom name,
int arity,
SPCanonicalAtom module)
Deprecated.
Instead use module and predicate name as strings directly or
specify the goal as a string.
|
SPPredicate(SICStus sp,
java.lang.String name,
int arity,
java.lang.String module)
Deprecated.
Instead use module and predicate name as strings directly or
specify the goal as a string.
|
Modifier and Type | Method and Description |
---|---|
int |
getArity()
Deprecated.
|
java.lang.String |
getModule()
Deprecated.
|
java.lang.String |
getName()
Deprecated.
|
@Deprecated 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 when 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 predicates 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).@Deprecated 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 when 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 predicates and goal expansion.SPException
- if an Prolog exception was thrown