summaryrefslogtreecommitdiff
path: root/src/runtime/dotNet
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2017-05-31 18:48:56 +0000
committerkrasimir <krasimir@chalmers.se>2017-05-31 18:48:56 +0000
commit957bc999a3d72741e42c194b603faa8ab501dfca (patch)
tree61252a23d04d7e4bd7f017d669faa0ec0573f62c /src/runtime/dotNet
parente1cec06f7483ea913885a7918728a1c3f8ece650 (diff)
bits of documentation for the .NET binding
Diffstat (limited to 'src/runtime/dotNet')
-rw-r--r--src/runtime/dotNet/PGF.cs29
-rw-r--r--src/runtime/dotNet/PGFSharp.csproj5
2 files changed, 19 insertions, 15 deletions
diff --git a/src/runtime/dotNet/PGF.cs b/src/runtime/dotNet/PGF.cs
index e6efae1d5..0d2f1d251 100644
--- a/src/runtime/dotNet/PGF.cs
+++ b/src/runtime/dotNet/PGF.cs
@@ -8,7 +8,7 @@ using System.Threading.Tasks;
namespace PGFSharp
{
/// <summary>
- /// Grammatical Framework grammar.
+ /// This is the class for PGF grammars.
/// </summary>
public class PGF
{
@@ -18,10 +18,10 @@ namespace PGFSharp
NativeGU.NativeMemoryPool pool;
/// <summary>
- /// Read grammar from PGF file.
+ /// Reads a grammar with the specified file path.
/// </summary>
- /// <param name="fn">filename</param>
- /// <returns></returns>
+ /// <param name="fn">The path to the file.</param>
+ /// <returns>an object representing the grammar in memory.</returns>
public static PGF ReadPGF(string fn)
{
var obj = new PGF();
@@ -76,10 +76,9 @@ namespace PGFSharp
public IEnumerable<string> Functions => GetStringList(Native.pgf_iter_functions);
/// <summary>
- /// All functions producing the given category name.
+ /// Returns a list with all functions with a given return category.
/// </summary>
- /// <param name="catName"></param>
- /// <returns></returns>
+ /// <param name="catName">The name of the return category.</param>
public IEnumerable<string> FunctionByCategory(string catName)
{
using (var str = new Native.NativeString(catName))
@@ -89,9 +88,9 @@ namespace PGFSharp
}
/// <summary>
- /// Get type from function name.
+ /// Returns the type of the function with the given name.
/// </summary>
- /// <param name="funName"></param>
+ /// <param name="funName">The name of the function.</param>
/// <returns></returns>
public Type FunctionType(string funName)
{
@@ -104,10 +103,10 @@ namespace PGFSharp
}
/// <summary>
- /// Reduce expression.
+ /// Normalizes an expression to its normal form by using the 'def' rules in the grammar.
/// </summary>
- /// <param name="expr"></param>
- /// <returns></returns>
+ /// <param name="expr">the original expression.</param>
+ /// <returns>the normalized expression.</returns>
public Expr Compute(Expr expr)
{
var tmp_pool = new NativeGU.NativeMemoryPool();
@@ -126,9 +125,11 @@ namespace PGFSharp
}
/// <summary>
- /// Enumerate all expressions in the given category.
+ /// Returns an enumerable over the set of all expression in
+ /// the given category. The expressions are enumerated in decreasing
+ /// probability order.
/// </summary>
- /// <param name="cat"></param>
+ /// <param name="cat">the start category.</param>
/// <returns></returns>
public IEnumerable<Expr> GenerateAll(Type cat = null)
{
diff --git a/src/runtime/dotNet/PGFSharp.csproj b/src/runtime/dotNet/PGFSharp.csproj
index 9c1942ade..92d24166e 100644
--- a/src/runtime/dotNet/PGFSharp.csproj
+++ b/src/runtime/dotNet/PGFSharp.csproj
@@ -7,7 +7,7 @@
<ProjectGuid>{81C13B1B-FE00-4A56-A831-964D55032CDD}</ProjectGuid>
<OutputType>Library</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
- <RootNamespace>PGF</RootNamespace>
+ <RootNamespace>PGFSharp</RootNamespace>
<AssemblyName>PGFSharp</AssemblyName>
<TargetFrameworkVersion>v4.5.1</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
@@ -29,6 +29,9 @@
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
</PropertyGroup>
+ <PropertyGroup>
+ <DocumentationFile>$(OutputPath)PGFSharp.xml</DocumentationFile>
+ </PropertyGroup>
<ItemGroup>
<Reference Include="System" />
<Reference Include="System.Core" />