Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

alice.tuprolog.runtime.corba
Class _PrologCORBAStub  view _PrologCORBAStub download _PrologCORBAStub.java

java.lang.Object
  extended byorg.omg.CORBA.portable.ObjectImpl
      extended byalice.tuprolog.runtime.corba._PrologCORBAStub
All Implemented Interfaces:
org.omg.CORBA.portable.IDLEntity, org.omg.CORBA.Object, PrologCORBA, PrologCORBAOperations, java.io.Serializable

public class _PrologCORBAStub
extends org.omg.CORBA.portable.ObjectImpl
implements PrologCORBA

alice/tuprolog/runtime/corba/_PrologCORBAStub.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledì 17 ottobre 2001 12.02.01 GMT+02:00


Field Summary
private static java.lang.String[] __ids
           
 
Fields inherited from class org.omg.CORBA.portable.ObjectImpl
 
Constructor Summary
_PrologCORBAStub()
           
_PrologCORBAStub(org.omg.CORBA.portable.Delegate delegate)
           
 
Method Summary
 java.lang.String[] _ids()
          Get the array of interface repository ids, defining this object.
 void clearTheory()
           
 java.lang.String getTheory()
           
 boolean isSpy()
           
 void loadLibrary(java.lang.String className)
           
private  void readObject(java.io.ObjectInputStream s)
           
 void setSpy(boolean on)
           
 void setTheory(java.lang.String theory)
           
 SolveInfoCORBA solve(java.lang.String g)
           
 void solveEnd()
           
 void solveHalt()
           
 SolveInfoCORBA solveNext()
           
 void unloadLibrary(java.lang.String className)
           
private  void writeObject(java.io.ObjectOutputStream s)
           
 
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

__ids

private static java.lang.String[] __ids
Constructor Detail

_PrologCORBAStub

public _PrologCORBAStub()

_PrologCORBAStub

public _PrologCORBAStub(org.omg.CORBA.portable.Delegate delegate)
Method Detail

clearTheory

public void clearTheory()
Specified by:
clearTheory in interface PrologCORBAOperations

getTheory

public java.lang.String getTheory()
Specified by:
getTheory in interface PrologCORBAOperations

setTheory

public void setTheory(java.lang.String theory)
Specified by:
setTheory in interface PrologCORBAOperations

solve

public SolveInfoCORBA solve(java.lang.String g)
Specified by:
solve in interface PrologCORBAOperations

solveNext

public SolveInfoCORBA solveNext()
Specified by:
solveNext in interface PrologCORBAOperations

solveHalt

public void solveHalt()
Specified by:
solveHalt in interface PrologCORBAOperations

solveEnd

public void solveEnd()
Specified by:
solveEnd in interface PrologCORBAOperations

loadLibrary

public void loadLibrary(java.lang.String className)
Specified by:
loadLibrary in interface PrologCORBAOperations

unloadLibrary

public void unloadLibrary(java.lang.String className)
Specified by:
unloadLibrary in interface PrologCORBAOperations

setSpy

public void setSpy(boolean on)
Specified by:
setSpy in interface PrologCORBAOperations

isSpy

public boolean isSpy()
Specified by:
isSpy in interface PrologCORBAOperations

_ids

public java.lang.String[] _ids()
Description copied from class: org.omg.CORBA.portable.ObjectImpl
Get the array of interface repository ids, defining this object.


readObject

private void readObject(java.io.ObjectInputStream s)

writeObject

private void writeObject(java.io.ObjectOutputStream s)