/** {@inheritDoc} */ public SymbolKey getSymbolKey() { return functor.getSymbolKey(); } }
/** * {@inheritDoc} * * <p/>Sets the top-level flag on a functor, if appropriate. */ protected void enterFunctor(Functor functor) { if (isTopLevel()) { symbolTable.put(functor.getSymbolKey(), SymbolTableKeys.SYMKEY_TOP_LEVEL_FUNCTOR, true); } }
constantSymKeys.add(functor.getSymbolKey());
/** {@inheritDoc} */ protected void enterFunctor(Functor functor) { String head = traverser.isInHead() ? "/head" : ""; String last = traverser.isLastBodyFunctor() ? "/last" : ""; String symKey = functor.getSymbolKey().toString(); if (traverser.isTopLevel()) { addLineToRow("functor(" + symKey + ")" + head + last); } else { addLineToRow("arg(" + symKey + ")"); } nextRow(); }
symbolTable.put(clause.getBody()[i].getSymbolKey(), SymbolTableKeys.SYMKEY_PERM_VARS_REMAINING, permVarsRemaining); permVarsRemaining += permVarsRemainingCount[i];
/** {@inheritDoc} */ public void visit(Functor functor) { // functor is ground if all of its arguments are ground. boolean ground = true; if (functor.getArguments() != null) { for (Term argument : functor.getArguments()) { SymbolKey symbolKey = argument.getSymbolKey(); TermDomain annotation = (TermDomain) symbolTable.get(symbolKey, TERM_DOMAIN); if ((annotation == null) || !annotation.ground) { ground = false; break; } } } /*log.fine((ground ? "ground " : "non-ground ") + functor.toString(interner, true, false));*/ symbolTable.put(functor.getSymbolKey(), TERM_DOMAIN, new TermDomain(ground)); }
/** {@inheritDoc} */ public void visit(Functor functor) { // functor is ground if all of its arguments are ground. boolean ground = true; if (functor.getArguments() != null) { for (Term argument : functor.getArguments()) { SymbolKey symbolKey = argument.getSymbolKey(); TermDomain annotation = (TermDomain) symbolTable.get(symbolKey, TERM_DOMAIN); if ((annotation == null) || !annotation.ground) { ground = false; break; } } } /*log.fine((ground ? "ground " : "non-ground ") + functor.toString(interner, true, false));*/ symbolTable.put(functor.getSymbolKey(), TERM_DOMAIN, new TermDomain(ground)); }
(Integer) defaultBuiltIn.getSymbolTable().get(expression.getSymbolKey(), SYMKEY_PERM_VARS_REMAINING);
(Integer) symbolTable.get(nextFunctor.getSymbolKey(), SymbolTableKeys.SYMKEY_ALLOCATION);
(Integer) defaultBuiltIn.getSymbolTable().get(expression.getSymbolKey(), SYMKEY_PERM_VARS_REMAINING);
(Integer) symbolTable.get(nextFunctor.getSymbolKey(), SymbolTableKeys.SYMKEY_ALLOCATION); addrMode = (byte) ((allocation & 0xff00) >> 8); address = (byte) (allocation & 0xff);
(Integer) symbolTable.get(expression.getSymbolKey(), SymbolTableKeys.SYMKEY_PERM_VARS_REMAINING);