Esempio n. 1
0
 /// <summary>
 /// <para>Obtain status information on the Prolog system. The actual argument type depends on the information required.
 /// The parameter queryType describes what information is wanted.</para>
 /// <para>Returning pointers and integers as a long is bad style. The signature of this function should be changed.</para>
 /// <see>PlQuerySwitch</see>
 /// </summary>
 /// <example>
 ///     <para>This sample shows how to get SWI-Prologs version number</para>
 ///     <code source="..\..\TestSwiPl\PlQuery.cs" region="get_prolog_version_number_doc" />
 /// </example>
 /// <param name="queryType">A <see>PlQuerySwitch</see>.</param>
 /// <returns>A int depending on the given queryType</returns>
 public static long Query(PlQuerySwitch queryType)
 {
     Check.Require(queryType != PlQuerySwitch.None, "PlQuerySwitch (None) is not valid");
     return(LibPl.PL_query((uint)queryType));
 }
Esempio n. 2
0
 /// <summary>
 /// <para>Obtain status information on the Prolog system. The actual argument type depends on the information required. 
 /// The parameter queryType describes what information is wanted.</para>
 /// <para>Returning pointers and integers as a long is bad style. The signature of this function should be changed.</para>
 /// <see>PlQuerySwitch</see>
 /// </summary>
 /// <example>
 ///     <para>This sample shows how to get SWI-Prologs version number</para>
 ///     <code source="..\..\TestSwiPl\PlQuery.cs" region="get_prolog_version_number_doc" />
 /// </example>
 /// <param name="queryType">A <see>PlQuerySwitch</see>.</param>
 /// <returns>A int depending on the given queryType</returns>
 public static int Query(PlQuerySwitch queryType)
 {
     Check.Require(queryType != PlQuerySwitch.None, "PlQuerySwitch (None) is not valid");
     return (int)libpl.PL_query((uint)queryType);
 }