DOMAIN_ERROR is an error class.
This commit is contained in:
parent
bea2431c3e
commit
c918c052fc
14
C/args.c
14
C/args.c
@ -102,7 +102,7 @@ Yap_ArgListToVector (Term listl, const param_t *def, int n)
|
|||||||
if (IsAtomTerm(hd)) {
|
if (IsAtomTerm(hd)) {
|
||||||
xarg *na = matchKey( AtomOfTerm( hd ), a, n, def);
|
xarg *na = matchKey( AtomOfTerm( hd ), a, n, def);
|
||||||
if (!na)
|
if (!na)
|
||||||
return failed( DOMAIN_ERROR, hd, a);
|
return failed( DOMAIN_ERROR_GENERIC_ARGUMENT, hd, a);
|
||||||
na->used = true;
|
na->used = true;
|
||||||
na->tvalue = TermNil;
|
na->tvalue = TermNil;
|
||||||
continue;
|
continue;
|
||||||
@ -117,7 +117,7 @@ Yap_ArgListToVector (Term listl, const param_t *def, int n)
|
|||||||
}
|
}
|
||||||
xarg *na = matchKey( NameOfFunctor( f ), a, n, def);
|
xarg *na = matchKey( NameOfFunctor( f ), a, n, def);
|
||||||
if (!na) {
|
if (!na) {
|
||||||
return failed( DOMAIN_ERROR, hd, a);
|
return failed( DOMAIN_ERROR_GENERIC_ARGUMENT, hd, a);
|
||||||
}
|
}
|
||||||
na->used = 1;
|
na->used = 1;
|
||||||
na->tvalue = ArgOfTerm(1, hd);
|
na->tvalue = ArgOfTerm(1, hd);
|
||||||
@ -163,7 +163,7 @@ Yap_ArgList2ToVector (Term listl, const param2_t *def, int n)
|
|||||||
if (IsAtomTerm(listl) ) {
|
if (IsAtomTerm(listl) ) {
|
||||||
xarg *na = matchKey2( AtomOfTerm(listl), a, n, def);
|
xarg *na = matchKey2( AtomOfTerm(listl), a, n, def);
|
||||||
if (!na) {
|
if (!na) {
|
||||||
return failed( DOMAIN_ERROR, listl, a);
|
return failed( DOMAIN_ERROR_GENERIC_ARGUMENT, listl, a);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (IsApplTerm(listl)) {
|
if (IsApplTerm(listl)) {
|
||||||
@ -177,7 +177,7 @@ Yap_ArgList2ToVector (Term listl, const param2_t *def, int n)
|
|||||||
}
|
}
|
||||||
xarg *na = matchKey2( NameOfFunctor( f ), a, n, def);
|
xarg *na = matchKey2( NameOfFunctor( f ), a, n, def);
|
||||||
if (!na) {
|
if (!na) {
|
||||||
return failed( DOMAIN_ERROR, listl, a);
|
return failed( DOMAIN_ERROR_GENERIC_ARGUMENT, listl, a);
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
return failed( TYPE_ERROR_LIST, listl, a);
|
return failed( TYPE_ERROR_LIST, listl, a);
|
||||||
@ -192,7 +192,7 @@ Yap_ArgList2ToVector (Term listl, const param2_t *def, int n)
|
|||||||
if (IsAtomTerm(hd)) {
|
if (IsAtomTerm(hd)) {
|
||||||
xarg *na = matchKey2( AtomOfTerm( hd ), a, n, def);
|
xarg *na = matchKey2( AtomOfTerm( hd ), a, n, def);
|
||||||
if (!na) {
|
if (!na) {
|
||||||
return failed( DOMAIN_ERROR, hd, a);
|
return failed( DOMAIN_ERROR_GENERIC_ARGUMENT, hd, a);
|
||||||
}
|
}
|
||||||
na->used = true;
|
na->used = true;
|
||||||
na->tvalue = TermNil;
|
na->tvalue = TermNil;
|
||||||
@ -204,14 +204,14 @@ Yap_ArgList2ToVector (Term listl, const param2_t *def, int n)
|
|||||||
}
|
}
|
||||||
arity_t arity = ArityOfFunctor( f );
|
arity_t arity = ArityOfFunctor( f );
|
||||||
if (arity != 1) {
|
if (arity != 1) {
|
||||||
return failed( DOMAIN_ERROR, hd, a);
|
return failed( DOMAIN_ERROR_GENERIC_ARGUMENT, hd, a);
|
||||||
}
|
}
|
||||||
xarg *na = matchKey2( NameOfFunctor( f ), a, n, def);
|
xarg *na = matchKey2( NameOfFunctor( f ), a, n, def);
|
||||||
if (na) {
|
if (na) {
|
||||||
na->used = 1;
|
na->used = 1;
|
||||||
na->tvalue = ArgOfTerm(1, hd);
|
na->tvalue = ArgOfTerm(1, hd);
|
||||||
} else {
|
} else {
|
||||||
return failed( DOMAIN_ERROR, hd, a);
|
return failed( DOMAIN_ERROR_GENERIC_ARGUMENT, hd, a);
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
return failed( INSTANTIATION_ERROR, hd, a);
|
return failed( INSTANTIATION_ERROR, hd, a);
|
||||||
|
Reference in New Issue
Block a user