Language Reference/Interfaces - Revision history

Thomas Linder Puls: /* The interface: object */ object::null

2025-06-23T11:54:10Z

The interface: object: object::null

← Older revision		Revision as of 13:54, 23 June 2025
Line 42:		Line 42:
	If an interface does not explicitly support any interfaces, then it implicitly supports the build-in interface ''object.''		If an interface does not explicitly support any interfaces, then it implicitly supports the build-in interface ''object.''

	The ''object'' is an empty interface, i.e. it contains no predicates etc.		The ''object'' is an empty interface, i.e. it contains no predicates etc. The constant [[Language_Reference/Built-in_entities#null\|null]] is however defined for the interface.

	The purpose of ''object'' is to be a universal base-type of all objects.		The purpose of ''object'' is to be a universal base-type of all objects.

Thomas Linder Puls: References

2012-10-25T11:00:53Z

References

← Older revision		Revision as of 13:00, 25 October 2012
Line 7:		Line 7:
	An interface is also a global scope, in which constants and domains can be defined. Thus constants and domains defined in an interface are not part of the type that the interface denotes (or of objects having this type).		An interface is also a global scope, in which constants and domains can be defined. Thus constants and domains defined in an interface are not part of the type that the interface denotes (or of objects having this type).

	Such domains and constants can be referenced from other scopes by qualification with the interface name: <vp>~~interface~~::constant</vp>, or by using an open qualification. (See {{lang2\|Interfaces\|Open_Qualification\|Open Qualification}}.)		Such domains and constants can be referenced from other scopes by qualification with the interface name: <vp>interfaceName::constant</vp>, or by using an open qualification. (See {{lang2\|Interfaces\|Open_Qualification\|Open Qualification}}.)

	<vipbnf><~~InterfaceDeclaration~~> :		<vipbnf><InterfaceDefinition> :
	interface <InterfaceName>		interface <InterfaceName>
	<ScopeQualifications>		<ScopeQualifications>
Line 61:		Line 61:
	=== Supports Qualification ===		=== Supports Qualification ===

	Supports qualifications can only be used in {{lang2\|Interfaces\|Interfaces\|~~interfaceDefinition~~}} and {{~~lang2~~\|Implementations\|~~Class_Implementations\|classImplementation~~}}.		Supports qualifications can only be used in {{lang2\|Interfaces\|Interfaces\|<vpbnf><InterfaceDefinition></vpbnf>}} and {{lang\|Implementations\|<vpbnf><ClassImplementation></vpbnf>}}.

	Supports qualifications are used for two things:		Supports qualifications are used for two things:
Line 79:		Line 79:
	supports <InterfaceName>-comma-sep-list</vipbnf>		supports <InterfaceName>-comma-sep-list</vipbnf>

	<vpbnf><SupportsQualification></vpbnf> can only be used in {{lang2\|Interfaces\|Interfaces\|~~interfaceDefinition~~}} and {{~~lang2~~\|Implementations\|~~Class_Implementations\|classImplementation~~}}.		<vpbnf><SupportsQualification></vpbnf> can only be used in {{lang2\|Interfaces\|Interfaces\|<vpbnf><InterfaceDefinition></vpbnf>}} and {{lang\|Implementations\|<vpbnf><ClassImplementation></vpbnf>}}.

	'''Notice''' interfaces cannot be used together in a supports qualification, if they have conflicting predicates.		'''Notice''' interfaces cannot be used together in a supports qualification, if they have conflicting predicates.

Thomas Linder Puls: line

2012-10-25T09:41:41Z

line

← Older revision		Revision as of 11:41, 25 October 2012
Line 10:		Line 10:

	<vipbnf><InterfaceDeclaration> :		<vipbnf><InterfaceDeclaration> :
	interface <InterfaceName> <ScopeQualifications> <Sections> end interface <IinterfaceName>-opt</vipbnf>		interface <InterfaceName>
			<ScopeQualifications>
			<Sections>
			end interface <IinterfaceName>-opt</vipbnf>

	<vipbnf><InterfaceName> :		<vipbnf><InterfaceName> :

Thomas Linder Puls: typo

2012-08-28T08:08:43Z

typo

← Older revision		Revision as of 10:08, 28 August 2012
Line 10:		Line 10:

	<vipbnf><InterfaceDeclaration> :		<vipbnf><InterfaceDeclaration> :
	interface <~~IinterfaceName~~> <ScopeQualifications> <Sections> end interface <IinterfaceName>-opt</vipbnf>		interface <InterfaceName> <ScopeQualifications> <Sections> end interface <IinterfaceName>-opt</vipbnf>

	<vipbnf><InterfaceName> :		<vipbnf><InterfaceName> :

Thomas Linder Puls: monitor ref

2010-03-15T13:45:31Z

monitor ref

← Older revision		Revision as of 15:45, 15 March 2010
Line 15:		Line 15:
	<LowerCaseIdentifier></vipbnf>		<LowerCaseIdentifier></vipbnf>

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

	The <vpbnf><InterfaceName></vpbnf> in the end of the construction must (if present) be identical to the one in the beginning of the construction.		The <vpbnf><InterfaceName></vpbnf> in the end of the construction must (if present) be identical to the one in the beginning of the construction.

Thomas Linder Puls: Generif Ref

2010-03-15T13:42:58Z

Generif Ref

← Older revision		Revision as of 15:42, 15 March 2010
Line 14:		Line 14:
	<vipbnf><InterfaceName> :		<vipbnf><InterfaceName> :
	<LowerCaseIdentifier></vipbnf>		<LowerCaseIdentifier></vipbnf>

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

	The <vpbnf><InterfaceName></vpbnf> in the end of the construction must (if present) be identical to the one in the beginning of the construction.		The <vpbnf><InterfaceName></vpbnf> in the end of the construction must (if present) be identical to the one in the beginning of the construction.

Thomas Linder Puls: Properties Section

2009-10-26T12:22:52Z

Properties Section

← Older revision		Revision as of 14:22, 26 October 2009
Line 28:		Line 28:
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}		*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Predicates\|Predicates_from_Interface\|PredicatesFromInterface}}		*{{lang2\|Predicates\|Predicates_from_Interface\|PredicatesFromInterface}}
			*{{lang2\|Properties\|Properties_Sections\|PropertiesSection}}
	*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}		*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}

Thomas Linder Puls: Example Template

2008-11-05T10:13:40Z

Example Template

← Older revision		Revision as of 12:13, 5 November 2008
Line 83:		Line 83:
	So it does not give conflicts, if the same interface is met twice or more in the supports chains.		So it does not give conflicts, if the same interface is met twice or more in the supports chains.

	~~'''~~Example~~'''~~		{{Example\| Consider the following definitions and declarations:

	Consider the following definitions and declarations:

	<vip>interface aaa		<vip>interface aaa
Line 127:		Line 125:
	extract : () -> integer. % origin interface: cc		extract : () -> integer. % origin interface: cc
	extract : (string) -> integer. % origin interface: dd</vip>		extract : (string) -> integer. % origin interface: dd</vip>
			}}

	~~'''~~Example~~'''~~		{{Example\| Consider the following interfaces:

	Consider the following interfaces:

	<vip>interface aaa		<vip>interface aaa
Line 147:		Line 144:

	The interface <vp>cc</vp> is '''illegal''', because <vp>insert/1</vp> supported in <vp>aaa</vp> has <vp>aaa</vp> as origin, whereas <vp>insert/1</vp> supported in <vp>bbb</vp> has <vp>bbb</vp> as origin.		The interface <vp>cc</vp> is '''illegal''', because <vp>insert/1</vp> supported in <vp>aaa</vp> has <vp>aaa</vp> as origin, whereas <vp>insert/1</vp> supported in <vp>bbb</vp> has <vp>bbb</vp> as origin.
			}}

Thomas Linder Puls: spell & grammar

2008-10-21T13:00:43Z

spell & grammar

← Older revision		Revision as of 15:00, 21 October 2008
Line 68:		Line 68:
	Functionally, it makes no difference whether an interface supports a certain interface more that once (directly and/or indirectly), but it might make a representational difference for the objects.		Functionally, it makes no difference whether an interface supports a certain interface more that once (directly and/or indirectly), but it might make a representational difference for the objects.

	When supports is used in the implementation of a class, the result is that "<vp>This</vp>" not only can be used with the construction type, but also with any privately supported object type.		When <vp>supports</vp> is used in the implementation of a class, the result is that "<vp>This</vp>" not only can be used with the construction type, but also with any privately supported object type.

	<vipbnf><SupportsQualification> :		<vipbnf><SupportsQualification> :

Thomas Linder Puls: spell & grammar

2008-10-21T12:59:54Z

spell & grammar

← Older revision		Revision as of 14:59, 21 October 2008
Line 62:		Line 62:
	*declaring that the objects of a certain class "privately" have more object types, than the one specified as construction type.		*declaring that the objects of a certain class "privately" have more object types, than the one specified as construction type.

	~~Supports~~ is a transitive relation: if an interface <vp>A</vp> supports an interface <vp>B</vp> and <vp>B</vp> in turn supports <vp>C</vp>, then <vp>A</vp> also supports <vp>C</vp>.		<vp>supports</vp> is a transitive relation: if an interface <vp>A</vp> <vp>supports</vp> an interface <vp>B</vp> and <vp>B</vp> in turn <vp>supports</vp> <vp>C</vp>, then <vp>A</vp> also <vp>supports</vp> <vp>C</vp>.

	If an interface does not explicitly support any interfaces, then it implicitly supports the predefined interface ''object''.		If an interface does not explicitly support any interfaces, then it implicitly supports the predefined interface ''object''.

← Older revision		Revision as of 14:22, 26 October 2009
Line 28:		Line 28:
	*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}		*{{lang2\|Predicates\|Predicates_Sections\|PredicatesSection}}
	*{{lang2\|Predicates\|Predicates_from_Interface\|PredicatesFromInterface}}		*{{lang2\|Predicates\|Predicates_from_Interface\|PredicatesFromInterface}}
			*{{lang2\|Properties\|Properties_Sections\|PropertiesSection}}
	*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}		*{{lang2\|Directives\|Conditional_Compilation\|ConditionalSection}}