Language Reference/Properties - Revision history

SergeMukhin: /* Properties from Interface */

2017-07-10T09:16:09Z

Properties from Interface

← Older revision		Revision as of 11:16, 10 July 2017
Line 138:		Line 138:

	<vipbnf><PropertiesFromInterface> :		<vipbnf><PropertiesFromInterface> :
	properties from <InterfaceName> <~~PpropertyName~~>-comma-sep-list-opt</vipbnf>		properties from <InterfaceName> <PropertyName>-comma-sep-list-opt</vipbnf>

	<vpbnf><PropertiesFromInterface></vpbnf> can only be used in interface definitions.		<vpbnf><PropertiesFromInterface></vpbnf> can only be used in interface definitions.

Thomas Linder Puls: /* Implementation */ get->set

2015-03-28T14:28:52Z

Implementation: get->set

← Older revision		Revision as of 16:28, 28 March 2015
Line 97:		Line 97:

	clauses		clauses
	% implicit ~~get~~ clause for the scale property		% implicit set clause for the scale property
	scale(V) :-		scale(V) :-
	scale := V.		scale := V.

Thomas Linder Puls: rephrase

2013-09-17T09:11:07Z

rephrase

Show changes

Thomas Linder Puls: Casing

2012-10-26T08:44:01Z

Casing

← Older revision		Revision as of 10:44, 26 October 2012
Line 3:		Line 3:
	The properties section declares a set of object or class properties in the current scope.		The properties section declares a set of object or class properties in the current scope.

	=== Properties ~~sections~~ ===		=== Properties Sections ===

	A properties section declares a set of object or class properties in the current scope.		A properties section declares a set of object or class properties in the current scope.

Thomas Linder Puls: /* Read or Write Restrictions */ LineLength

2012-10-24T10:37:25Z

Read or Write Restrictions: LineLength

← Older revision		Revision as of 12:37, 24 October 2012
Line 101:		Line 101:

	Assume we declare them with an i/o pattern as:		Assume we declare them with an i/o pattern as:
	<vip>duration : integer (o). % a read only property		<vip>duration : integer (o).% a read only property
	duration : integer (i). % a write only property		duration : integer (i).% a write only property
	duration : integer (o) (i). % a normal property, which can be both written to and read from. ~~This is equivalent to not writing anything~~		duration : integer (o) (i).% a normal property, which can be both written to and read from.
	duration : integer. % equivalent to the declaration above.</vip>		duration : integer.% equivalent to the declaration above.</vip>

	If a property is declared as a read-only property, you only need to declare the get predicate and likewise if it is declared as write-only only the set predicate.		If a property is declared as a read-only property, you only need to declare the get predicate and likewise if it is declared as write-only only the set predicate.

Thomas Linder Puls: /* Declaration */ Sections

2010-03-15T14:47:16Z

Declaration: Sections

← Older revision		Revision as of 16:47, 15 March 2010
Line 3:		Line 3:
	The properties section declares a set of object or class properties in the current scope.		The properties section declares a set of object or class properties in the current scope.

	=== Declaration ===		=== Properties sections ===

			A properties section declares a set of object or class properties in the current scope.

			<vipbnf><PropertiesSection> :
			class-opt properties <PropertyDeclaration>-dot-term-list-opt</vipbnf>

			The keyword <vp>class</vp> can be used only inside class implementations, since:
			* properties declared in an interface are always object properties and
			* properties declared in a class declaration are always class properties.

			=== Peoperty Declaration ===

	<vipbnf><PropertyDeclaration> :		<vipbnf><PropertyDeclaration> :

Thomas Linder Puls: /* Declaration */ dot place

2010-03-15T14:42:47Z

Declaration: dot place

← Older revision		Revision as of 16:42, 15 March 2010
Line 6:		Line 6:

	<vipbnf><PropertyDeclaration> :		<vipbnf><PropertyDeclaration> :
	<PropertyName> : <PropertyType> <FlowPattern>-list-opt.</vipbnf>		<PropertyName> : <PropertyType> <FlowPattern>-list-opt</vipbnf>

	<vipbnf><FlowPattern>: one of		<vipbnf><FlowPattern>: one of

Thomas Linder Puls: /* Declaration */ bnf

2010-03-15T14:41:48Z

Declaration: bnf

← Older revision		Revision as of 16:41, 15 March 2010
Line 6:		Line 6:

	<vipbnf><PropertyDeclaration> :		<vipbnf><PropertyDeclaration> :
	<PropertyName> : <PropertyType> <FlowPattern>-list-opt.		<PropertyName> : <PropertyType> <FlowPattern>-list-opt.</vipbnf>

	<FlowPattern>: one of		<vipbnf><FlowPattern>: one of
	(i)		(i)
	(o)</vipbnf>		(o)</vipbnf>

Thomas Linder Puls: Example Template

2008-11-05T10:21:19Z

Example Template

← Older revision		Revision as of 12:21, 5 November 2008
Line 115:		Line 115:
	<vpbnf><PropertiesFromInterface></vpbnf> can only be used in interface definitions.		<vpbnf><PropertiesFromInterface></vpbnf> can only be used in interface definitions.

	~~'''~~Example~~'''~~		{{Example\|

	<vip>interface aaa		<vip>interface aaa
	properties		properties
Line 134:		Line 133:

	Even though <vp>aaa</vp> and <vp>bbb</vp> both declare a property <vp>pp</vp>, <vp>ccc</vp> can support them both without any conflicts, because <vp>pp</vp> has <vp>aaa</vp> as an origin interface in all cases.		Even though <vp>aaa</vp> and <vp>bbb</vp> both declare a property <vp>pp</vp>, <vp>ccc</vp> can support them both without any conflicts, because <vp>pp</vp> has <vp>aaa</vp> as an origin interface in all cases.
			}}

	~~'''~~Example~~'''~~		{{Example\|

	<vip>interface aaa		<vip>interface aaa
	properties		properties
Line 166:		Line 165:

	<vp>aaa_class</vp> can inherit <vp>pp</vp> from <vp>bbb_class</vp>, because <vp>pp</vp> in both classes has <vp>aaa</vp> as origin interface.		<vp>aaa_class</vp> can inherit <vp>pp</vp> from <vp>bbb_class</vp>, because <vp>pp</vp> in both classes has <vp>aaa</vp> as origin interface.
			}}

Thomas Linder Puls: spell & grammar

2008-10-21T11:32:55Z

spell & grammar

← Older revision		Revision as of 13:32, 21 October 2008
Line 21:		Line 21:
	properties		properties
	duration : integer.		duration : integer.
	~~initialised~~ : boolean.		initialized : boolean.
	scale : string.		scale : string.
	end interface</vip>		end interface</vip>
Line 30:		Line 30:

	<vip>X:duration := 5,		<vip>X:duration := 5,
	if X:~~initialised~~ = true then ... else ... end if,		if X:initialized = true then ... else ... end if,
	X:scale := "meter",		X:scale := "meter",
	....</vip>		....</vip>
Line 37:		Line 37:

	<vip>duration := 5,		<vip>duration := 5,
	if ~~initialised~~ = true then ... else ... end if,		if initialized = true then ... else ... end if,
	scale := "meter",		scale := "meter",
	....</vip>		....</vip>
Line 54:		Line 54:

	<vip>facts		<vip>facts
	~~initialised~~ : boolean := false.</vip>		initialized : boolean := false.</vip>

	You cannot have set and get predicates and a fact with the same name. So if you want a fact, which stores the value of the property, which often is the case, you will have to give this fact another name e.g.:		You cannot have set and get predicates and a fact with the same name. So if you want a fact, which stores the value of the property, which often is the case, you will have to give this fact another name e.g.:
Line 73:		Line 73:
	duration(_D).</vip>		duration(_D).</vip>

	You cannot use the duration predicates as predicates (not surprisingly they are not declared as predicates, but as a property; it is just the way the get and set methods of the property are implemented).		You cannot use the duration predicates as predicates (not surprisingly they are not declared as predicates, but as a property; it is just the way the get- and set-methods of the property are implemented).

	But in the predicate names are taken - so you cannot declare a predicate duration\1 or duration\0->.		But in the predicate names are taken - so you cannot declare a predicate duration\1 or duration\0->.