package foreign.tester;
         

         
import nova.Machine;
         
import nova.Store;
         
import nova.special;
         

         
/**
         
 * Foreign functions for library(compat)
         
 * <p/>
         
 * Warranty & Liability
         
 * To the extent permitted by applicable law and unless explicitly
         
 * otherwise agreed upon, XLOG Technologies AG makes no warranties
         
 * regarding the provided information. XLOG Technologies AG assumes
         
 * no liability that any problems might be solved with the information
         
 * provided by XLOG Technologies AG.
         
 * <p/>
         
 * Rights & License
         
 * All industrial property rights regarding the information - copyright
         
 * and patent rights in particular - are the sole property of XLOG
         
 * Technologies AG. If the company was not the originator of some
         
 * excerpts, XLOG Technologies AG has at least obtained the right to
         
 * reproduce, change and translate the information.
         
 * <p/>
         
 * Reproduction is restricted to the whole unaltered document. Reproduction
         
 * of the information is only allowed for non-commercial uses. Selling,
         
 * giving away or letting of the execution of the library is prohibited.
         
 * The library can be distributed as part of your applications and libraries
         
 * for execution provided this comment remains unchanged.
         
 * <p/>
         
 * Restrictions
         
 * Only to be distributed with programs that add significant and primary
         
 * functionality to the library. Not to be distributed with additional
         
 * software intended to replace any components of the library.
         
 * <p/>
         
 * Trademarks
         
 * Jekejeke is a registered trademark of XLOG Technologies AG.
         
 */
         
public final class asmlib {
         

         
    /******************************************************************/
         
    /* kb_is_link/1, ir_is_site/1 and ir_site_name/2                  */
         
    /******************************************************************/
         

         
    /**
         
     * kb_is_link(Q): internal only
         
     * The built-in succeeds if Q is a provable.
         
     */
         
    private static boolean test_kb_is_link(Object[] args) {
         
        Object peek = Machine.deref(Machine.exec_build(args[0]));
         
        return Store.is_provable(peek);
         
    }
         

         
    /**
         
     * ir_is_site(Q): internal only
         
     * The built-in succeeds if Q is a cache.
         
     */
         
    private static boolean test_ir_is_site(Object[] args) {
         
        Object cache = Machine.deref(Machine.exec_build(args[0]));
         
        return Store.is_cache(cache);
         
    }
         

         
    /**
         
     * ir_site_name(Q, F): internal only
         
     * The built-in succeeds in F with the functor of the cache Q.
         
     */
         
    private static boolean test_ir_site_name(Object[] args) {
         
        Object cache = Machine.deref(Machine.exec_build(args[0]));
         
        return Machine.exec_unify(args[1], ((Store.Cache) cache).name);
         
    }
         

         
    /******************************************************************/
         
    /* Asm Lib Init                                                   */
         
    /******************************************************************/
         

         
    public static void main() {
         
        Store.add("kb_is_link", 1, special.make_check(asmlib::test_kb_is_link));
         
        Store.add("ir_is_site", 1, special.make_check(asmlib::test_ir_is_site));
         
        Store.add("ir_site_name", 2, special.make_check(asmlib::test_ir_site_name));
         
    }
         

         
}