| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | mps.pl | 92 exceptions:[176 : "Message passing system error"], label
102 exceptions:[4 : "Host is not instantiated.", 5 : "Host is not a string or atom.", 176 : "Message passing system error"], label
112 exceptions:[], label
122 exceptions:[4 : "NotifyPred is not instatiated", 5 : "NotifyPred is not of the form atom/integer", 6 : "NotifyPred has wrong arity", 60 : "The specified notification predicate does not exist", 176 : "Message passing system error"], label
132 exceptions:[4 : "Port is not instantiated", 5 : "Port is not an integer", 176 : "Message passing system error"], label
142 exceptions:[4 : "Key, Name or Signature is uninstatiated", 5 : "Key, Name or Signature is not a string", 176 : "Message passing system error"], label
152 exceptions:[4 : "Key or Name is uninstatiated", 5 : "Key or Name is not a string", 176 : "Message passing system error"], label
162 exceptions:[4 : "Key, Name or Signature is uninstantiated", 5 : "Key, Name or Signature is not a string", 176 : "Message passing system error"], label
172 exceptions:[4 : "Port is not instantiated", 5 : "Port is not an integer", 176 : "Message passing system error"], label
182 exceptions label
[all...] |
| H A D | fd.pl | 1079 exceptions:[4 : "Var is not a domain variable."], label
1186 exceptions:[4 : "Var is not a domain variable."], label
1959 exceptions:[4 : "List is not ground.", 5 : "List contains an element which is neither integer nor an integer interval.", 6 : "The size of the resulting domain is too large.", 6 : "The list is not sorted properly."], label
2027 exceptions:[4 : "List is not ground.", 5 : "List contains an element which is neither atomic nor an integer interval.", 6 : "The size of the resulting domain is too large.", 6 : "The lower bound of an integer interval is greater than its upper bound."], label
2920 exceptions:[4 : "List is not ground.", 5 : "List contains an element which is neither atomic nor an integer interval.", 6 : "The size of the resulting domain is too large.", 6 : "The lower bound of an integer interval is greater than its upper bound."], label
3058 exceptions:[4 : "Duration1 or Duration2 is not instantiated.", 5 : "Duration1 or Duration2 or Flag is instantiated but not an integer."], label
3227 exceptions:[5: "Vars is a variable."], label
|
| H A D | remote_tools.pl | 214 exceptions: [ label
|
| H A D | suspend.pl | 783 exceptions:[5 : "Range contains non-integers."], label
888 exceptions:[5 : "Range contains non-integers."], label
982 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
997 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1012 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1027 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1042 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1057 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1072 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1087 exceptions label
1102 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1117 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1132 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1147 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1163 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1179 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1195 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1211 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1227 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1243 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1256 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1271 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1286 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1301 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1316 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1331 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1346 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1361 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1376 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1391 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1406 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1421 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1436 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1451 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1466 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1481 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1496 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1511 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1551 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1590 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1640 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1682 exceptions:[24 : "Expr is not an arithmetic expression."], label
1697 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1712 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1727 exceptions:[24 : "Expr1 or Expr2 is not an arithmetic expression."], label
1742 exceptions:[24 : "Expr is not an arithmetic expression."], label
[all...] |
| H A D | asm.pl | 155 exceptions:[5 : "PredSpec is not in correct form.", 6 : "WAMCode is not in correct form. "], label
184 exceptions:[5 : "PredSpec or Module is not in correct form.", 6 : "WAMCode is not in correct form. ", 80 : "Module is not an existing module."], label
212 exceptions:[5 : "PredSpec is not in correct form.", 60 : "PredSpec does not exist in current module."], label
255 exceptions:[5 : "PredSpec or Module not in correct form.", 60 : "PredSpec does not exist in module Module.", 80 : "Module is not an existing module."], label
332 exceptions:[5 : "PredSpec not in correct form.", 60 : "PredSpec not defined in the current module."], label
361 exceptions:[5 : "PredSpec or Module not in correct form.", 60 : "PredSpec not defined in module Module.", 80 : "Module is not an existing module."], label
|
| /barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
| H A D | conjunto.pl | 504 exceptions:[4 : "Var is not a domain variable."], label
|
| H A D | chr_doc.pl | 38 exceptions:[5 : "File is not an atom or string.", 170 : "UNIX cannot open the file."], label
64 exceptions:[5 : "File is not an atom or string.", 170 : "UNIX cannot open the file."], label
418 exceptions:[4 : "Constraint is a free variable.", 6 : "Constraint is term which is not a constraint (defined by constraint handling rules)."], label
|
| H A D | propia.pl | 92 exceptions:[4 : "Goal or Language is not instantiated.", 6 : "Language is not a correct language.", 68 : "Goal is an undefined procedure."], label
|
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ |
| H A D | shadow_cons.pl | 59 exceptions:[4:"StoreName is uninstantiated",5:"StoreName is not an atom"], label
88 exceptions:[4:"StoreName is uninstantiated",5:"StoreName is not an atom"], label
|