• Home
• Swicli
• Library
• PrologCLR

C# Class Swicli.Library.PrologCLR

Show file Open project: swi-to-yap/swicli Class Usage Examples

Public Properties

Property	Type	Description
AltSwiHomeDir	string
AssmblyXDoics	XElement>.Dictionary
BindingFlagsALL	BindingFlags
BindingFlagsALL3	BindingFlags
BindingFlagsALLNC	BindingFlags
BindingFlagsInstance	BindingFlags
BindingFlagsJustStatic	BindingFlags
ClientReady	bool
CreatorThread	System.Thread
ForiegnFrameCounts	int>.Dictionary
FreeEngines	List
ICASE	BindingFlags
InstanceFields	BindingFlags
NoTestThreadFActory	bool
ONE_STRING	System.Type.Type[]
OneToOneEnginesPeThread	bool
PrologDelegateHandlers	DelegateObjectInProlog>.Dictionary
PrologEventHandlers	EventHandlerInProlog>.Dictionary
PrologEventQueue	TaskQueueHandler
SafeThreads	IntPtr>.Dictionary
SaneThreadWorld	bool
ThreadEngines	PlMtEngine>.Dictionary
ThreadRegisterations	int>.Dictionary
ToFromConvertLock	object
UseEnginePool	bool
ZERO_OBJECTS	Object[]
ZERO_TYPES	System.Type.Type[]
engineToThread	Thread>.Dictionary
threadToEngine	int>.Dictionary

Public Methods

Method	Description
C ( string collection ) : PlTerm
CallProlog ( object target, string module, string name, int arity, object origin, object paramz, System.Type.Type returnType, bool discard ) : object
CheckEngine ( ) : int
ConsoleTrace ( object s ) : void
Consult ( string filename ) : bool
ConsultIfExists ( string file ) : bool
DeregisterThread ( System.Thread thread ) : void
Dispose ( ) : void
DoQuery ( string query ) : bool
DoQuery ( string m, string f, PlTermV args ) : bool
Eval ( object obj ) : object
ExitThread ( System.Thread thread ) : void
GetDocString ( MemberInfo memberInfo ) : System.Xml.XmlNode
GetDocString ( System.Xml.XmlNode docMembers, MemberInfo info ) : System.Xml.XmlNode
GetInstance ( PlTerm classOrInstance ) : object
GetParameterType ( ParameterInfo paramInfo ) : System.Type.Type
GetPrimitiveType ( String name ) : Type
GetSymbol ( string name ) : object
GetType ( PlTerm clazzSpec ) : Type
GetType ( PlTerm clazzSpec, bool canBeObjects ) : Type
GetTypeThrowIfMissing ( PlTerm clazzSpec ) : Type
GetXmlDocMembers ( Assembly typeAssembly ) : System.Xml.XmlNode
GetXmlDocMembers ( System.Type.Type type ) : System.Xml.XmlNode
GetXmlDocMembers0 ( Assembly typeAssembly ) : System.Xml.XmlNode
InModule ( string s, org o ) : org.jpl7.Term
InitFromUser ( ) : void
Intern ( string varname, object value ) : void
IsByRef ( ParameterInfo paramInfo ) : bool
IsDefined ( string name ) : bool
IsDefined ( string module, string functor, int arity ) : bool
KillPrologThreads ( ) : void
Main ( string args0 ) : void
Main_Was ( string args0 ) : void
PingThreadFactories ( ) : void
PlAssert ( string s ) : void
PlC ( string decl ) : SbsSW.SwiPlCs.PlTerm
PlC ( string decl, PlTermV termV ) : SbsSW.SwiPlCs.PlTerm
PlCall ( string s ) : bool
PlCall ( string m, string f, PlTermV args ) : bool
PlNamed ( string name ) : PlTerm
PlSucceedOrFail ( bool p ) : int
PlSucceedOrFailOrError ( int p ) : bool
PrologCLR ( ) : MushDLR223.Utilities
RaiseEvent ( object getInstance, PlTerm memberSpec, PlTerm paramIn, PlTerm valueOut, EventInfo evi, System.Type.Type c ) : bool
Read ( string line, TextWriter @delegate ) : object
RegisterCurrentThread ( ) : void
RegisterMainThread ( ) : void
RegisterPLCSForeigns ( ) : void
RegisterThread ( System.Thread thread ) : void
RegisterThread121 ( System.Thread thread ) : void
RegisterThread121A ( System.Thread thread ) : void
RegisterThread121Leak ( System.Thread thread ) : void
RegisterThread121T ( System.Thread thread ) : void
RegisterThread12Many ( System.Thread thread ) : void	FIX ME!!
RegisterThreadOrig ( System.Thread thread ) : void
ResolveJClass ( string name ) : Type
ResolveType1 ( string typeName ) : Type
ResolveType2 ( string typeName ) : Type
ResolveTypeInNameSpaces ( string typeName, bool ignoreCase ) : Type
SetupProlog ( ) : void
SetupProlog0 ( ) : void
SetupProlog1 ( ) : void	This after the SwiPrologDir and IKVMHome is set up will update the environment
SetupProlog2 ( ) : void
StreamRead ( ) : void
ToCSString ( PlTermV termV ) : string
ToProlog ( object value ) : PlTerm
UnifyAtom ( uint TermRef, string s ) : int
UnifyToProlog ( object o, PlTerm term ) : int
UnifyToPrologImmediate ( object o, PlTerm term ) : int
cliCallRawForVar ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm paramsIn, PlTerm valueOut, System.Type.Type returnTypeHint ) : bool
cliGet0 ( object getInstance, PlTerm memberSpec, System.Type.Type c, bool &found, BindingFlags icbf ) : object
cliSet0 ( object getInstance, PlTerm memberSpec, PlTerm paramIn, System.Type.Type c, BindingFlags searchFlags ) : bool
load_swiplcs ( ) : void

Private Methods

Method	Description
AFlag ( bool tf ) : SbsSW.SwiPlCs.PlTerm
AFlag ( bool tf, string name ) : SbsSW.SwiPlCs.PlTerm
AddMemberToList ( MemberInfo info, List list, string cname, int ordinal ) : void
BestMethod ( System.Type.Type paramz, IEnumerable members, System.Type.Type returnType, bool mustStatic ) : MethodBase
CheckBound ( ) : bool
CheckIRet ( int iRet ) : void
ConfirmRCFile ( string swiHomeDir ) : bool
CopyFiles ( DirectoryInfo source, DirectoryInfo destination, bool overwrite, string searchPattern, bool recurse ) : void
CopyFiles ( string source, string destination, bool overwrite, string searchPattern, bool recurse ) : void
DecrementUseCount ( System.Thread thread ) : int
DecrementUseCount ( System.Thread thread, int>.Dictionary registration ) : int
DoQuery ( Query query ) : bool
Do_NOTHING ( ) : void
EnsureEngine ( IntPtr _iEngineNumber ) : void
FooMethod ( String print ) : void
FromEnum ( uint TermRef, object o, Type t ) : int
FunctorTerm ( string functor, int arity ) : PlTerm
GetCurrentEngine ( ) : IntPtr
GetField ( object term, string s ) : object
GetFreeEngine ( ) : IntPtr
GetInstanceAndType ( PlTerm clazzOrInstance, object &getInstance, System.Type.Type &c ) : bool
GetMemberFullName ( MemberInfo member ) : string
GetMemberId ( MemberInfo member ) : string
GetMemberName ( PlTerm memberSpec ) : string
GetMemberPrefix ( MemberInfo member ) : char
GetMethod ( System.Type.Type type, string s, BindingFlags flags ) : MethodInfo
GetMyPathExtras ( ) : string
GetParamSpec ( PlTerm memberSpec ) : System.Type.Type[]
GetParamSpec ( PlTerm memberSpec, bool isObjects ) : System.Type.Type[]
GetParamSpec ( PlTerm memberSpec, bool isObjects, int start, int length ) : System.Type.Type[]
GetParamSpecFromObjects ( PlTerm objectList ) : System.Type.Type[]
GetParmeters ( EventInfo ei ) : System.Reflection.ParameterInfo[]
GetProgramFilesDir ( ) : string
GetPropsForTypes ( System.Type.Type t ) : List>.KeyValuePair
GetTypeFromInstance ( object instanceMaybe, PlTerm classOrInstance ) : Type	Returns the Type when denoated by a 'namespace.type' (usefull for static instance specification) if a @C#234234 the type of the object unless its a a class c(a) => System.Char "sdfsdf" => System.String uint(5) => System.UInt32 instanceMaybe maybe Null.. it is passed in so the method code doesn't have to call GetInstance again on classOrInstance
GetXmlDocFile ( Assembly assembly ) : FileInfo
GuessReturnType ( PlTerm valueOut, System.Type.Type type ) : System.Type.Type
IncrementUseCount ( System.Thread thread ) : int
IncrementUseCount ( System.Thread thread, int>.Dictionary registration ) : int
IsCompatType ( System.Type.Type consider, System.Type.Type type ) : bool
IsCompatTypes ( System.Type.Type supplied, System.Type.Type required ) : bool
IsOptionalParam ( ParameterInfo info ) : bool
IsUseableSwiProlog ( string swiHomeDir ) : bool
MemberTerm ( MemberInfo info, string cname, int ordinal ) : SbsSW.SwiPlCs.PlTerm
ModuleCall ( string s ) : bool
ModuleCall0 ( string s, PlTermV termV ) : bool
ModuleTerm ( string module, PlTerm term ) : PlTerm
NeedsToMakeRef ( object al, PlTerm newVar ) : bool
NewPlTermV ( int length ) : PlTermV
OnThreadExit ( object sender, EventArgs e ) : void
ParamsMatch ( System.Type.Type paramz, ParameterInfo paramInfos ) : bool
PlListToCastedArray ( IEnumerable term, ParameterInfo paramInfos, System.Action &todo ) : object[]
PlListToCastedArray ( int skip, IEnumerable term, ParameterInfo paramInfos, System.Action &todo ) : object[]
PrologThreadAtExit ( ) : bool
PrologThreadAtExitGlobal ( ) : bool
RegisterJPLForeigns ( ) : void
RemoveTrailingPathSeps ( string value ) : string
ResolveClass ( string name ) : java.lang.Class
ResolveClassAsType ( string name ) : Type
ResolveType ( string name ) : Type
ResolveType0 ( string name ) : Type
SafelyRun ( System.Action invoker ) : bool
SetField ( object target, string name, object value ) : void
SetupIKVM ( ) : void
SpecialUnify ( PlTerm valueOut, PlTerm plvar ) : bool
Sread ( IntPtr handle, IntPtr buffer, long buffersize ) : long
TestClassLoader ( ) : void
TestEngineViable ( IntPtr ce ) : void
ToBigDecimal ( string value ) : object
ToBigInteger ( string value ) : object
ToEnumer ( java enumeration ) : IEnumerable
ToFLI ( PlTerm args ) : org.jpl7.fli.term_t
ToFLI ( PlTermV args ) : org.jpl7.fli.term_t
ToFLI ( uint hndle ) : org.jpl7.fli.term_t
ToFort ( object o ) : object
ToJPL ( PlTerm o ) : Term
ToJPL ( PlTermV args ) : Term[]
ToPLCS ( Term args ) : PlTerm
ToPLCSV ( PlTerm terms ) : PlTermV
ToPLCSV ( Term terms ) : PlTermV
ToPLCSV1 ( PlTerm a0, PlTerm terms ) : PlTermV
ToPlArray ( PlTerm terms ) : PlTerm
ToPlList ( PlTerm terms ) : PlTerm
ToPlListParams ( ParameterInfo terms ) : PlTerm
ToPlListTypes ( System.Type.Type terms ) : PlTerm
ToPlTermV ( PlTerm terms ) : PlTermV
ToPlTermVParams ( ParameterInfo terms ) : PlTermV
ToPlTermVSpecs ( System.Type.Type terms ) : PlTermV
ToString ( object o ) : string
ToString0 ( object o ) : string
Trace ( ) : void
TryConstructObject ( System.Type.Type c, PlTerm memberSpec, PlTerm paramsIn, System.Action &postCallHook, object &res ) : bool
UnifySpecialObject ( PlTerm plTerm, object ret1 ) : bool
VoidOrNull ( MethodInfo info ) : object
WriteDebug ( string s ) : void
clasPathOf ( JPL jpl1 ) : string
cliAddEventHandler ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm prologPred ) : bool
cliAddEventWaiter ( PlTerm blockOn, PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm newBlockOn ) : bool
cliAddShorttype ( PlTerm valueName, PlTerm valueIn ) : bool
cliBlockUntilEvent ( PlTerm blockOn, PlTerm maxTime, PlTerm testVarsCode, PlTerm exitCode ) : bool
cliBreak ( PlTerm ex ) : bool
cliCallRaw ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm paramsIn, PlTerm valueOut ) : bool
cliClassFromType ( PlTerm valueIn, PlTerm valueOut ) : bool
cliFindClass ( PlTerm clazzName, PlTerm clazzObjectOut ) : bool
cliFindConstructor ( PlTerm clazzSpec, PlTerm memberSpec, PlTerm methodOut ) : bool
cliFindMethod ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm methodOut ) : bool
cliFindType ( PlTerm clazzSpec, PlTerm classRef ) : bool
cliGetClass ( PlTerm valueIn, PlTerm valueOut ) : bool
cliGetClassname ( PlTerm valueIn, PlTerm valueOut ) : bool
cliGetField ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm valueOut ) : bool
cliGetProperty ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm indexValues, PlTerm valueOut ) : bool
cliGetRaw ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm valueOut ) : bool
cliGetType ( PlTerm valueIn, PlTerm valueOut ) : bool
cliJavaToString ( PlTerm paramIn, PlTerm valueOut ) : bool
cliLockEnter ( PlTerm lockObj ) : bool
cliLockExit ( PlTerm lockObj ) : bool
cliMakeDefault ( PlTerm typeSpec, PlTerm valueOut ) : bool
cliMemberDoc ( SbsSW.SwiPlCs.PlTerm membIn, SbsSW.SwiPlCs.PlTerm docOut, SbsSW.SwiPlCs.PlTerm xmlOut ) : bool
cliMembers ( SbsSW.SwiPlCs.PlTerm clazzOrInstance, SbsSW.SwiPlCs.PlTerm membersSpecListOut ) : bool
cliNew ( PlTerm clazzSpec, PlTerm memberSpec, PlTerm paramsIn, PlTerm valueOut ) : bool
cliNewDelegate ( PlTerm delegateClass, PlTerm prologPred, PlTerm valueOut ) : bool
cliNewDelegateTerm ( System.Type.Type fi, PlTerm prologPred, bool saveKey ) : Delegate
cliNewEventWaiter ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm blockOn ) : bool
cliPropsForType ( SbsSW.SwiPlCs.PlTerm clazzSpec, SbsSW.SwiPlCs.PlTerm memberSpecList ) : bool
cliRaiseEventHandler ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm paramsIn, PlTerm valueOut ) : bool
cliRemoveEventHandler ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm prologPred ) : bool
cliSetField ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm valueIn ) : bool
cliSetProperty ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm indexValues, PlTerm valueIn ) : bool
cliSetRaw ( PlTerm clazzOrInstance, PlTerm memberSpec, PlTerm paramIn ) : bool
cliThrow ( PlTerm ex ) : bool
cliToStrRaw ( PlTerm obj, PlTerm str ) : bool
cliTypeFromClass ( PlTerm valueIn, PlTerm valueOut ) : bool
cliTypeToFullname ( PlTerm valueIn, PlTerm valueOut ) : bool
cliTypeToTypespec ( PlTerm clazzSpec, PlTerm valueOut ) : bool
findConstructorInfo ( PlTerm memberSpec, System.Type.Type c, System.Type.Type &paramz ) : ConstructorInfo
findEventInfo ( PlTerm memberSpec, System.Type.Type c, System.Type.Type &paramz, BindingFlags searchFlags ) : EventInfo
findField ( PlTerm memberSpec, System.Type.Type c, BindingFlags searchFlags ) : FieldInfo
findMember ( PlTerm memberSpec, System.Type.Type c ) : MemberInfo
findMember ( PlTerm memberSpec, System.Type.Type c, BindingFlags searchFlags ) : MemberInfo
findMethodInfo ( PlTerm memberSpec, int arity, System.Type.Type c, System.Type.Type &paramz, BindingFlags searchFlags ) : MethodInfo
findMethodInfo0 ( PlTerm memberSpec, int arity, System.Type.Type c, System.Type.Type &paramz, BindingFlags searchFlags ) : MethodInfo
findPropertyInfo ( PlTerm memberSpec, System.Type.Type c, bool mustHaveP, bool assumeParamTypes, System.Type.Type &paramz, BindingFlags searchFlags ) : PropertyInfo
getClassFromTypeHandle ( RuntimeTypeHandle handle, int rank ) : java.lang.Class
getFriendlyClassFromType ( Type classObject ) : java.lang.Class
getInstanceTypeFromClass ( Type classObject ) : System.System.Type
link_swiplcs ( PlTerm pathName ) : bool
listOfOne ( PlTerm term ) : PlTerm
typeToName ( Type type ) : string
typeToSpec ( Type type ) : PlTerm

Method Details

Property Details