Language Reference/Implementations - Revision history

Thomas Linder Puls: Dynamic External Resolution

2020-12-23T16:02:58Z

Dynamic External Resolution

← Older revision		Revision as of 18:02, 23 December 2020
Line 709:		Line 709:
	<StringLiteral></vipbnf>		<StringLiteral></vipbnf>

	If the predicate {{lang2\|Predicates\|Arity\|predicateNameWithArity}} is ~~missed~~ in the DLL <vpbnf><DllNameWithPath></vpbnf>, then the dynamic loading provides the possibility to run a program until it actually invokes the ~~missed~~ predicate. ~~The~~ runtime error will occur on such invocation. The <vpbnf><DllNameWithPath></vpbnf> is the path to the DLL on the machine where the program should run~~. One~~ can absolute or relative. For example if the required dll is situated in the one level up from directory which the application loaded, then the <vpbnf><DllNameWithPath></vpbnf> should be like <vp>"../DllName"</vp>. See also ~~Dynamic Library Search Order in~~ [~~http~~://~~msdn2~~.microsoft.com/en-us/library~~/ms682586.aspx MSDN~~].		If the predicate {{lang2\|Predicates\|Arity\|predicateNameWithArity}} is not available in the DLL <vpbnf><DllNameWithPath></vpbnf>, then the dynamic loading provides the possibility to run a program until it actually invokes the predicate. A runtime error will occur on such invocation. The <vpbnf><DllNameWithPath></vpbnf> is the path to the DLL on the machine where the program should run, it can be absolute or relative. For example if the required dll is situated in the one level up from directory which the application loaded, then the <vpbnf><DllNameWithPath></vpbnf> should be like <vp>"../DllName"</vp>. See also [https://docs.microsoft.com/en-us/windows/win32/dlls/dynamic-link-library-search-order Dynamic-Link Library Search Order].

	=== Finalization ===		=== Finalization ===

Thomas Linder Puls: "This" and Inheritance

2017-07-03T14:39:12Z

"This" and Inheritance

Show changes

Thomas Linder Puls: duplicated link removed

2013-03-06T14:14:00Z

duplicated link removed

← Older revision		Revision as of 16:14, 6 March 2013
Line 43:		Line 43:
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}		*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Properties\|Properties_Sections\|PropertiesSection}}		*{{lang2\|Properties\|Properties_Sections\|PropertiesSection}}
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Facts\|Facts_Sections\|FactsSection}}		*{{lang2\|Facts\|Facts_Sections\|FactsSection}}
	*{{lang2\|Clauses\|Clauses_Sections\|ClausesSection}}		*{{lang2\|Clauses\|Clauses_Sections\|ClausesSection}}

Thomas Linder Puls: link

2012-10-26T08:57:31Z

link

← Older revision		Revision as of 10:57, 26 October 2012
Line 48:		Line 48:
	*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}		*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}

	{{lang2\|Predicates\|Constructors_Sections\|constructorsSection}}s are only legal if the class <vpbnf><ClassName></vpbnf> states a {{~~lang2~~\|Classes\|~~Class Declarations\|constructionType~~}}. Classes that states a <vpbnf><ConstructionType></vpbnf> are also object constructors, which construct objects of the stated construction type.		{{lang2\|Predicates\|Constructors_Sections\|constructorsSection}}s are only legal if the class <vpbnf><ClassName></vpbnf> states a {{lang\|Classes\|<vpbnf><ConstructionType></vpbnf>}}. Classes that states a <vpbnf><ConstructionType></vpbnf> are also object constructors, which construct objects of the stated construction type.

	'''Example'''		'''Example'''

Thomas Linder Puls: link

2012-10-26T08:50:51Z

link

← Older revision		Revision as of 10:50, 26 October 2012
Line 45:		Line 45:
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}		*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Facts\|Facts_Sections\|FactsSection}}		*{{lang2\|Facts\|Facts_Sections\|FactsSection}}
	*{{lang2\|Clauses\|~~Clauses_Section~~\|ClausesSection}}		*{{lang2\|Clauses\|Clauses_Sections\|ClausesSection}}
	*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}		*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}

Thomas Linder Puls: /* Predicate Delegation */ space

2012-10-25T09:48:57Z

Predicate Delegation: space

← Older revision		Revision as of 11:48, 25 October 2012
Line 762:		Line 762:
	O_cc = cc_class::new(),		O_cc = cc_class::new(),
	O_dd = dd_class::new(O_bb, O_cc),		O_dd = dd_class::new(O_bb, O_cc),
	O_dd : p1(), % This p1 from O_bb object		O_dd : p1(), % This p1 from O_bb object
	O_dd : p2(). % This p2 from O_cc object</vip>		O_dd : p2(). % This p2 from O_cc object</vip>

	Actually in Visual Prolog delegation has the same effect as if you add clauses to the implementation of <vp>dd_class</vp> that explicitly specify, from object of which class the predicate functionality is "exported". That is for example, as if the following clause is determined in the implementation of <vp>dd_class</vp>:		Actually in Visual Prolog delegation has the same effect as if you add clauses to the implementation of <vp>dd_class</vp> that explicitly specify, from object of which class the predicate functionality is "exported". That is for example, as if the following clause is determined in the implementation of <vp>dd_class</vp>:

Thomas Linder Puls: /* Resolve Qualification */ space

2012-10-25T09:48:12Z

Resolve Qualification: space

← Older revision		Revision as of 11:48, 25 October 2012
Line 562:		Line 562:
	...		...
	end interface		end interface

	class bb_class : aa		class bb_class : aa
	end class		end class

	class cc_class : aa		class cc_class : aa
	end class		end class

	class dd_class : aa		class dd_class : aa
	end class		end class

	implement dd_class inherits bb_class, cc_class		implement dd_class inherits bb_class, cc_class
	end implement</vip>		end implement</vip>
Line 586:		Line 590:

	<vipbnf><Resolution> :		<vipbnf><Resolution> :
	<InterfaceResolution>		<InterfaceResolution>
	<PredicateFromClassResolution>		<PredicateFromClassResolution>
	<PredicateRenameResolution>		<PredicateRenameResolution>
	<PredicateExternallyResolution></vipbnf>		<PredicateExternallyResolution></vipbnf>

	A resolve qualification is used to resolve an implementation from the specified source.		A resolve qualification is used to resolve an implementation from the specified source.
Line 596:		Line 600:

	<vipbnf><PredicateFromClassResolution> :		<vipbnf><PredicateFromClassResolution> :
	<PredicateNameWithArity> from <ClassName></vipbnf>		<PredicateNameWithArity> from <ClassName></vipbnf>

	A predicate from class resolution states that the predicate is implemented by the specified class.		A predicate from class resolution states that the predicate is implemented by the specified class.

Thomas Linder Puls: /* Sub-object Construction */ space

2012-10-25T09:46:16Z

Sub-object Construction: space

← Older revision		Revision as of 11:46, 25 October 2012
Line 257:		Line 257:
	clauses		clauses
	new() :-		new() :-
	C = cc_class::new(), % create a cc_class object		C = cc_class::new(), % create a cc_class object
	aa_class::newC(C). % invoke constructor on inherited sub-object		aa_class::newC(C). % invoke constructor on inherited sub-object
	...		...
	end implement</vip>		end implement</vip>

Thomas Linder Puls: line

2012-10-25T09:44:11Z

line

← Older revision		Revision as of 11:44, 25 October 2012
Line 16:		Line 16:

	<vipbnf><ClassImplementation> :		<vipbnf><ClassImplementation> :
	implement <ClassName> <ScopeQualifications> <Sections> end implement <ClassName>-opt</vipbnf>		implement <ClassName>
			<ScopeQualifications>
			<Sections>
			end implement <ClassName>-opt</vipbnf>

	See also {{lang\|Generic Interfaces and Classes\|Generic Interfaces and Classes}}.		See also {{lang\|Generic Interfaces and Classes\|Generic Interfaces and Classes}}.

Thomas Linder Puls: Private Constructors

2012-05-28T21:05:11Z

Private Constructors

← Older revision		Revision as of 23:05, 28 May 2012
Line 220:		Line 220:
	<vip>interface aa		<vip>interface aa
	end interface		end interface

	class aa : aa		class aa : aa
	end class		end class

	implement aa		implement aa
	constructors		constructors
Line 229:		Line 231:
	...		...
	end implement		end implement

	% program code		% program code
	...		...
	Obj = aa::new(), % This is the declared ~~IMPLICITLY~~ default class constructor		Obj = aa::new(), % This is the declared IMPLICIT default class constructor
	...</vip>		...</vip>

← Older revision		Revision as of 16:14, 6 March 2013
Line 43:		Line 43:
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}		*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Properties\|Properties_Sections\|PropertiesSection}}		*{{lang2\|Properties\|Properties_Sections\|PropertiesSection}}
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Facts\|Facts_Sections\|FactsSection}}		*{{lang2\|Facts\|Facts_Sections\|FactsSection}}
	*{{lang2\|Clauses\|Clauses_Sections\|ClausesSection}}		*{{lang2\|Clauses\|Clauses_Sections\|ClausesSection}}

← Older revision		Revision as of 10:50, 26 October 2012
Line 45:		Line 45:
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}		*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Facts\|Facts_Sections\|FactsSection}}		*{{lang2\|Facts\|Facts_Sections\|FactsSection}}
	*{{lang2\|Clauses\|~~Clauses_Section~~\|ClausesSection}}		*{{lang2\|Clauses\|Clauses_Sections\|ClausesSection}}
	*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}		*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}