Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> runtime >> [ corba overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog.runtime.corba
Class PrologCORBAImpl  

java.lang.Object
  org.omg.CORBA.portable.ObjectImpl
      alice.tuprolog.runtime.corba._PrologCORBAImplBase
          alice.tuprolog.runtime.corba.PrologCORBAImpl

All Implemented Interfaces:

org.omg.CORBA.portable.IDLEntity, org.omg.CORBA.portable.InvokeHandler, org.omg.CORBA.Object, PrologCORBA, PrologCORBAOperations, java.io.Serializable

---

public class PrologCORBAImpl

extends _PrologCORBAImplBase

---

Field Summary
(package private)  alice.tuprolog.PrologVM	imp

 

Fields inherited from class alice.tuprolog.runtime.corba._PrologCORBAImplBase

 

Fields inherited from class org.omg.CORBA.portable.ObjectImpl

 

Constructor Summary

PrologCORBAImpl()           construction with default libraries: ISO + Meta

PrologCORBAImpl(java.lang.String[] libs)           construction speciying (eventually) libraries

 

Method Summary
void	addOutputListener(alice.tuprolog.OutputListener l)           listeners
void	addSpyListener(alice.tuprolog.SpyListener l)
void	addStateListener(alice.tuprolog.StateListener l)
void	clearTheory()           managing theory theory
alice.tuprolog.PrologVM	getImpl()
java.lang.String	getTheory()
boolean	isSpy()
void	loadLibrary(java.lang.String className)
void	removeOutputListener(alice.tuprolog.OutputListener l)
void	removeSpyListener(alice.tuprolog.SpyListener l)
void	removeStateListener(alice.tuprolog.StateListener l)
void	setSpy(boolean on)
void	setTheory(java.lang.String st)
SolveInfoCORBA	solve(java.lang.String g)
void	solveEnd()
void	solveHalt()
SolveInfoCORBA	solveNext()
(package private) static SolveInfoCORBA	toSolveInfoCORBA(alice.tuprolog.SolveInfo info)
alice.tuprolog.Term	toTerm(java.lang.String s)
void	unloadLibrary(java.lang.String className)

 

Methods inherited from class alice.tuprolog.runtime.corba._PrologCORBAImplBase

_ids, _invoke

 

Methods inherited from class org.omg.CORBA.portable.ObjectImpl

_create_request, _create_request, _duplicate, _get_delegate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _invoke, _is_a, _is_equivalent, _is_local, _non_existent, _orb, _release, _releaseReply, _request, _request, _servant_postinvoke, _servant_preinvoke, _set_delegate, _set_policy_override, equals, toString

 

Methods inherited from class java.lang.Object

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

 

Methods inherited from interface org.omg.CORBA.Object

_create_request, _create_request, _duplicate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _is_a, _is_equivalent, _non_existent, _release, _request, _set_policy_override

 

Field Detail

imp

alice.tuprolog.PrologVM imp

Constructor Detail

PrologCORBAImpl

public PrologCORBAImpl()

construction with default libraries: ISO + Meta

---

PrologCORBAImpl

public PrologCORBAImpl(java.lang.String[] libs)
                throws alice.tuprolog.InvalidLibraryException

construction speciying (eventually) libraries

Method Detail

clearTheory

public void clearTheory()

managing theory theory

---

getTheory

public java.lang.String getTheory()

---

setTheory

public void setTheory(java.lang.String st)

---

solve

public SolveInfoCORBA solve(java.lang.String g)

---

solveNext

public SolveInfoCORBA solveNext()

---

solveHalt

public void solveHalt()

---

solveEnd

public void solveEnd()

---

loadLibrary

public void loadLibrary(java.lang.String className)

---

unloadLibrary

public void unloadLibrary(java.lang.String className)

---

setSpy

public void setSpy(boolean on)

---

isSpy

public boolean isSpy()

---

addOutputListener

public void addOutputListener(alice.tuprolog.OutputListener l)

listeners

---

addSpyListener

public void addSpyListener(alice.tuprolog.SpyListener l)

---

addStateListener

public void addStateListener(alice.tuprolog.StateListener l)

---

removeOutputListener

public void removeOutputListener(alice.tuprolog.OutputListener l)

---

removeSpyListener

public void removeSpyListener(alice.tuprolog.SpyListener l)

---

removeStateListener

public void removeStateListener(alice.tuprolog.StateListener l)

---

toTerm

public alice.tuprolog.Term toTerm(java.lang.String s)

---

getImpl

public alice.tuprolog.PrologVM getImpl()

---

toSolveInfoCORBA

static SolveInfoCORBA toSolveInfoCORBA(alice.tuprolog.SolveInfo info)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> runtime >> [ corba overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---