tarau.jinni
Class FunBuiltin

java.lang.Object
  |
  +--tarau.jinni.Term
        |
        +--tarau.jinni.Nonvar
              |
              +--tarau.jinni.Const
                    |
                    +--tarau.jinni.Fun
                          |
                          +--tarau.jinni.FunBuiltin

Direct Known Subclasses:

add_text, add_to, answer_source, arg, at_key, char_file_writer, chars_to_name, clause_file_writer, clear_text, collect, compute, consult, ctime, db_add, db_collect, db_remove, db_source, db_to_string, def, destroy, dialog, discharge, draw, file_char_reader, file_clause_reader, file_dialog, get, get_applet, get_arity, get_default_db, get_persistent, get_stdin, get_stdout, get_text, integer_source, is_builtin, lazy_head, lazy_tail, list_source, merge_sources, move, name_to_chars, new_button, new_canvas, new_color, new_console, new_db, new_frame, new_fun, new_image, new_label, new_panel, new_text, numbervars, pred_to_string, put, reconsult, remove_all, remove_from, resize, set, set_bg, set_color, set_fg, set_label, set_layout, set_max_answers, set_persistent, set_trace, show, source_lazy_list, source_list, source_loop, source_term, split_source, stack_dump, stop, string_char_reader, string_clause_reader, system, term_collector, term_source, term_string_collector, unfolder_source, val

public abstract class FunBuiltin

extends Fun

Template for builtins of arity >0

Fields inherited from class tarau.jinni.Fun

args

Fields inherited from class tarau.jinni.Const

aFail, anEof, aNil, aNo, aTrue, aYes, sym

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

FunBuiltin(java.lang.String f, int i)

Method Summary

abstract int	exec(Prog p) Executed when a builtin is called.
boolean	isBuiltin()

Methods inherited from class tarau.jinni.Fun

bind_to, funClone, funToString, getArg, getArity, getIntArg, init, initializedClone, isClause, listify, putArg, reaction, setArg, show_args, toBuiltin, token, toString, unify_to, unInitializedClone, watchNull

Methods inherited from class tarau.jinni.Const

eq, getKey, name, qname, the, toUnquoted

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, fromString, matches, matching_copy, numbervars, pprint, pprint, ref, stringToChars, toChars, toClause, toObject, toTerm, undo, unify, varsOf

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Constructor Detail

FunBuiltin

public FunBuiltin(java.lang.String f,
                  int i)

Method Detail

exec

public abstract int exec(Prog p)

Description copied from class: Term

Executed when a builtin is called. Needs to be overriden. Returns a run-time warning if this is forgotten.

Overrides:

exec in class Term

isBuiltin

public boolean isBuiltin()

Overrides:

isBuiltin in class Term