Language Reference/Built-in entities/Predicates - Revision history

Thomas Linder Puls: pointerTo is built-in

2022-05-31T10:55:41Z

pointerTo is built-in

← Older revision		Revision as of 12:55, 31 May 2022
Line 326:		Line 326:
	==== fact_address ====		==== fact_address ====

	<vip>fact_address : (FactType FactVariable) -> ~~memory::~~pointerTo{FactType} PointerToFactVariable.</vip>		<vip>fact_address : (FactType FactVariable) -> pointerTo{FactType} PointerToFactVariable.</vip>

	The <vp>fact_address</vp> predicate returns the address (as a <vp>~~memory::~~pointerTo{FactType}</vp>) of a fact variable <vp>FactVariable</vp> of type <vp>FactType</vp>.		The <vp>fact_address</vp> predicate returns the address (as a <vp>pointerTo{FactType}</vp>) of a fact variable <vp>FactVariable</vp> of type <vp>FactType</vp>.

	<vp>FactVariable</vp> '''''must''''' be a fact variable.		<vp>FactVariable</vp> '''''must''''' be a fact variable.

2021-06-07T16:51:04Z

typo

← Older revision		Revision as of 18:51, 7 June 2021
Line 798:		Line 798:
	==== upperBound ====		==== upperBound ====

	<vip>upperBound : (<numeric-domain> NumericDomain) -> <~~number~~-domain> UpperBound.</vip>		<vip>upperBound : (<numeric-domain> NumericDomain) -> <numeric-domain> UpperBound.</vip>

	Returns the upper bound value of the specified numeric domain.		Returns the upper bound value of the specified numeric domain.

2021-06-07T16:41:46Z

misspelling

← Older revision		Revision as of 18:41, 7 June 2021
Line 762:		Line 762:
	==== typeDescriptorOf ====		==== typeDescriptorOf ====

	<vip>typeDescriptorOf : (<type> Type) -> ~~typeDescriptorOf~~ TypeDescriptor.		<vip>typeDescriptorOf : (<type> Type) -> typeDescriptor TypeDescriptor.
	typeDescriptorOf : (Type Value) -> ~~typeDescriptorOf~~ TypeDescriptor.</vip>		typeDescriptorOf : (Type Value) -> typeDescriptor TypeDescriptor.</vip>

	Reflection predicate that returns the <vp>~~typeDescriptorOf~~</vp> of a type or a value.		Reflection predicate that returns the <vp>typeDescriptor</vp> of a type or a value.

	A <vp>typeDescriptor</vp> is the reflection descriptor of an uninstantiated type/domain.		A <vp>typeDescriptor</vp> is the reflection descriptor of an uninstantiated type/domain.

2020-05-18T08:08:49Z

constant_name

← Older revision		Revision as of 10:08, 18 May 2020
Line 23:		Line 23:
	\|[[#compare\|compare/2->]]		\|[[#compare\|compare/2->]]
	\|Returns the result of the variables' comparison.		\|Returns the result of the variables' comparison.
			\|-
			\|[[#constant_name\|constant_name/0->]]
			\|This compile time predicate returns the string ''ConstantName'' that represents the name of the current constant. Typically used in execepion definitions.
	\|-		\|-
	\|[[#convert\|convert/2->]]		\|[[#convert\|convert/2->]]
Line 233:		Line 236:
	<vip>constant_name : () -> string ConstantName.</vip>		<vip>constant_name : () -> string ConstantName.</vip>

	This compile time predicate returns the string <vp>ConstantName</vp> that represents the name of the current constant. It is typically used in ~~definition of execpetions~~.		This compile time predicate returns the string <vp>ConstantName</vp> that represents the name of the current constant. It is typically used in exception definitions.

	==== convert ====		==== convert ====

2020-05-18T08:06:05Z

constant_name

← Older revision		Revision as of 10:06, 18 May 2020
Line 228:		Line 228:

	<vp>CompareResult</vp> = compare("<vp>bar</vp>", "<vp>foo</vp>")		<vp>CompareResult</vp> = compare("<vp>bar</vp>", "<vp>foo</vp>")

			==== constant_name ====

			<vip>constant_name : () -> string ConstantName.</vip>

			This compile time predicate returns the string <vp>ConstantName</vp> that represents the name of the current constant. It is typically used in definition of execpetions.

	==== convert ====		==== convert ====

2019-02-21T14:56:55Z

punctuation

← Older revision		Revision as of 16:56, 21 February 2019
Line 403:		Line 403:
	The predicate succeeds if the specified fact variable <vp>factVariableName</vp> has the <vp>erroneous</vp> value, otherwise it fails.		The predicate succeeds if the specified fact variable <vp>factVariableName</vp> has the <vp>erroneous</vp> value, otherwise it fails.

	See also [[#notErroneous\|notErroneous]],		See also [[#notErroneous\|notErroneous]].

	==== maxDigits ====		==== maxDigits ====

2019-02-21T14:56:38Z

cross ref

← Older revision		Revision as of 16:56, 21 February 2019
Line 402:		Line 402:

	The predicate succeeds if the specified fact variable <vp>factVariableName</vp> has the <vp>erroneous</vp> value, otherwise it fails.		The predicate succeeds if the specified fact variable <vp>factVariableName</vp> has the <vp>erroneous</vp> value, otherwise it fails.

			See also [[#notErroneous\|notErroneous]],

	==== maxDigits ====		==== maxDigits ====

2019-02-21T14:55:41Z

notErroneous

@@ Line 418: / Line 418: @@
 See [[Language_Reference/Terms#not|not]].
 ==== otherwise ====
-See [[Language_Reference/Terms#otherwise|otherwise]].
+See {{Lang2|Terms|otherwise|otherwise}}.
 ==== or ====

2017-08-09T20:40:13Z

released

← Older revision		Revision as of 22:40, 9 August 2017
Line 732:		Line 732:

	==== typeLibraryOf ====		==== typeLibraryOf ====

	~~{{Template:NonReleased}}~~

	<vip>typeLibraryOf : (<type> Type) -> typeLibrary TypeLibrary.		<vip>typeLibraryOf : (<type> Type) -> typeLibrary TypeLibrary.
Line 741:		Line 739:

	A <vp>typeLibrary</vp> is the reflection descriptor of an instantiated type/domain.		A <vp>typeLibrary</vp> is the reflection descriptor of an instantiated type/domain.


	==== uncheckedConvert ====		==== uncheckedConvert ====

2017-08-09T20:39:35Z

released

← Older revision		Revision as of 22:39, 9 August 2017
Line 723:		Line 723:

	==== typeDescriptorOf ====		==== typeDescriptorOf ====

	~~{{Template:NonReleased}}~~

	<vip>typeDescriptorOf : (<type> Type) -> typeDescriptorOf TypeDescriptor.		<vip>typeDescriptorOf : (<type> Type) -> typeDescriptorOf TypeDescriptor.