Language Reference/Generic Interfaces and Classes - Revision history

SergeMukhin: /* Restrictions */

2015-01-16T13:53:35Z

Restrictions

← Older revision		Revision as of 15:53, 16 January 2015
Line 147:		Line 147:
	Then closing name should not have parameters:		Then closing name should not have parameters:

	<vip>class xxx{@A} : xxx{@~~AAA~~}		<vip>class xxx{@A} : xxx{@A}
	...		...
	end class xxx % no parameters here</vip>		end class xxx % no parameters here</vip>
Line 193:		Line 193:
	p : (@P X). % error: Scope parameter '@P' used in a class entity		p : (@P X). % error: Scope parameter '@P' used in a class entity
	end class xxx</vip>		end class xxx</vip>


	=== Generic Implmentations ===		=== Generic Implmentations ===

Thomas Linder Puls: /* Syntax */ line

2012-10-25T09:50:10Z

Syntax: line

← Older revision		Revision as of 11:50, 25 October 2012
Line 202:		Line 202:

	<vipbnf><ClassImplementation> :		<vipbnf><ClassImplementation> :
	implement <ClassName> { <ScopeTypeVariable>-comma-sep-list-opt } <ScopeQualifications> <Sections> end implement <ClassName>-opt		implement <ClassName> { <ScopeTypeVariable>-comma-sep-list-opt }
	~~...~~		<ScopeQualifications>
			<Sections>
			end implement <ClassName>-opt

	<ScopeTypeVariable> :		<ScopeTypeVariable> :

Thomas Linder Puls: /* Syntax */ lines

2012-10-24T10:44:09Z

Syntax: lines

← Older revision		Revision as of 12:44, 24 October 2012
Line 126:		Line 126:

	<vipbnf><ClassDeclaration> :		<vipbnf><ClassDeclaration> :
	class <ClassName> { <ScopeTypeVariable>-comma-sep-list-opt } <ConstructionType> <ScopeQualifications> <Sections> end class <ClassName>-opt		class <ClassName> { <ScopeTypeVariable>-comma-sep-list-opt } <ConstructionType>
	~~...~~		<ScopeQualifications>
			<Sections>
			end class <ClassName>-opt

	<ScopeTypeVariable> :		<ScopeTypeVariable> :

Thomas Linder Puls: /* Syntax */ lines

2012-10-24T10:42:26Z

Syntax: lines

← Older revision		Revision as of 12:42, 24 October 2012
Line 72:		Line 72:

	<vipbnf><InterfaceDeclaration> :		<vipbnf><InterfaceDeclaration> :
	interface <InterfaceName> { <ScopeTypeVariable>-comma-sep-list-opt } <ScopeQualifications> <Sections> end interface <InterfaceName>-opt		interface <InterfaceName> { <ScopeTypeVariable>-comma-sep-list-opt }
	~~...~~		<ScopeQualifications>
			<Sections>
			end interface <InterfaceName>-opt

	<ScopeTypeVariable> :		<ScopeTypeVariable> :

Thomas Linder Puls: Consistency (TypeParameter => TypeVariable)

2012-08-28T08:21:30Z

Consistency (TypeParameter => TypeVariable)

← Older revision		Revision as of 10:21, 28 August 2012
Line 75:		Line 75:
	...		...

	<~~ScopeTypeParameter~~> :		<ScopeTypeVariable> :
	@ <UppercaseName></vipbnf>		@ <UppercaseName></vipbnf>

Line 127:		Line 127:
	...		...

	<~~ScopeTypeParameter~~> :		<ScopeTypeVariable> :
	@ <UppercaseName>		@ <UppercaseName>

Line 201:		Line 201:
	...		...

	<~~ScopeTypeParameter~~> :		<ScopeTypeVariable> :
	@ <UppercaseName></vipbnf>		@ <UppercaseName></vipbnf>

Thomas Linder Puls: Remove "preliminary documentation"

2010-05-13T19:47:16Z

Remove "preliminary documentation"

← Older revision		Revision as of 21:47, 13 May 2010
Line 1:		Line 1:
	~~{{Preliminary Documentation}}~~

	{{languageReferenceNavbar\|Generic Interfaces and Classes}}		{{languageReferenceNavbar\|Generic Interfaces and Classes}}

Alexander Doronin: /* Example: Queue */

2010-04-06T04:49:11Z

Example: Queue

← Older revision		Revision as of 06:49, 6 April 2010
Line 29:		Line 29:
	predicates		predicates
	insert : (@Elem Value).		insert : (@Elem Value).
	tryGet : () -> @Elem Value.		tryGet : () -> @Elem Value determ.
	end interface queue</vip>		end interface queue</vip>

Line 66:		Line 66:

	The compiler sees that <vp>Q</vp> must be an integer queue, because we insert 17 into it.		The compiler sees that <vp>Q</vp> must be an integer queue, because we insert 17 into it.


	=== Generic Interfaces ===		=== Generic Interfaces ===

Elizabeth Safro at 18:03, 17 March 2010

2010-03-17T18:03:26Z

← Older revision		Revision as of 20:03, 17 March 2010
Line 3:		Line 3:
	{{languageReferenceNavbar\|Generic Interfaces and Classes}}		{{languageReferenceNavbar\|Generic Interfaces and Classes}}

	{{lang\|Interfaces\|Interfaces}} and {{lang\|Classes\|classes}} can be ~~paramtereized~~ with type parameters so that they can be used in different instantiations in different contexts.		{{lang\|Interfaces\|Interfaces}} and {{lang\|Classes\|classes}} can be parametrized with type parameters so that they can be used in different instantiations in different contexts.

	This section must be considered as an extension to the individual sections about:		This section must be considered as an extension to the individual sections about:
Line 10:		Line 10:
	* {{lang\|Implementations\|Implementations}}		* {{lang\|Implementations\|Implementations}}

	The pragmatic reason to use generic classes and interfaces is to declare '''parametrized object facts''' and implement operations on these facts. As ~~illistrated~~ in the Queue example below.		The pragmatic reason to use generic classes and interfaces is to declare '''parametrized object facts''' and implement operations on these facts. As illustrated in the Queue example below.

	=== Example: Queue ===		=== Example: Queue ===
Line 32:		Line 32:
	end interface queue</vip>		end interface queue</vip>

	<vp>@Elem</vp> is a ''scope type variable'' (~~destinguished~~ from local type variables by the <vp>@</vp>).		<vp>@Elem</vp> is a ''scope type variable'' (distinguished from local type variables by the <vp>@</vp>).

	<vp>queue{integer}</vp> represents integer-queues; <vp>queue{string}</vp> represents string-queues; and so forth.		<vp>queue{integer}</vp> represents integer-queues; <vp>queue{string}</vp> represents string-queues; and so forth.
Line 61:		Line 61:
	<vip>..., Q = queueClass{integer}::new(), Q:insert(17), ...</vip>		<vip>..., Q = queueClass{integer}::new(), Q:insert(17), ...</vip>

	It is not necessary to apply the type ~~explictly~~, instead the compiler can infer it from the context:		It is not necessary to apply the type explicitly, instead the compiler can infer it from the context:

	<vip>..., Q = queueClass::new(), Q:insert(17), ...</vip>		<vip>..., Q = queueClass::new(), Q:insert(17), ...</vip>

Thomas Linder Puls: Update

2010-03-15T11:46:24Z

Update

← Older revision		Revision as of 13:46, 15 March 2010
Line 3:		Line 3:
	{{languageReferenceNavbar\|Generic Interfaces and Classes}}		{{languageReferenceNavbar\|Generic Interfaces and Classes}}

	Interfaces and classes can be paramtereized with type parameters so that they can be used in different instantiations in different contexts.		{{lang\|Interfaces\|Interfaces}} and {{lang\|Classes\|classes}} can be paramtereized with type parameters so that they can be used in different instantiations in different contexts.

	The pragmatic reason to use generic classes and interfaces is to declare '''parametrized object facts''' and implement operations on these facts.		This section must be considered as an extension to the individual sections about:
			* {{lang\|Interfaces\|Interfaces}}
			* {{lang\|Classes\|Classes}}
			* {{lang\|Implementations\|Implementations}}

			The pragmatic reason to use generic classes and interfaces is to declare '''parametrized object facts''' and implement operations on these facts. As illistrated in the Queue example below.

	=== Example: Queue ===		=== Example: Queue ===

Thomas Linder Puls: Revert

2010-03-15T10:48:27Z

Revert

← Older revision		Revision as of 12:48, 15 March 2010
Line 7:		Line 7:
	The pragmatic reason to use generic classes and interfaces is to declare '''parametrized object facts''' and implement operations on these facts.		The pragmatic reason to use generic classes and interfaces is to declare '''parametrized object facts''' and implement operations on these facts.

	{{Example\| Queue		=== Example: Queue ===

	Consider this interface		Consider this interface
Line 61:		Line 61:

	The compiler sees that <vp>Q</vp> must be an integer queue, because we insert 17 into it.		The compiler sees that <vp>Q</vp> must be an integer queue, because we insert 17 into it.
	}}

	=== Generic Interfaces ===		=== Generic Interfaces ===