Difference between revisions of "Language Reference/Built-in entities/Constants"

From wiki.visual-prolog.com
 
(11 intermediate revisions by the same user not shown)
Line 64: Line 64:
==== null ====
==== null ====


A special constant of a pointer type with the value zero.
A constant of type <vp>pointer</vp> with the value <vp>0</vp>.


<vip>null : pointer = uncheckedConvert(pointer, 0).</vip>
<vip>null : pointer = uncheckedConvert(pointer, 0).</vip>
Line 70: Line 70:
==== nullHandle ====
==== nullHandle ====


A special constant of a handle type with the zero value.
A constant of type <vp>handle</vp> with the value <vp>0</vp>.


<vip>nullHandle : handle = uncheckedConvert(handle, 0).</vip>
<vip>nullHandle : handle = uncheckedConvert(handle, 0).</vip>
Line 76: Line 76:
==== invalidHandle ====
==== invalidHandle ====


A special constant of a handle type with the invalid (-1) value.
A constant of type <vp>handle</vp> with the invalid (for a handle) value <vp>-1</vp>.


<vip>invalidHandle : handle = uncheckedConvert(handle, -1).</vip>
<vip>invalidHandle : handle = uncheckedConvert(handle, -1).</vip>

Latest revision as of 17:21, 19 December 2020

compilation_date Compilation date.
compilation_time Compilation time.
compiler_buildDate Build date of a compiler.
compiler_version A compiler version.
maxFloatDigits Defines the maximal value of "digits", which is supported by the compiler.
null The default NULL pointer.
nullHandle A special constant of a handle type with the zero value.
invalidHandle A special constant of a handle type with the invalid (-1) value.
platform_bits Defines the digital capacity of compilation platform.
platform_name Defines the target platform name.

compilation_date

Compilation date. Here YYYY means the number of a year, MM means a month number, and DD means a day number.

compilation_date : string = "YYYY-MM-DD".

compilation_time

Compilation time. Here HH means hours, MM means minutes, and SS means seconds.

compilation_time : string = "HH:MM:SS".

compiler_buildDate

Build date of the compiler.

compiler_buildDate : string = "YYYY-MM-DD HH:MM".

compiler_version

A compiler version. This value depends upon the compiler version.

compiler_version = 6003.

maxFloatDigits

Defines the maximal value of "digits", which is supported by the compiler.

maxFloatDigits = 16.

null

A constant of type pointer with the value 0.

null : pointer = uncheckedConvert(pointer, 0).

nullHandle

A constant of type handle with the value 0.

nullHandle : handle = uncheckedConvert(handle, 0).

invalidHandle

A constant of type handle with the invalid (for a handle) value -1.

invalidHandle : handle = uncheckedConvert(handle, -1).

platform_bits

Defines the digital capacity of compilation platform.

platform_bits = 32.
or
platform_bits = 64.

platform_name

Defines the target platform name.

platform_name : string = "Windows 32bits".
or
platform_name : string = "Windows 64bits".