PlDomainException Constructor (term)

SbsSW.SwiPlCs

previous page next page

Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog PlDomainException Constructor (term)

This class is the base class to catch exceptions thrown by prolog in C#.

Declaration Syntax

Visual Basic

Visual C++

public PlDomainException(
	PlTerm term
)

Public Sub New ( 
	term As PlTerm
)

public:
PlDomainException(
	PlTerm term
)

new : 
        term : PlTerm -> PlDomainException

Parameters

term (PlTerm): [Missing <param name="term"/> documentation for "M:SbsSW.SwiPlCs.Exceptions.PlDomainException.#ctor(SbsSW.SwiPlCs.PlTerm)"]

Examples

	Copy
public void prolog_exception_sample() { const string exceptionText = "test_exception"; Assert.IsTrue(PlQuery.PlCall("assert( (test_throw :- throw(" + exceptionText + ")) )")); try { Assert.IsTrue(PlQuery.PlCall("test_throw")); } catch (PlException ex) { Assert.AreEqual(exceptionText, ex.Term.ToString()); Assert.AreEqual("Unknown message: " + exceptionText, ex.Message); } }

Copy

public void prolog_exception_sample()
{
    const string exceptionText = "test_exception";
    Assert.IsTrue(PlQuery.PlCall("assert( (test_throw :- throw(" + exceptionText + ")) )"));
    try
    {
        Assert.IsTrue(PlQuery.PlCall("test_throw"));
    }
    catch (PlException ex)
    {
        Assert.AreEqual(exceptionText, ex.Term.ToString());
        Assert.AreEqual("Unknown message: " + exceptionText, ex.Message);
    }
}