Uses of Class
alice.tuprolog.Struct

Packages that use Struct
alice.tuprolog   
alice.tuprolog.lib   
 

Uses of Struct in alice.tuprolog
 

Methods in alice.tuprolog that return Struct
 Struct Struct.getArg(java.lang.String name)
          Gets an argument inside this structure, given its name
 Struct Struct.listTail()
          Gets the tail of this structure supposed to be alist
 

Methods in alice.tuprolog with parameters of type Struct
 java.lang.reflect.Method Library.getLinkedMethod(Struct s)
          Gets the method linked to a builtin (null value if the builtin has not any linked service)
 

Constructors in alice.tuprolog with parameters of type Struct
Theory(Struct clauseList)
          Creates a theory from a clause list
 

Uses of Struct in alice.tuprolog.lib
 

Methods in alice.tuprolog.lib that return Struct
 Struct JavaLibrary.register(java.lang.Object obj)
          Registers an object, with automatic creation of the identifier.
 Struct JavaLibrary.registerDynamic(java.lang.Object obj)
          Registers an object for the query life-time, with the automatic generation of the identifier.
 

Methods in alice.tuprolog.lib with parameters of type Struct
 boolean JavaLibrary.java_object_3(Term className, Struct arg, Term id)
          Creates of a java object - not backtrackable case
 boolean JavaLibrary.java_class_4(Struct classSource, Struct className, Struct classPathes, Term id)
          Creates of a java class
 boolean JavaLibrary.java_call_3(Term objId, Struct method, Term idResult)
          Calls a method of a Java object
 boolean JavaLibrary.java_array_set_primitive_3(Struct objId, Number index, Term what)
           
 boolean JavaLibrary.java_array_get_primitive_3(Struct objId, Number index, Term what)
           
 boolean JavaLibrary.register(Struct id, java.lang.Object obj)
          Register an object with the specified id.
 java.lang.Object JavaLibrary.getRegisteredObject(Struct id)
          Gets the reference to an object previously registered
 boolean JavaLibrary.unregister(Struct id)
          Unregisters an object, given its identifier
 void JavaLibrary.registerDynamic(Struct id, java.lang.Object obj)
          Registers an object only for the running query life-time
 java.lang.Object JavaLibrary.getRegisteredDynamicObject(Struct id)
          Gets a registered dynamic object (returns null if not presents)
 boolean JavaLibrary.unregisterDynamic(Struct id)
          Unregister the object, only for dynamic case
 boolean ISOLibrary.atom_length_2(Struct arg0, Term arg1)
           
 boolean IOLibrary.see_1(Struct arg0)
           
 boolean IOLibrary.tell_1(Struct arg0)
           
 boolean IOLibrary.put_1(Struct arg0)
           
 boolean IOLibrary.text_from_file_2(Struct fileName, Term text)
          reads a source text from a file.
 boolean BasicLibrary.set_theory_1(Struct theory)
          sets a new theory provided as a text
 boolean BasicLibrary.add_theory_1(Struct theory)
          adds a new theory provided as a text
 boolean BasicLibrary.load_library_2(Struct className, Term libName)
           
 boolean BasicLibrary.get_operators_list_1(Struct arg)
           
 boolean BasicLibrary.agent_1(Struct theory)
          spawns a separate prolog agent providing it a theory text
 boolean BasicLibrary.agent_2(Struct theory, Struct goal)
          spawns a separate prolog agent providing it a theory text and a goal
 



DEIS, Universita' di Bologna, Sede di Cesena